Abstract
Iterated Belief Contraction is a relatively less explored area in belief change and intuition for it is often driven by work in the area of iterated belief revision. For many of the iterable belief contraction functions defined in the literature, very little is known about their properties. In this paper we recall two iterable contraction functions, Natural contraction and Priority contraction, defined by Nayak and colleagues. Here we characterize both these contraction functions via some simple properties of iterated contraction.
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, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510–530 (1985)
Areces, C., Becher, V.: Iterable agm functions. In: Williams, M.-A., Rott, H. (eds.) Frontiers in Belief Revision, pp. 261–277. Kluwer, Dordrecht (2001)
Boutilier, C.: Revision sequences and nested conditionals. In: International Joint Conferences on Artificial Intelligence, pp. 519–525 (1993)
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artifical Intelligence 89, 1–29 (1997)
Friedman, N., Halpern, J.Y.: Belief revision: A critique. In: Knowledge Representation and Reasoning, pp. 421–431 (1996)
Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books/ MIT Press, Cambridge (1988)
Grove, A.: Two modellings for theory change. Journal of Philosophical Logic 17, 157–170 (1988)
Hansson, S.O.: Belief Base Dynamics. Uppsala University, PhD thesis (1991)
Nayak, A.C., Goebel, R., Orgun, M.A.: Iterated belief contraction from first principles. In: International Joint Conferences on Artificial Intelligence, pp. 2568–2573 (2007)
Nayak, A.C., Goebel, R., Orgun, M.A., Pham, T.: Iterated belief change and the levi identity. In: Delgrande, J.P., Lang, J., Rott, H., Tallon, J.-M. (eds.) Belief Change in Rational Agents. Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, vol. 05321 (2005)
Nayak, A.C., Pagnucco, M., Peppas, P.: Dynamic belief revision operators. Artif. Intell. 146(2), 193–228 (2003)
Rott, H.: Change, Choice and Inference: A study of belief revision and nonmonotonic reasoning. Oxford Science Publications, Clarendon Press (2001)
Rott, H.: Shifting priorities: Simple representations for twenty-seven iterated theory change operators. In: Lagerlund, H., Lindstrom, S., Sliwinski, R. (eds.) Modality Matters: Twenty-five Essays in Honour of Krister Segerberg, pp. 359–384. Uppsala University Press (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ramachandran, R., Nayak, A.C., Orgun, M.A. (2009). Two Approaches to Iterated Belief Contraction. In: Karagiannis, D., Jin, Z. (eds) Knowledge Science, Engineering and Management. KSEM 2009. Lecture Notes in Computer Science(), vol 5914. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10488-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-10488-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10487-9
Online ISBN: 978-3-642-10488-6
eBook Packages: Computer ScienceComputer Science (R0)