Abstract
Most results in belief revision assumes that the underlying logic satisfies certain restrictive assumptions. We showed in this book several examples of logics that fail to satisfy these assumptions, e.g., most DLs, Horn logic, and intuitionistic logic. After that we presented ways of adapting classical belief revision in order for it to be compliant with a wider class of logics. In the case of belief set contraction we showed that this can be achieved by exchanging recovery by relevance in the AGM postulates. For belief base revision this can be achieved using selection/incision functions that protects the input. Finally, the most difficult case is belief set revision where the characterization is achieved only for distributive logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Giorgos Flouris. On Belief Change and Ontology Evolution. PhD thesis, University of Crete, 2006.
Giorgos Flouris, Dimitris Plexousakis, and Grigoris Antoniou. On applying the AGM theory to DLs and OWL. In Enrico Motta Yolanda Gil, V. Richard Benjamins, and Mark A. Musen, editors, Proceedings of the 4th International Semantic Web Conference (ISWC 2005), pages 216–231, Galway, Ireland, November, 6-10 2005. Springer.
Sven Ove Hansson and Renata Wassermann. Local change. Studia Logica, 70(1):49–76, 2002.
Marina Langlois, Robert H. Sloan, Balázs Szörényi, and György Turán. Horn complements: Towards Horn-to-Horn belief revision. In Dieter Fox and Carla P. Gomes, editors, Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI 2008), pages 466–471, Chicago, Illinois, USA, Julho 13-17 2008. AAAI Press.
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). Conclusion. In: Belief Revision in Non-Classical Logics. SpringerBriefs in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-4186-0_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4186-0_9
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)