Belief Revision on Modal Accessibility Relations

In order to model the dynamically 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.

• Publication year

  2014

• Venue

  International Conference on Agents and Artificial Intelligence

• Publication date

  2014-03-06

• Fields of study

  Computer Science

• Identifiers
  DOI 10.5220/0004917706630666
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Dynamic Epistemic Logic and Knowledge Puzzles

  2007cited by this paper
• Logics for Epistemic Programs

  2004cited by this paper
• The Logic of Public Announcements and Common Knowledge and Private Suspicions

  1998cited by this paper
• On the Difference between Updating a Knowledge Base and Revising It

  1991influential reference
• Modal Logic: Normal systems of modal logic

  1980cited by this paper

• No citing papers are available for this paper.