Semantic Accounts of Belief Revision

We present a semantic approach to belief revision, called BERYL, which is based on counterfactual logic. We compare our approach to alternative accounts of belief revision and argue for the importance of certain logical properties, such as syntax-independence and preservation. Finally, we suggest that the revision-based approach to truth maintenance has a number of advantages over justification- and assumption-based methods.

[1]  Frank van Harmelen,et al.  Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs , 1990, CADE.

[2]  Ken Satoh.  Nonmonotonic Reasoning by Minimal Belief Revision , 1988, FGCS.

[3]  Philippe Smets.  Non-standard logics for automated reasoning , 1988 .

[4]  Peter Jackson,et al.  Computing Prime Implicants , 1990, CADE.

[5]  C. Hooker,et al.  Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science , 1976 .

[6]  Hirofumi Katsuno,et al.  A Unified View of Propositional Knowledge Base Updates , 1989, IJCAI.

[7]  Peter Jackson,et al.  On the Semantics of Counterfactuals , 1989, IJCAI.

[8]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[9]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[10]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[11]  John Bell.  The Logic of Nonmonotonicity , 1990, Artif. Intell..

[12]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[13]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[14]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[15]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[16]  Stuart C. Shapiro,et al.  A Model for Belief Revision , 1988, Artif. Intell..

[17]  William Harper,et al.  Ramsey Test Conditionals and Iterated Belief Change (A Response to Stalnaker) , 1976 .

[18]  Anand S. Rao,et al.  Formal Theories of Belief Revision , 1989, KR.

[19]  J. Dekleer.  An assumption-based TMS , 1986 .