Towards Epistemic-Doxastic Planning with Observation and Revision
DOI:
https://doi.org/10.1609/aaai.v38i9.28919Keywords:
KRR: Reasoning with Beliefs, KRR: Action, Change, and CausalityAbstract
Epistemic planning is useful in situations where multiple agents have different knowledge and beliefs about the world, such as in robot-human interaction. One aspect that has been largely neglected in the literature is planning with observations in the presence of false beliefs. This is a particularly challenging problem because it requires belief revision. We introduce a simple specification language for reasoning about actions with knowledge and belief. We demonstrate our approach on well-known false-belief tasks such as the Sally-Anne Task and compare it to other action languages. Our logic leads to an epistemic planning formalism that is expressive enough to model second-order false-belief tasks, yet has the same computational complexity as classical planning.Downloads
Published
2024-03-24
How to Cite
Engesser, T., Herzig, A., & Perrotin, E. (2024). Towards Epistemic-Doxastic Planning with Observation and Revision. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 10501-10508. https://doi.org/10.1609/aaai.v38i9.28919
Issue
Section
AAAI Technical Track on Knowledge Representation and Reasoning