Belief Revision on Modal Accessibility Relations

Aaron Hunter

Abstract

In order to model the changing beliefs of an agent, one must actually address two distinct issues. First, one must devise a model of static beliefs that accurately captures the appropriate notions of incompleteness and uncertainty. Second, one must define appropriate operations to model the way beliefs are modified in response to different events. Historically, the former is addressed through the use of modal logics and the latter is addressed through belief change operators. However, these two formal approaches are not particularly complementary; the normal representation of belief in a modal logic is not suitable for revision using standard belief change operators. In this paper, we introduce a new modal logic that uses the accessibility relation to encode epistemic entrenchment, and we demonstrate that this logic captures AGM revision. We consider the suitability of our new representation of belief, and we discuss potential advantages to be exploited in future work.

References

  1. Alchourrón, C., G ardenfors, P., and Makinson, D. (1985). On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50(2):510-530.
  2. Baltag, A. and Moss, L. (2004). Logic for epistemic programs. Synthese, 31(2):165-224.
  3. Baltag, A., Moss, L., and Solecki, S. (1998). The logic of public announcements, common knowledge and private suspicions. In Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), pages 43-56.
  4. Chellas, B. (1980). Modal Logic: An Introduction. Cambridge University Press.
  5. Herzig, A., Lang, J., and Marquis, P. (2004). Revision and update in multi-agent belief structures. In Proceedings of LOFT 6.
  6. Katsuno, H. and Mendelzon, A. (1992). On the difference between updating a knowledge base and revising it. In G ardenfors, P., editor, Belief Revision, pages 183- 203. Cambridge University Press.
  7. van Ditmarsch, H., van der Hoek, W., and Kooi, B. (2007). Dynamic Epistemic Logic. Springer.
Download


Paper Citation


in Harvard Style

Hunter A. (2014). Belief Revision on Modal Accessibility Relations . In Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-758-015-4, pages 663-666. DOI: 10.5220/0004917706630666


in Bibtex Style

@conference{icaart14,
author={Aaron Hunter},
title={Belief Revision on Modal Accessibility Relations},
booktitle={Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2014},
pages={663-666},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004917706630666},
isbn={978-989-758-015-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - Belief Revision on Modal Accessibility Relations
SN - 978-989-758-015-4
AU - Hunter A.
PY - 2014
SP - 663
EP - 666
DO - 10.5220/0004917706630666