Abstract
AGM revision was defined via Levi identity. Levi identity, however, assumes that the underlying logic is closed under negation. Many non-classical logics with great philosophical and computational interest, such as Horn logics and Description Logics, however, are not closed under negation. If we want to use belief revision techniques in these logics we need a way to define revision that doesn’t depend on negation. In this chapter we define a construction for revision in belief sets that doesn’t depend on negation. This construction is characterized by AGM postulates in well behaved logics. Furthermore, it is presented a set of postulates that characterizes this construction in any distributive and compact logic.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Carlos Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change. Journal of Symbolic Logic, 50(2):510–530, 1985.
James P. Delgrande. Horn clause belief change: Contraction functions. In Gerhard Brewka and Jérôme Lang, editors, Proceedings of the 10th International Conference on the Principles of Knowledge Representation and Reasoning (KR’08), pages 156–165, Sydney, Australia, Setembro 16-19 2008. AAAI Press.
Giorgos Flouris. On Belief Change and Ontology Evolution. PhD thesis, University of Crete, 2006.
David Makinson. On the status of the postulate of recovery in the logic of theory change. Journal of Philosophical Logic, 16:383–394, 1987.
Márcio Moretto Ribeiro and Renata Wassermann. AGM revision in description logics. In Proceedings of the 1st Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE 2009), Pasadena, California, USA, Julho, 11-12 2009.
Márcio Moretto Ribeiro and Renata Wassermann. More about AGM revision in description logics. In Proceedings of the 2nd Workshop Automated Reasoning about Context and Ontology Evolution (ARCOE 10), Lisboa, Portugal, Agosto, 16-17 2010.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2013 The Author(s)
About this chapter
Cite this chapter
Ribeiro, M.M. (2013). AGM Revision in Logics Without Negation. In: Belief Revision in Non-Classical Logics. SpringerBriefs in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-4186-0_6
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4186-0_6
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4185-3
Online ISBN: 978-1-4471-4186-0
eBook Packages: Computer ScienceComputer Science (R0)