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.
