Reasoning About Knowledge 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 ten 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 excercises and bibliographic notes.
"The result of the authors' research bears the twin hallmarks of good science: beauty and utility." -- Vassos Hadzilacos, Computer Science Department, University of Toronto
"[Reasoning About Knowledge] is an impressive systematic technical effort, which will no doubt become a standard reference." -- Johan van Benthem, Institute for Logic, Language, and Computation, University of Amsterdam, and Philosophy Department, Stanford University
"It is a must for any student or scholar who really wants to understand the logic of knowledge and interactive knowledge, and an ideal text for an advanced course." -- Ariel Rubinstein, Department of Economics, Tel Aviv University and Princeton University
"This is without a doubt the definitive book on the topic ... [It] is also a joy to read ... Anyone conducting formal work in multi-agent systems without access to this book will do so at their peril." -- Yoav Shoham, Computer Science Department, Stanford University
For more information on this title, and other MIT Press books, please consult our WWW site .