AT4WS09 slide-4

What is Planning?

Any technology that for a given goal state GF and given initial state G0, can construct a sequence of actions {A1,..,An}=A such that in some logic-based formalization, A ∧ G0 ⇒ GF where

- Each Ai is an action that changes the state of the world,
- Each Ai has preconditions that hold in the state in which it is performed in the sequence, and
- Each Ai has effects that hold in the state after it is performed in the sequence.

A planner synthesizes, somehow, such a consistent sequence.
Enforcing such consistency is in general hard.
Constructive deductive synthesis AI planners do this by proving the sequence: the sequence need not be further verified.