[4] [8] [9] [11] [18] [19] [14].
The example below illustrates how the
formalization described in the previous
sections accounts for the standard STRIPS
solution to the planning problem described
by axioms 
to .
The successive mental situations
constructed by STRIPS are shown below. For
each mental situation, we list: (1) the
current situation described by the database
associated with that mental situation; (2)
the subgoals (quoted sentences) that are in
the goal stack associated with that mental
situation,
together with their respective location
numbers; (3) the mental actions that are
appropriate for each subgoal in the goal
stack associated with that mental situation;
and (4) the preference relations that hold
among such appropriate actions at that
mental situation.
