Journal of Philosophical Logic 31 (5):415-443 (2002)
Although AGM theory contraction (Alchourrón et al., 1985; Alchourrón and Makinson, 1985) occupies a central position in the literature on belief change, there is one aspect about it that has created a fair amount of controversy. It involves the inclusion of the postulate known as Recovery. As a result, a number of alternatives to AGM theory contraction have been proposed that do not always satisfy the Recovery postulate (Levi, 1991, 1998; Hansson and Olsson, 1995; Fermé, 1998; Fermé and Rodriguez, 1998; Rott and Pagnucco, 1999). In this paper we present a new addition, systematic withdrawal, to the family of withdrawal operations, as they have become known. We define systematic withdrawal semantically, in terms of a set of preorders, and show that it can be characterised by a set of postulates. In a comparison of withdrawal operations we show that AGM contraction, systematic withdrawal and the severe withdrawal of Rott and Pagnucco (1999) are intimately connected by virtue of their definition in terms of sets of preorders. In a future paper it will be shown that this connection can be extended to include the epistemic entrenchment orderings of Gärdenfors (1988) and Gärdenfors and Makinson (1988) and the refined entrenchment orderings of Meyer et al. (2000)
|Categories||categorize this paper)|
References found in this work BETA
Knowledge in Flux. Modelling the Dymanics of Epistemic States.P. Gärdenfors - 1988 - MIT Press.
A Textbook of Belief Dynamics. Theory Change and Database Updating.S. O. Hansson - 1999 - Kluwer Academic Publishers.
On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions.Carlos E. Alchourron & David Makinson - 1982 - Theoria 48 (1):14-37.
Theory Contraction Through Base Contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
Citations of this work BETA
Equilibria in Social Belief Removal.Richard Booth & Thomas Meyer - 2010 - Synthese 177 (1):97 - 123.
Belief Liberation.Richard Booth, Samir Chopra, Aditya Ghose & Thomas Meyer - 2005 - Studia Logica 79 (1):47-72.
A General Family of Preferential Belief Removal Operators.Richard Booth, Thomas Meyer & Chattrakul Sombattheera - 2012 - Journal of Philosophical Logic 41 (4):711 - 733.
Similar books and articles
Severe Withdrawal (and Recovery).Hans Rott & Maurice Pagnucco - 1999 - Journal of Philosophical Logic 28 (5):501-547.
Refined Epistemic Entrenchment.Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema - 2000 - Journal of Logic, Language and Information 9 (2):237-259.
Infobase Change: A First Approximation. [REVIEW]Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema - 2000 - Journal of Logic, Language and Information 9 (3):353-377.
Contraction: On the Decision-Theoretical Origins of Minimal Change and Entrenchment.Horacio Arló-Costa & Isaac Levi - 2006 - Synthese 152 (1):129 - 154.
Resource-Bounded Belief Revision and Contraction.Mark Jago - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer. pp. 141--154.
Comparative Possibility in Set Contraction.Pavlos Peppas - 2012 - Journal of Philosophical Logic 41 (1):53-75.
Coherence, Justification, and the AGM Theory of Belief Revision.Michael J. Shaffer - 2002 - In Yves Bouchard (ed.), Perspectives on Coherentism. Editions du Scribe. pp. 139--160.
On the Logic of Theory Change: Contraction Without Recovery. [REVIEW]Eduardo L. Fermé - 1998 - Journal of Logic, Language and Information 7 (2):127-137.
Added to index2009-01-28
Total downloads36 ( #141,364 of 2,159,120 )
Recent downloads (6 months)1 ( #353,545 of 2,159,120 )
How can I increase my downloads?