Abstract
The AGM model for the revision and contraction of belief sets provides rationality postulates for each of the two cases. In the context of finite propositional logic, Katsuno and Mendelzon pointed out postulates for the revision of belief bases which correspond to the AGM postulates for the revision of beliefs sets. In this paper, we present postulates for the contraction of propositional belief bases which correspond to the AGM postulates for the contraction of belief sets. We highlight the existing connections with the revision of belief bases in the sense of Katsuno and Mendelzon thanks to Levi and Harper identities and present a representation theorem for operators of contraction of belief bases.
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 subscriptionsNotes
- 1.
Such assignments correspond to a specific case of Grove’s systems of spheres [7].
- 2.
- 3.
We thank a reviewer for pointing this paper to us.
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symbolic Logic 50(2), 510–530 (1985)
Booth, R., Meyer, T.A.: Admissible and restrained revision. J. Artif. Intell. Res. (JAIR) 26, 127–151 (2006)
Caridroit, T., Konieczny, S., Marquis, P.: Contraction in propositional logic, Technical report (2015). http://www.cril.fr/~caridroit/ECSQARU15_Contraction.pdf
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artif. Intell. 89(1–2), 1–29 (1997)
Gärdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Bradford Books, Cambridge (1988)
Gärdenfors, P., Makinson, D.: Revisions of knowledge systems using epistemic entrenchment. In: Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK 1988), pp. 83–95 (1988)
Grove, A.: Two modellings for theory change. J. Phil. Logic 17, 157–170 (1988)
Hansson, S.: A Textbook of Belief Dynamics. Kluwer Academic Publishers, NewYork (1999)
Hild, M., Spohn, W.: The measurement of ranks and the laws of iterated contraction. Artif. Intell. 172(10), 1195–1218 (2008)
Jin, Y., Thielscher, M.: Iterated belief revision, revised. Artif. Intell. 171(1), 1–18 (2007)
Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263–294 (1992)
Konieczny, S., Pino Pérez, R.: Improvement operators. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 177–187, 16–19 September 2008
Rott, H.: Belief contraction in the context for the general theory of rational choice. J. Symbolic Logic 58(4), 1426–1450 (1993)
Zhuang, Z. Q., Pagnucco, M.: Model based horn contraction. In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 10–14 June 2012
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Caridroit, T., Konieczny, S., Marquis, P. (2015). Contraction in Propositional Logic. In: Destercke, S., Denoeux, T. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2015. Lecture Notes in Computer Science(), vol 9161. Springer, Cham. https://doi.org/10.1007/978-3-319-20807-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-20807-7_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20806-0
Online ISBN: 978-3-319-20807-7
eBook Packages: Computer ScienceComputer Science (R0)