Undecidability in Epistemic Planning - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Undecidability in Epistemic Planning

Résumé

Dynamic epistemic logic (DEL) provides a very expressive framework for multi-agent planning that can deal with nondeterminism, partial observability, sensing actions, and arbitrary nesting of beliefs about other agents' beliefs. However, as we show in this paper, this expressiveness comes at a price. The planning framework is undecidable, even if we allow only purely epistemic actions (actions that change only beliefs, not ontic facts). Undecidability holds already in the S5 setting with at least 2 agents, and even with 1 agent in S4. It shows that multi-agent planning is robustly undecidable if we assume that agents can reason with an arbitrary nesting of beliefs about beliefs. We also prove a corollary showing undecidability of the DEL model checking problem with the star operator on actions (iteration).
Fichier principal
Vignette du fichier
IJCAI2013a.pdf (631.5 Ko) Télécharger le fichier
ijcai13erratum.pdf (25.72 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-00856469 , version 1 (01-09-2013)

Licence

Paternité

Identifiants

  • HAL Id : hal-00856469 , version 1

Citer

Guillaume Aucher, Thomas Bolander. Undecidability in Epistemic Planning. IJCAI - International Joint Conference in Artificial Intelligence - 2013, Aug 2013, Beijing, China. ⟨hal-00856469⟩
230 Consultations
105 Téléchargements

Partager

Gmail Facebook X LinkedIn More