Belief Revision in a Nutshell

Authors

DOI:

https://doi.org/10.5007/1808-1711.2024.e96706

Keywords:

Belief Revision, Change Operators, Epistemological Theories, Rationality, Formal Epistemology

Abstract

Belief Revision studies how rational agents change their beliefs in response to new information. The main objective of the works in this area is modelling these dynamics by defining some formal operators of change. This paper is an overview on the AGM model for revision, introducing some of the major questions that are addressed in this area of study.

References

Alchourrón, C. E.; Gärdenfors, P.; Makinson, D. 1985. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic, 50 (2):510-530.

Brachman, R.J. & Levesque, H. J. 2004. Knowledge Representation and Reasoning. Morgan Kaufmann.

Fermé, E. & Hansson, S. O. 2018. Belief Change: Introduction and Overview. Springer Verlag.

Fuhrmann, A. & Hansson, S. O. 1994. A survey of multiple contractions. Journal of Logic, Language and Information, 3 (1): 39-75.

Gärdenfors, P. 1982. Rules for rational changes of belief. In: T. Pauli (ed.) Philosophical Essays Dedicated to Lennart Åqvist on his Fiftieth Birthday, no. 34. In: Philosophical Studies, pp.88–101.

Gärdenfors, P. 1992. Belief revision: An introduction. In: P. Gärdenfors (ed.) Belief Revision, no. 29. In: Cambridge Tracts in Theoretical Computer Science, pp. 1–28. Cambridge University Press.

Hansson, S. O. 1999a. A Textbook of Belief Dynamics: Theory Change and Database Updating. Dordrecht and Boston: Kluwer Academic Publishers.

Hansson, S. O. 1999b. A survey of non-prioritized belief revision. Erkenntnis, 50 (2-3):413-427.

Olsson, E. & Enqvist, S. 2011. Belief Revision meets Philosophy of Science. Logic, Epistemology, and the Unity of Science (LEUS, volume 21). 10.1007/978-90-481-9609-8.

Testa, R. 2015. The cost of consistency: information economy in Paraconsistent Belief Revision. South American Journal of Logic, 1 (2):461-480.

Testa, R. 2023. Paraconsistency. In: J. Mattingly (Ed.), The SAGE encyclopedia of theory in science, technology, engineering, and mathematics (Vol. 1, pp. 629-632).

Testa, R.; Coniglio, M. E.; Ribeiro, M. M. 2017. AGM-Like Paraconsistent Belief Change. Logic Journal of the IGPL, 25 (4):632-672.

Testa, R.; Fermé, E.; Garapa, M.; Reis, M. 2018. How to construct Remainder Sets for Paraconsistent Revisions: Preliminary Report. Proceedings of the 17th International Workshop on Non-monotonic Reasoning, pp125-131.

Downloads

Published

2024-07-10

Issue

Section

What Can We Do in Philosophy Using Logic?