Klasické plánování

Reprezentace STRIPS
STRIPS: plánovací úloha [Wic11]
STRIPS plánovací úloha je trojice P = (Σ, si, g), kde:
Σ = (S, A, γ) je STRIPS plánovací doména na daném jazyce prvého
ˇrádu L
si ∈ S je počáteční stav
g je mnoˇzina uzavˇren´ych literál˚u popisující cíl tak,
ˇze mnoˇzina cílov´ych stav˚u je
Sg = {s ∈ S|s |= g}
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 29 / 70