Classical Planners use the STRIPS (Stanford Research Institute Problem Solver)
language to describe states and operators. It is an efficient way to represent planning
Representation of States and Goals
States are represented by conjunctions of function-free ground literals, that is, predicates
applied to constant symbols, possibly negated.
An example of an initial state is:
A state description does not have to be complete. We just want to obtain a successful plan
to a set of possible complete states. But if it does not mention a given positive literal, then
the literal can be assumed to be false.
Goals are a conjunction of literals. Therefore the goal is