Graph planning

Example 1

• We have a cart R and two loads A and B that are in the starting position L and must be moved to the target position P.
• Three actions (we see the syntax later)
  • MOVE (R, PosA, PosB)
  • LOAD (Pos, Object)
  • UNLOAD (Pos, Object)
• Initial State
  • at(a,l)
  • at(b,l)
  • at(r,l)
  • hasFuel(r)

Example 2