Thumbnail - Request a copy

Updates, actions and planning

Herzig, Andreas; Lang, Jérôme; Marquis, Pierre; Polacsek, T. (2001), Updates, actions and planning, 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), 2001, Seattle, Washington, United States

Type
Communication / Conférence
Date
2001
Conference title
17th International Joint Conference on Artificial Intelligence (IJCAI 2001)
Conference date
2001
Conference city
Seattle, Washington
Conference country
United States
Metadata
Show full item record
Author(s)
Herzig, Andreas
Lang, Jérôme
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
Marquis, Pierre
Polacsek, T.
Abstract (EN)
A general framework for update-based planning is presented. We first give a new family of dependence-based update operators that are wellsuited to the representation of simple actions and we identify the complexity of query entailment from an updated belief base. Then we introduce conditional, nondeterministic and concurrent updates so as to encode the corresponding types of action effects. Plan verification and existence are expressed in this update-based framework.
Subjects / Keywords
Intelligence artificielle