Klasické plánování

Reprezentace STRIPS
STRIPS - reprezentace operátor˚u a akcí
[Wic11]
plánovací operátor STRIPS plánovací domény je trojice
o = (name(o), precond(o), effects(o)),
kde jméno operátoru name(o)
je syntaktick´y v´yraz tvaru n(x1, . . . , xk),
kde n je (jednoznačn´y) symbol
a x1, . . . , xk jsou vˇsechny proměnné,
které se vyskytují v o, a
vstupní podmínky precond(o) a efekty effects(o) operátoru jsou
mnoˇziny literál˚u.
akce STRIPS plánovací domény je uzavˇrená instance plánovacího
operátor˚u.
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 25 / 70