Any technology that for a given goal state G_F and given initial state G₀, can construct a Plan:
a partially-ordered set of actions π ={A₁,..,A_n} such that
in some logic-based formalization, π ∧ G₀ ⊨ G_F where

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