---
title: "Updates, actions, and planning"
authors:
  - "Andreas Herzig"
  - "Jérôme Lang"
  - "Pierre Marquis"
  - "Thomas Polacsek"
doi: ""
url: "https://ijcai.org/proceedings/2001/16"
pdf: "https://ijcai.org/proceedings/2001/0016.pdf"
venue: "Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence"
year: 2001
pages: "119-123"
track: ""
keywords:
---

# Updates, actions, and planning

Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek

*Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence*, pages 119-123.

## 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.