Question: Consider a robot whose operation is described by the following PDDL operators: Op(ACTION:Go(x, y), PRECOND:At(Robot, x), EFFECT:At(Robot, x) At(Robot, y)) Op(ACTION:P ick(o), PRECOND:At(Robot, x)

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

Op(ACTION:Go(x, y), PRECOND:At(Robot, x), EFFECT:¬At(Robot, x) ∧ At(Robot, y))

Op(ACTION:P ick(o), PRECOND:At(Robot, x) ∧ At(o, x), EFFECT:¬At(o, x) ∧ Holding(o))

Op(ACTION:Drop(o), PRECOND:At(Robot, x) ∧ Holding(o), EFFECT:At(o, x) ∧ ¬Holding(o))

a. 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. 

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

Step by Step Solution

3.33 Rating (165 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

a EmptyHand is not affected by Go so we modify just the P ick and Drop ope... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Artificial Intelligence A Modern approach Questions!