Reasoning About Knowledge, vol 1
Ronald Fagin (),
Joseph Halpern (),
Yoram Moses () and
Moshe Y. Vardi ()
Additional contact information
Ronald Fagin: IBM Almaden Research Center
Yoram Moses: Technion-Israel Institute of Technology
Moshe Y. Vardi: Rice University
in MIT Press Books from The MIT Press
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. 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.
Keywords: knowledge; reasoning (search for similar items in EconPapers)
JEL-codes: A12 D8 (search for similar items in EconPapers)
Date: 2003
Edition: 1
ISBN: 0-262-56200-6
References: Add references at CitEc
Citations: View citations in EconPapers (69)
There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.
Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
HTML/Text
Persistent link: https://EconPapers.repec.org/RePEc:mtp:titles:0262562006
Access Statistics for this book
More books in MIT Press Books from The MIT Press
Bibliographic data for series maintained by The MIT Press ().