State-space Planning
Find a sequence of operators that transform an initial state to a goal state
State = complete truth assignment to a set of variables (fluents)
Goal = partial truth assignment (set of states)
Operator = a partial function State ® State
specified by three sets of variables:
precondition, add list, delete list
(STRIPS-style, Nilsson & Fikes 1971)