Vidal's library


Title: Reasoning About Knowledge
Author: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi
Publisher: pub-mit
Year: 1995
ISBN: 0262061627
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

Cited by 1263  -  Google Scholar  -  ISBNdb  -  Amazon

@Book{		  reasoning:about:knowledge,
  author =	 {Ronald Fagin and Joseph Y. Halpern and Yoram Moses
                  and Moshe Y. Vardi },
  title =	 {Reasoning About Knowledge},
  googleid =	 {phcEQyGqBGwJ:scholar.google.com/},
  publisher =	 pub-mit,
  address =	 pub-mit:adr,
  year =	 1995,
  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 =     {logic},
  isbn =	 {0262061627},
  cluster = 	 {7783533115838044070}
}
Last modified: Wed Mar 9 10:13:57 EST 2011