next up previous
Next: Goal Stack Planning Up: Tracing the Reasoning Strategy Previous:

tex2html_wrap_inline842

tex2html_wrap_inline844

  eqnarray327

From axioms gif to gif, we can prove tex2html_wrap_inline846 , and tex2html_wrap_inline848 , which allow us to derive the solution.

eqnarray336

In STRIPS the goal stack contains both subgoals and actions that have been proposed to satisfy those subgoals. Therefore, subgoals are indexed both by their location in the goal stack, and by the actions that are above them in the stack. We describe such indexical information using variables for locations (i, j, k, ...), and representing subgoals by quoted formulas of the following sorts Quote(DB(p,s)) or Quote(Prec(a,s))gif. The situation argument s allows us to keep track of the situation with respect to which each subgoal should be satisfied (i.e., of the actions that are above it in the goal stack).



Josefina Sierra
Tue Jul 21 09:26:01 PDT 1998