Reasoning About Knowledge

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi (Autoren)

Buch | Softcover

536 Seiten

2004
Bradford Books (Verlag)
9780262562003 (ISBN)

Artikel merken

Provides a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.

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.

Ronald Fagin is Manager of the Foundations of Computer Science Group, Computer Science Department, IBM Almaden Research Center. Joseph Y. Halpern is Professor of Computer Science at Cornell University. He is the author of Actual Causality and the coauthor of Reasoning about Knowledge, both published by the MIT Press. Yoram Moses is Associate Professor in the Electrical Engineering Department at Technion-Israel Institute of Technology.

A model for knowledge and its properties; completeness and complexity - results and techniques; knowledge in distributed systems; actions and protocols; common knowledge, co-ordination and agreement; evolving knowledge; dealing with logical omniscience; knowledge and computation; common knowledge revisited.

Reihe/Serie	Reasoning About Knowledge
Zusatzinfo	13 illus.
Verlagsort	Massachusetts
Sprache	englisch
Maße	178 x 229 mm
Gewicht	839 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Erkenntnistheorie / Wissenschaftstheorie
	Geisteswissenschaften ► Psychologie ► Allgemeine Psychologie
	Geisteswissenschaften ► Psychologie ► Verhaltenstherapie
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
ISBN-13	9780262562003 / 9780262562003
Zustand	Neuware