Belief Revision on Modal Accessibility Relations

Aaron Hunter

2014

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.

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