Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence - Couverture rigide

Shoham, Yoav

Couverture rigide

ISBN 10 : 0262192691 ISBN 13 : 9780262192699

Editeur : The MIT Press, 1987

Synopsis

A comprehensive approach to temporal reasoning in artificial intelligence.

The notions of time and change are central to the way we think about the world. Not surprisingly, both play a prominent role in artificial intelligence research, in diverse areas such as medical diagnosis, circuit debugging, naive physics, and robot planning. Reasoning About Change presents a comprehensive approach to temporal reasoning in artificial intelligence. Using techniques from temporal, nonmonotonic and epistemic logics, the author investigates issues that arise when one adopts a formal approach to temporal reasoning in artificial intelligence that is at once rigorous, efficient, and intuitive. Shoham develops a temporal logic that is based on temporal intervals rather than points in time, and presents a mathematical apparatus that simplifies and clarifies notions of nonmonotonic logic and the modal logic of knowledge. He constructs a specific logic, called Chronological Ignorance, and discusses both its practical utility and philosophical importance. In particular, he offers a new account of the concept of causation, and of its central role in commonsense reasoning.

Reasoning About Change is included in the Artificial Intelligence Series, edited by Michael Brady and Patrick Henry Winston.

A propos du livre

À propos de l'auteur

Yoav Shoham is Professor of Computer Science at Stanford University.

Détails de l'édition

• Éditeur: The MIT Press
• Date d'édition: 1987
• Langue: anglais
• ISBN 10: 0262192691
• ISBN 13: 9780262192699
• Reliure: Relié
• Nombre de pages: 200
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible