Frontiers in Belief Revision

1. Front Matter

   Pages i-vii

   PDF

2. Introduction

   1. Introduction

      • Hans Rott, Mary-Anne Williams

      Pages 1-6

3. Invited Papers

   1. Inductive Expansion and Nonmonotonic Reasoning

      • Isaac Levi

      Pages 7-56

   2. The Basic Dynamic Doxastic Logic of AGM

      • Krister Segerberg

      Pages 57-84

   3. Shielded Contraction

      • Eduardo L. Fermé, Sven Ove Hansson

      Pages 85-107

   4. A Computational Model for Belief Change and Fusing Ordered Belief Bases

      • Salem Benferhat, Didier Dubois, Henri Prade

      Pages 109-134

4. Contributed Papers

   1. Minimal Change

      1. An Operational Measure of Similarity Based on Change

         • Mary-Anne Williams

         Pages 135-145

      2. Toward a Formalization of Elaboration Tolerance: Adding and Deleting Axioms

         • Eyal Amir

         Pages 147-162

      3. Assessing the Minimality of Change in Belief Revision: Capacities

         • Aidan Sims, Brailey Sims

         Pages 163-177

      4. A Minimal Modelling for Successful Knowledge Base Revision

         • James P. Delgrande

         Pages 179-194

   2. Theory: Generalizations and Iterations

      1. Contraction of Epistemic States: A General Theory

         • A. Bochman

         Pages 195-220

      2. Two Notions of Epistemic Entrenchment

         • John Cantwell

         Pages 221-245

      3. Five Faces of Recovery

         • Eduardo L. Fermé

         Pages 247-259

      4. Iterable AGM Functions

         • Carlos Areces, Verónica Becher

         Pages 261-277

      5. Iterated Revision Operations Stemming from the History of an Agent’s Observations

         • Odile Papini

         Pages 279-301

   3. Structures for Implementations: Layers, Compartments, Inheritance Networks

      1. On a Full Meet Base Revision That Satisfies the Categorial Matching Principle

         • Michael Freund

         Pages 303-313

      2. Revision and Update Based on Stratified Forward Chaining

         • Hassan Bezzazi

         Pages 315-331

      3. Defeasible Inheritance and Reference Classes

         • Laurent Audibert, Karl Schlechta

         Pages 333-348

      4. On Structured Belief Bases

         • Renata Wassermann

         Pages 349-367

      5. Iterated Syntax-Based Revision in a Nonmonotonic Setting

         • Brigitte Bessant, Eric Grégoire, Pierre Marquis, Lakhdar Saïs

         Pages 369-391

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.

• Syntax
• issue
• knowledge
• knowledge base
• knowledge representation
• logic
• nonmonotonic reasoning

• University of Newcastle, Australia

  Mary-Anne Williams

• University of Regensburg, Germany

  Hans Rott

Policies and ethics