Reasoning About Knowledge

Reasoning About Knowledge
Author :
Publisher : MIT Press
Total Pages : 576
Release :
ISBN-10 : 0262562006
ISBN-13 : 9780262562003
Rating : 4/5 (003 Downloads)

Book Synopsis Reasoning About Knowledge by : Ronald Fagin

Download or read book Reasoning About Knowledge written by Ronald Fagin and published by MIT Press. This book was released on 2004-01-09 with total page 576 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Reasoning About Knowledge Related Books

Reasoning About Knowledge
Language: en
Pages: 576
Authors: Ronald Fagin
Categories: Business & Economics
Type: BOOK - Published: 2004-01-09 - Publisher: MIT Press

DOWNLOAD EBOOK

Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province of phil
Collected Papers
Language: en
Pages: 818
Authors: Robert J. Aumann
Categories: Business & Economics
Type: BOOK - Published: 2000 - Publisher: MIT Press

DOWNLOAD EBOOK

Robert Aumann's career in game theory has spanned over research - from his doctoral dissertation in 1956 to papers as recent as January 1995. Threaded through a
Knowledge Representation and Reasoning
Language: en
Pages: 414
Authors: Ronald Brachman
Categories: Computers
Type: BOOK - Published: 2004-05-19 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

Knowledge representation is at the very core of a radical idea for understanding intelligence. This book talks about the central concepts of knowledge represent
Concurrency 88
Language: en
Pages: 412
Authors: Friedrich H. Vogt
Categories: Computers
Type: BOOK - Published: 1988-10-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hambu
SCAI '97
Language: en
Pages: 312
Authors: G. Grahne
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: IOS Press

DOWNLOAD EBOOK

The major theme of this book is Intelligent Agents. An agent is a hardware or software system that is autonomous, interactive with and reactive to its environme