On the Impact of Modal Depth in Epistemic Planning (Extended Version) - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2016

On the Impact of Modal Depth in Epistemic Planning (Extended Version)

Résumé

Epistemic planning is a variant of automated planning in the framework of dynamic epistemic logic. In recent works, the epistemic planning problem has been proved to be undecidable when preconditions of events can be epistemic formulas of arbitrary complexity , and in particular arbitrary modal depth. It is known however that when preconditions are propositional (and there are no postconditions), the problem is between Pspace and Expspace. In this work we bring two new pieces to the picture. First, we prove that the epistemic planning problem with propositional preconditions and without postconditions is in Pspace, and is thus Pspace-complete. Second, we prove that very simple epistemic preconditions are enough to make the epistemic planning problem undecidable: preconditions of modal depth at most two suffice.
Fichier principal
Vignette du fichier
main_rapport_recherche.pdf (707.09 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01315107 , version 1 (12-05-2016)

Identifiants

  • HAL Id : hal-01315107 , version 1

Citer

Tristan Charrier, Bastien Maubert, François Schwarzentruber. On the Impact of Modal Depth in Epistemic Planning (Extended Version). [Research Report] IRISA, équipe LogicA. 2016. ⟨hal-01315107⟩
1118 Consultations
133 Téléchargements

Partager

More