Exercise 10.1

Consider a robot whose operation is described by the following PDDL operators:

  1. The operators allow the robot to hold more than one object. Show how to modify them with an $EmptyHand$ predicate for a robot that can hold only one object.

  2. Assuming that these are the only actions in the world, write a successor-state axiom for $EmptyHand$.

View Answer