Reasoning About Knowledge Export

@book{citeulike:323923, abstract = {{Reasoning about knowledge -- particularly the knowledge of agents who reason about the world and each other's knowledge -- was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms.<br /> <br /> <i>Reasoning About Knowledge</i> is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes exercises and bibliographic notes.}}, author = {Fagin, Ronald and Halpern, Joseph Y. and Moses, Yoram and Vardi, Moshe Y.}, citeulike-article-id = {323923}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&amp;path=ASIN/0262562006}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&amp;path=ASIN/0262562006}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&amp;path=ASIN/0262562006}, citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0262562006}, citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0262562006/citeulike00-21}, citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0262562006}, citeulike-linkout-6 = {http://www.worldcat.org/isbn/0262562006}, citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0262562006}, citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0262562006&index=books&linkCode=qs}, citeulike-linkout-9 = {http://www.librarything.com/isbn/0262562006}, day = {01}, edition = {1st MIT Press Paperback Ed}, howpublished = {Paperback}, isbn = {0262562006}, keywords = {2003, ai, dai, intelligence, knowledge, reasoning, systems}, month = {December}, posted-at = {2009-10-10 11:57:24}, priority = {5}, publisher = {The MIT Press}, title = {Reasoning About Knowledge}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0262562006}, year = {2003} }

TY - BOOK ID - citeulike:323923 L3 - citeulike-article-id:323923 N2 - {Reasoning about knowledge -- particularly the knowledge of agents who reason about the world and each other's knowledge -- was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms.<br /> <br /> <i>Reasoning About Knowledge</i> is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory. It brings eight years of work by the authors into a cohesive framework for understanding and analyzing reasoning about knowledge that is intuitive, mathematically well founded, useful in practice, and widely applicable. The book is almost completely self-contained and should be accessible to readers in a variety of disciplines, including computer science, artificial intelligence, linguistics, philosophy, cognitive science, and game theory. Each chapter includes exercises and bibliographic notes.} SN - 0262562006 TI - Reasoning About Knowledge PB - The MIT Press KW - 2003 KW - ai KW - dai KW - intelligence KW - knowledge KW - reasoning KW - systems AU - Fagin, Ronald AU - Halpern, Joseph AU - Moses, Yoram AU - Vardi, Moshe PY - 2003/12/01/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&amp;path=ASIN/0262562006 ER -