A logic for planning under partial observability (AAAI 2000) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

A logic for planning under partial observability (AAAI 2000)

Résumé

We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables us to represent incomplete knowledge, nondeterministic actions, observations, sensing actions and conditional plans; it also enables a logical expression of several frequently made assumptions about the nature of the domain, such as determinism, full observability, unobservability, or pure sensing. Plan verification corresponds to checking the validity of a given EDL formula. The allowed plans are conditional, and a key point of our framework is that a plan is meaningful if and only if the branching conditions bear on the knowledge of the agent only, and not on the real world (to which that agent may not have access); this leads us to consider ``plans that reason'' which may contain branching conditions referring to implicit knowledge to be evaluated at execution time.
Fichier principal
Vignette du fichier
AAAI_2000.pdf (248.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03523445 , version 1 (13-01-2022)

Identifiants

  • HAL Id : hal-03523445 , version 1

Citer

Andreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek. A logic for planning under partial observability (AAAI 2000). 17th National Conference on Artificial Intelligence (AAAI 2000), Association for the Advancement of Artificial Intelligence, Jul 2000, Austin, Texas, United States. pp.768-773. ⟨hal-03523445⟩
49 Consultations
10 Téléchargements

Partager

Gmail Facebook X LinkedIn More