000			01561nam a2200205Ia 4500
008			140520s9999||||xx |||||||||||||| ||und||
020			_a0262061627
082			_a153.43 _bFag
100			_aFagin, Ronald
245			_aReasoning About Knowledge
260			_aCambridge _bMit Press _c1995
300			_axiii;477 _bhb _c9.5x7.5
350			_a1952.1
365			_b0
520			_aReasoning 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" provides 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.
650			_aKnowledge, Theory of
650			_aAgent (Philosophy)
650			_aReasoning
942			_cBK
999			_c65948 _d65948