Abstract
One of the major recent developments in the theory of belief change is the construction of models of belief change in which one or more of the postulates of the original AGM model [Alchourrón et al., 1985] are not satisfied. In studies of belief revision (consistency-preserving incorporation of new beliefs), the most controversial postulate seems to be that of success (α ∈ K*α), according to which the input sentence is always accepted, and incorporated into the new belief set. Several non-prioritized revision operators have been proposed, for which the success postulate does not hold. (See [Cantwell, 1997; Fermé and Hansson, 1999; Hansson, 1991a; Hansson, 1997; Hansson et al.,1999; Makinson, 1997; Olsson, 1997], and, for an overview, [Hansson, 1999b].)
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alchourrón and Makinson, 19821 Carlos Alchourrón and David Makinson. 01 he logic of theory change: Contraction functions and their associated revision functions. Theoria, 48, 14–37, 1982.
Carlos Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic,50 510–530, 1985.
John Cantwell. On the logic of small change in hypertheories. Theoria, 63, 54–89, 1997.
Fermé, 19981 Eduardo Fermé. On the logic of theory change: Contraction without recovery. Journal of Logic, Language and Information, 7, 127–137, 1998.
Fermé, 20001 Eduardo Fermé. Five faces of recovery. This volume, 2000.
Eduardo Fermé and Sven Ove Hansson. Selective revision. Studia Logica,in press.
Norman Foo. Observation on AGM entrenchment. Computer Science Technical Report 389. University of Sydney, 1990.
Gärdenfors and Makinson, 19881 Peter Gärdenfors and David Makinson. Revisions of knowledge systems using epistemic entrenchment. In Moshe Y. Vardi, editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83–95, Los Altos, 1988. Morgan Kaufmann.
Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge, 1988.
Adam Grove. Two modellings for theory change. Journal of Philosophical Logic, 17, 157–170, 1988.
Sven Ove Hansson, Eduardo Fermé, John Cantwell, and Marcelo Falappa. Credibility-limited revision. (manuscript), 1999.
Sven Ove Hansson. Belief Base Dynamics. PhD thesis, Uppsala University, 1991.
Sven Ove Hansson. Belief contraction without recovery. Studia Logica, 50, 25 1260, 1991.
Sven Ove Hansson. A test battery for rational database updating. Artificial Intelligence, 82, 341–352, 1996.
Sven Ove Hansson. Semi-revision. Journal of Applied Non-Classical Logic, 7, 15 1175, 1997.
Sven Ove Hansson. Recovery and epistemic residue. Journal of Logic, Language and Information,1999. (In press).
Hansson, 1999b1 Sven Ove Hansson. A survey of non-prioritized belief revision. Erkenntnis, 50, 413–427, 1999.
Sven Ove Hansson. A Textbook of Belief Dynamics. Kluwer Academic Publishers, Dordrecht, 1999.
Isaac Levi. The fixation of belief and its undoing: changing beliefs through inquiry. Cambridge University Press, Cambridge, 1991.
Isaac Levi. Contraction and informational value. (manuscript), 1997.
Lindström and Rabinowicz, 19911 Sten Lindstrom and Wlodek Rabinowicz. Epistemic entrenchment with incomparabilities and relational belief revision. In Fuhrmann and Morreau, editors, The Logic of Theory Change, pages 93–126, Berlin, 1991. Springer-Verlag.
David Makinson. On the status of the postulate of recovery in the logic of theory change. Journal of Philosophical Logic, 16, 383–394, 1987.
David Makinson. On the force of some apparent counterexamples to recovery. In E. Garz6n Valdéz et al., editor, Normative Systems in Legal and Moral Theory: Festschrift for Carlos Alchourrón and Eugenio Bulygin,pages 475–481, Berlin, 1997. Duncker und Humblot.
David Makinson. Screened revision. Theoria, 63, 14–23, 1997.
Abhaya Nayak. Foundational belief change. Journal of Philosophical Logic, 23, 495533, 1994.
Niederée, 19911 Reinhard Niederée. Multiple contraction: A further case against Gärdenfors’ principle of recovery. In Fuhrmann and Morreau, editors, The Logic of Theory Change, pages 322–334, Berlin, 1991. Springer-Verlag.
Erik Olsson. Coherence. PhD thesis, Uppsala University, 1997.
Hans Rott and Maurice Pagnucco. Severe withdrawal (and recovery). Journal of Philosophical Logic,28 501–547, 1999.
Hans Rott. Preferential belief change using generalized epistemic entrenchment. Journal of Logic, Language and Information, 1, 45–78, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Fermé, E.L., Hansson, S.O. (2001). Shielded Contraction. In: Williams, MA., Rott, H. (eds) Frontiers in Belief Revision. Applied Logic Series, vol 22. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9817-0_4
Download citation
DOI: https://doi.org/10.1007/978-94-015-9817-0_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5720-4
Online ISBN: 978-94-015-9817-0
eBook Packages: Springer Book Archive