KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 12-18, 2020.

Edited by
  1. Diego Calvanese
  2. Esra Erdem
  3. Michael Thielscher

ISSN: 2334-1033
ISBN: 978-0-9992411-7-2

Sponsored by
Published by

Copyright © 2020 International Joint Conferences on Artificial Intelligence Organization

Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision

  1. David Buckingham(Tufts University)
  2. Daniel Kasenberg(Tufts University)
  3. Matthias Scheutz(Tufts University)
PDF
BibTeX
DOI 10.24963/kr.2020/18

Keywords

  1. Belief revision and update, belief merging, information fusion-General
  2. Reasoning about actions and change, action languages-General
  3. Reasoning about knowledge, beliefs, and other mental attitudes-General

Abstract

We propose a novel approach to the problem of false belief revision in epistemic planning. Our state representations are pointed Kripke models with two binary relations over possible worlds: one representing agents' necessarily true knowledge, and one representing agents' possibly false beliefs. State transition functions maintain S5n properties in the knowledge relation and KD45n properties in the belief relation. When new information contradicts an agent's beliefs, belief revision draws new possible worlds from the agent's knowledge relation. Our method also improves upon prior work by accommodating false announcements. We develop our system as an extension to the mA* action language, presenting transition functions for ontic, sensing, and announcement actions.