Skip to Main content Skip to Navigation
Conference papers

Action representation and partially observable planning using epistemic logic

Andreas Herzig 1 Jérôme Lang 2 Pierre Marquis 3
1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
3 CRIL - Centre de Recherche en Informatique de Lens
Abstract : We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show how to lift the effects of actions (both physical actions and sensing actions) from the state level to the epistemic level. We show how progression, regression and plan generation can be achieved in our framework.
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03300970
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Wednesday, September 1, 2021 - 3:06:16 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:21 AM

Identifiers

Collections

UNIV-TLSE3 | UT1-CAPITOLE | UNIV-TLSE2 | CNRS | IRIT | IRIT-LILAC | IRIT-IA | IRIT-CNRS | UNIV-ARTOIS | IRIT-ADRIA | CRIL

Citation

Andreas Herzig, Jérôme Lang, Pierre Marquis. Action representation and partially observable planning using epistemic logic. 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), Aug 2003, Acapulco, Mexico. pp.1067-1072, ⟨10.5555/1630659.1630812⟩. ⟨hal-03300970⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles