Iterated Belief Contraction from First Principles

Importance of contraction for belief change notwithstanding, literature on iterated belief change has by and large centered around the issue of iterated belief revision, ignoring the problem of iterated belief contraction. In this paper we examine iterated belief contraction in a principled way, starting with Qualified Insertion, a proposal by Hans Rott. We show that a judicious combination of Qualified Insertion with a well-known Factoring principle leads to what is arguably a pivotal principle of iterated belief contraction. We show that this principle is satisfied by the account of iterated belief contraction modelled by Lexicographic State Contraction, and outline its connection with Lexicographic Revision, Darwiche-Pearl's account of revision as well as Spohn's Ordinal ranking theory.

[1]  Maurice Pagnucco,et al.  Dynamic belief revision operators , 2003, Artif. Intell..

[2]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[3]  Thomas Andreas Meyer,et al.  Iterated revision and the axiom of recovery: a unified treatment via epistemic states , 2002, NMR.

[4]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[5]  Hans Rott,et al.  Change, choice and inference - a study of belief revision and nonmonotonic reasoning , 2001, Oxford logic guides.

[6]  Peter Gärdenfors,et al.  Knowledge in Flux: Modeling the Dynamics of Epistemic States , 2008 .

[7]  Craig Boutilier,et al.  Iterated revision and minimal change of conditional beliefs , 1996, J. Philos. Log..

[8]  A. Bochman,et al.  Contraction of Epistemic States: A General Theory , 2001 .

[9]  Hans Rott,et al.  Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators , 2009, Towards Mathematical Philosophy.

[10]  Mehmet A. Orgun,et al.  Taking Levi Identity Seriously: A Plea for Iterated Belief Contraction , 2006, KSEM.

[11]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[12]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[13]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[14]  H. Kyburg Iterated Belief Change Based on Epistemic Entrenchment* , 1994 .

[15]  Mary-Anne Williams,et al.  Transmutations of Knowledge Systems , 1994, KR.