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.
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 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.
"synopsis" may belong to another edition of this title.
It is easy to foresee that this book will become a classic.
--Fabrizio Sebastiani, The Computer JournalMoshe Y. Vardi is Karen Ostrum George Professor in Computational Engineering and Chair of the Computer Science Department, Rice University.
"About this title" may belong to another edition of this title.
Seller: The Book Spot, North Branch, MN, U.S.A.
Hardcover. Condition: New. Seller Inventory # Abebooks25588
Seller: Books for Life, LAUREL, MD, U.S.A.
Condition: very_good. Book is in very good condition. Clean with little to no signs of wear or markings highlights. Seller Inventory # LFM.9PK9
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA80302620616273