Towards Epistemic-Doxastic Planning with Observation and Revision - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Towards Epistemic-Doxastic Planning with Observation and Revision

Résumé

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.
Fichier principal
Vignette du fichier
28919-Article Text-32973-1-2-20240324.pdf (151.39 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04778239 , version 1 (12-11-2024)

Identifiants

Citer

Thorsten Engesser, Andreas Herzig, Elise Perrotin. Towards Epistemic-Doxastic Planning with Observation and Revision. AAAI 2024, Feb 2024, Vancouver (BC), France. pp.10501-10508, ⟨10.1609/AAAI.V38I9.28919⟩. ⟨hal-04778239⟩
13 Consultations
3 Téléchargements

Altmetric

Partager

More