Dinner Date

Initial Conditions: (:and (cleanHands) (quiet))

Goal: (:and (noGarbage) (dinner) (present))

Actions:

(:operator carry :precondition

:effect (:and (noGarbage) (:not (cleanHands)))

(:operator dolly :precondition

:effect (:and (noGarbage) (:not (quiet)))

(:operator cook :precondition (cleanHands)

:effect (dinner))

(:operator wrap :precondition (quiet)

:effect (present))

Previous slide

Next slide

Back to first slide

View graphic version