Reasoning About Knowledge

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y Vardi

517 pages, parution le 27/02/2004

Ajouter à une liste

Expédié sous 24h

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

Retrait à la librairie - Paris 5e

Disponible dès le 23/12

QUANTITÉ

Résumé

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.

L'auteur - Ronald Fagin

is Manager of the Foundations of Computer Research Group, Computer Science and Methodologies Department, IBM Almaden Research Center.

L'auteur - Joseph Y. Halpern

Joseph Y. Halpern is Professor of Computer Science at Cornell University.

L'auteur - Yoram Moses

is Associate Professor in the Electrical Engineering Department at Technion-Israel Institute of Technology.

L'auteur - Moshe Y Vardi

is Karen Ostrum George Professor in Computational Engineering and Chair of the Computer Science Department, Rice University.

Sommaire

Introduction and overview
A model for knowledge
Completeness and complexity
Knowledge in multi-agent systems
Protocols and programs
Common knowledge and agreement
Knowledge-based programming
Evolving knowledge
Logical omniscience
Knowledge and computation
Common knowledge revisited
Index

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	The MIT Press
Auteur(s)	Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y Vardi
Parution	27/02/2004
Nb. de pages	517
Format	17,5 x 23
Couverture	Broché
Poids	845g
Intérieur	Noir et Blanc
EAN13	9780262562003
ISBN13	978-0-262-56200-3