Reasoning About KnowledgeMIT Press, 9 de jan. de 2004 - 544 páginas 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. |
Conteúdo
A Model for Knowledge | 2 |
X | 10 |
7 | 78 |
viii | 87 |
15 | 94 |
38 | 101 |
Knowledge in MultiAgent Systems | 119 |
Protocols and Programs | 163 |
5 | 362 |
49 | 371 |
Knowledge and Computation | 389 |
65 | 462 |
70 | 472 |
482 | |
486 | |
489 | |
Common Knowledge and Agreement | 189 |
Computing Common Knowledge | 230 |
KnowledgeBased Programming | 253 |
Evolving Knowledge | 303 |
Logical Omniscience | 335 |
493 | |
495 | |
501 | |
515 | |
Outras edições - Ver todos
Reasoning About Knowledge Ronald Fagin,Joseph Y. Halpern,Yoram Moses,Moshe Vardi Visualização parcial - 2004 |
Reasoning About Knowledge Ronald Fagin,Joseph Y. Halpern,Yoram Moses,Moshe Vardi Visualização parcial - 2004 |
Reasoning About Knowledge Ronald Fagin,Joseph Y. Halpern,Yoram Moses,Moshe Vardi Prévia não disponível - 2004 |
Termos e frases comuns
a.m.p. system actions agent knows algorithmic knowledge Alice Alice and Bob approach assume assumption axiom Barcan formula capture Chapter complete axiomatization compute consistent coordinated attack corresponding define definition described discussion distributed knowledge environment environment's equivalence relation equivalent example fact false first-order logic follows formally function global greatest fixed point Halpern holds induction initial preference interpreted context interpreted system Intuitively Irep knowledge-based program Kripke structure Lemma logical omniscience logically implies material implication modal logic modal operators multi-agent systems nonfaulty processes nonstandard structure notion perfect recall player precisely primitive propositions problem properties of knowledge propositional formula propositional logic prove PSPACE-complete received relation round satisfies Section semantics sending sequence simultaneous situation sound and complete standard program standard propositional subset Suppose syntactic Theorem true truth assignment valid formulas valid with respect