Skip to main content
Log in

Belief contraction without recovery

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The postulate of recovery is commonly regarded to be the intuitively least compelling of the six basic Gärdenfors postulates for belief contraction. We replace recovery by the seemingly much weaker postulate of core-retainment, which ensures that if x is excluded from K when p is contracted, then x plays some role for the fact that K implies p. Surprisingly enough, core-retainment together with four of the other Gärdenfors postulates implies recovery for logically closed belief sets. Reasonable contraction operators without recovery do not seem to be possible for such sets. Instead, however, they can be obtained for non-closed belief bases. Some results on partial meet contractions on belief bases are given, including an axiomatic characterization and a non-vacuous extension of the AGM closure condition.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. C. E. Alchourrón, P. Gärdenfors and D. Makinson. On the logic of theory change: Partial meet functions for contraction and revision, Journal of Symbolic Logic 50 (1985), pp. 510–530.

    Google Scholar 

  2. C. E. Alchourrón and D. Makinson, On the logic of theory change: Safe contraction, Studia Logica 44 (1985), pp. 405–422.

    Google Scholar 

  3. M. Dalal, Investigations into a theory of knowledge base revision: Preliminary Report, Proceedings of the Seventh National Conference on Artificial Intelligence (1988), pp. 475–479.

  4. A. Fuhrmann, Theory contraction through base contraction, Journal of Philosophical Logic 20 (1991), pp. 175–203.

    Google Scholar 

  5. P. Gärdenfors, Epistemic importance and minimal changes of belief, Australasian Journal of Philosophy 62 (1984), pp. 136–157.

    Google Scholar 

  6. P. Gärdenfors, Knowledge in Flux. Modeling the Dynamics of Epistemic States, MIT Press, Cambridge 1988.

    Google Scholar 

  7. S. O. Hansson, New operators for theory change, Theoria 50 (1989), pp. 114–132.

    Google Scholar 

  8. S. O. Hansoon, A dyadic representation of belief,forthcoming in Peter Gärdenfors, Belief Revision, Cambridge University Press, Cambridge, 1991.

    Google Scholar 

  9. S. O. Hansson, In defense of base contraction, Synthese (1991), in print.

  10. D. Makinson, On the status of the postulate of recovery in the logic of theory change, Journal of Philosophical Logic 16 (1987), pp. 383–394.

    Google Scholar 

  11. R. Niederée, Multiple contraction. A further case against Gärdenfors' Principle of recovery, in A.Fuhrmann and M. Morreau (eds.), The Logic of Theory Change, Lecture Notes in Artificial Intelligence 465, 1991, pp. 322–334.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hansson, S.O. Belief contraction without recovery. Stud Logica 50, 251–260 (1991). https://doi.org/10.1007/BF00370186

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370186

Keywords

Navigation