Skip to Main content Skip to Navigation
Conference papers

Updates, actions and planning

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300976
Contributor : Fabien Delorme <>
Submitted on : Tuesday, July 27, 2021 - 12:38:25 PM
Last modification on : Thursday, September 9, 2021 - 3:10:33 PM

Identifiers

  • HAL Id : hal-03300976, version 1

Citation

Andreas Herzig, Jérôme Lang, Pierre Marquis, T. Polacsek. Updates, actions and planning. 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), 2001, Seattle, Washington, United States. pp.119-124. ⟨hal-03300976⟩

Share

Metrics

Record views

14