Klasické plánování

Reprezentace STRIPS
STRIPS: plánovací domény [Wic11]
Necht’ L je jazyk prvého ˇrádu bez funkcí.
STRIPS plánovací doména na L omezen´y stavově-pˇrechodov´y
systém Σ = (S, A, γ) takov´y, ˇze:
Sje mnoˇzina STRIPS stav˚u, tj. mnoˇzina uzavˇren´ych atom˚u,
A je mnoˇzina uzavˇren´ych instancí nějak´ych STRIPS plánovacích
operátor˚u O
y : S × A → S kde
y(s, a) = (s − effects − (a)) ∪ effects + (a), jestliˇze a je aplikovatelná v s
y(s, a) = nedefinovaná jinak
S je uzavˇrená v rámci y
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 28 / 70