Frontiers in Belief Revision is a unique collection of leading edge research in Belief Revision. It contains the latest innovative ideas of highly respected and pioneering experts in the area, including Isaac Levi, Krister Segerberg, Sven Ove Hansson, Didier Dubois, and Henri Prade. The book addresses foundational issues of inductive reasoning and minimal change, generalizations of the standard belief revision theories, strategies for iterated revisions, probabilistic beliefs, multiagent environments and a variety of data structures and mechanisms for implementations. This book is suitable for students and researchers interested in knowledge representation and in the state of the art of the theory and practice of belief revision.
Author(s): Hans Rott, Mary-Anne Williams
Series: Applied Logic Series 22
Publisher: Springer
Year: 2001
Language: English
Pages: 454
Tags: Artificial Intelligence (incl. Robotics); Logic; Philosophy
Front Matter....Pages i-vii
Introduction....Pages 1-6
Inductive Expansion and Nonmonotonic Reasoning....Pages 7-56
The Basic Dynamic Doxastic Logic of AGM....Pages 57-84
Shielded Contraction....Pages 85-107
A Computational Model for Belief Change and Fusing Ordered Belief Bases....Pages 109-134
An Operational Measure of Similarity Based on Change....Pages 135-145
Toward a Formalization of Elaboration Tolerance: Adding and Deleting Axioms....Pages 147-162
Assessing the Minimality of Change in Belief Revision: Capacities....Pages 163-177
A Minimal Modelling for Successful Knowledge Base Revision....Pages 179-194
Contraction of Epistemic States: A General Theory....Pages 195-220
Two Notions of Epistemic Entrenchment....Pages 221-245
Five Faces of Recovery....Pages 247-259
Iterable AGM Functions....Pages 261-277
Iterated Revision Operations Stemming from the History of an Agent’s Observations....Pages 279-301
On a Full Meet Base Revision That Satisfies the Categorial Matching Principle....Pages 303-313
Revision and Update Based on Stratified Forward Chaining....Pages 315-331
Defeasible Inheritance and Reference Classes....Pages 333-348
On Structured Belief Bases....Pages 349-367
Iterated Syntax-Based Revision in a Nonmonotonic Setting....Pages 369-391
Revising and Updating Probabilistic Beliefs....Pages 393-408
Bayesian Cognitive Diagnosis in Believable Multiagent Systems....Pages 409-428
Revising Beliefs Received from Multiple Sources....Pages 429-442
Back Matter....Pages 443-454
