Klasické plánování

Reprezentace PDDL
Plánovací problém ”Opice”
(define (problem MONKEY1)
(:domain MONKEY)
(:objects monkeyJudy - monkey
bananas - fruit
boxA - box
locX locY locZ - location)
(:init (and
(onFloor monkeyJudy)
(atM monkeyJudy locX)
(atB boxA locY)
(atF bananas locZ)
(isClear boxA)
)
)
)
(:goal (and (hasFruit monkeyJudy bananas))
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 34 / 70