Action representation and partially observable planning using epistemic logic - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Action representation and partially observable planning using epistemic logic

Résumé

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.
Fichier principal
Vignette du fichier
ijcai03.pdf (195.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03300970 , version 1 (19-01-2022)

Identifiants

Citer

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⟩
52 Consultations
29 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More