Abstract
Belief revision is a mature research field that deals with the dynamics of epistemic states. It has applications in many different areas such as computer science, philosophy, and law. In the past decade, specially motivated by semantic Web applications, the interest in applying belief revision theory to non-classical logics has grown rapidly. The first results on belief revision in Description Logics (DL) showed problems in applying “classical belief revision theory” (AGM theory) to these logics. The aim of this book is to show how to adapt belief revision theory to make it applicable to a wider class of logics that includes most DLs.
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.
Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web: A new form of web content that is meaningful to computers will unleash a revolution of new possibilities. Scientific American, Maio, 2001.
R. L. Epstein The Semantics Foundations of Logic. Volume 1: Propositional Logics. Kluwer, Dordrecht, Netherlands, 1990.
Giorgos Flouris. On Belief Change and Ontology Evolution. PhD thesis, University of Crete, 2006.
Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, Cambridge, UK, 1988.
Adam Grove. Two modellings for theory change. Journal of Philosophical Logic, 17:157–170, 1988.
Peter Haase and York Sure. State-of-the-art on ontology evolution. SEKT informal deliverable 3.1.1.b, Institute AIFB, University of Karlsruhe, 2004.
Hector J. Levesque and Ronald J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence 3:78–93, 1987.
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
Marvin Minsky. A framework for representing knowledge. In John Haugeland, editor, Mind Design: Philosophy, Psychology, Artificial Intelligence, pages 95–128. MIT Press, Cambridge, MA, 1981.
Ross M. Quillian. Word concepts: A theory and simulation of some basic semantic capabilities. Behavioral Science, 12:410–430, 1967.
Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs, NJ, 2 edition, 2003.
Hans Rott. On the logic of theory change: More maps between different kinds of contraction functions. In Peter Gärdenfors, editor, Belief Revision. Cambridge University Press, 1992.
Ljiljana Stojanovic. Methods and Tools for Ontology Evolution. PhD thesis, University of Karlsruhe, Germany, 2004.
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). Introduction. In: Belief Revision in Non-Classical Logics. SpringerBriefs in Computer Science. Springer, London. https://doi.org/10.1007/978-1-4471-4186-0_1
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4186-0_1
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)