Systematic withdrawal

Journal of Philosophical Logic 31 (5):415-443 (2002)
  Copy   BIBTEX


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)



    Upload a copy of this work     Papers currently archived: 74,310

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
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.
Belief Contraction Without Recovery.Sven Ove Hansson - 1991 - Studia Logica 50 (2):251 - 260.
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 PP

132 (#93,319)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?