RECHERCHE
Preuve d'indécidabilité du problème d'existence de plan en logique épistémique
Un résultat théorique majeur : le problème d'existence de plan en logique épistémique modale est indécidable, même dans des cas très contraints.
arXiv cs.AI · cs.LG · cs.CL·Antonis Achilleos·24 avril 2026
Image · Source originale
Le problème d'existence de plan consiste à déterminer si une séquence d'actions épistémiques permet d'atteindre un objectif formulé en logique modale depuis un état initial donné. Antonis Achilleos démontre que ce problème est indécidable, même lorsque les préconditions des actions ont une profondeur modale au plus égale à 1 et qu'il n'y a aucune postcondition. Ce résultat lève une question ouverte jusqu'ici non résolue.
Chaleur 0
Pertinence 30
Nouveauté 72