Abstract
In this paper we study the dynamics of belief from an agent-oriented, semantics-based point of view. In a formal framework used to specify and to analyze rational agents, we define actions that model three well-known changes of belief, viz. expansions, contractions and revisions. We define both the opportunity for and the result of these belief-changing actions. To define the semantics of the contraction action we introduce selection functions. These functions pick out a set of states that is to be added to the set of doxastic alternatives of an agent, thereby contracting its set of beliefs. The action that models belief revisions is defined as the sequential composition of a contraction and an expansion in a way suggested by the Levi-identity. We show that these belief-changing actions are defined in an intuitively acceptable, reasonable way by proving that the AGM postulates for belief changes are validated.
Preview
Unable to display preview. Download preview PDF.
References
C.E. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change. Journal of Symbolic Logic, 50:510–530, 1985.
P. Cohen and H. Levesque. Intention is choice.... AI, 42:213–261, 1990.
P. Gärdenfors. Knowledge in Flux. The MIT Press, 1988.
J. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. AI, 54:319–379, 1992.
W. van der Hoek, B. van Linder, and J.-J. Meyer. A logic of capabilities. In Nerode and Matiyasevich, eds., Procs. of LFCS'94, LNCS 813, pp. 366–378.
W. van der Hoek, B. van Linder, and J.-J. Meyer. Unravelling nondeterminism. In Procs. of AIMSA '94, pp. 163–172. World Scientific, 1994.
S. Kraus and D. Lehmann. Knowledge, belief and time. TCS, 58:155–174, 1988.
B. van Linder, W. van der Hoek, and J.-J. Meyer. Actions that make you change your mind. Technical Report UU-CS-1994-53. Available at http://www.cs.ruu.nl/∼bernd/Publications.html.
B. van Linder, W. van der Hoek, and J.-J. Meyer. Communicating rational agents. In Nebel and Dreschler-Fischer, eds., Procs. of KI-94, LNAI 861, pp. 202–213.
B. van Linder, W. van der Hoek, and J.-J. Meyer. The dynamics of default reasoning. Extended abstract to appear in the proceedings of ECSQARU'95.
B. van Linder, W. van der Hoek, and J.-J. Meyer. Tests as epistemic updates. In A. Cohn, editor, Procs. of ECAI'94, pages 331–335. John Wiley & Sons, 1994.
B. van Linder, W. van der Hoek, and J.-J. Meyer. Seeing is believing. Extended abstract to appear in the proceedings of AI*IA 95.
R.C. Moore. Reasoning about knowledge and action. TR 191, SRI, 1980.
G.H. von Wright. Norm and Action. Routledge & Kegan Paul, London, 1963.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Linder, B., van der Hoek, W., Meyer, J.J.C. (1995). Actions that make you change your mind. In: Wachsmuth, I., Rollinger, CR., Brauer, W. (eds) KI-95: Advances in Artificial Intelligence. KI 1995. Lecture Notes in Computer Science, vol 981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60343-3_36
Download citation
DOI: https://doi.org/10.1007/3-540-60343-3_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60343-6
Online ISBN: 978-3-540-44944-7
eBook Packages: Springer Book Archive