Klasické plánování

Reprezentace STRIPS
STRIPS - reprezentace stav˚u [Wic11]
Necht’ L je jazyk prvého ˇrádu
s konečně mnoha predikátov´ymi symboly,
s konečn´ym počtem konstatních symbol˚u,
a ˇzádn´ymi funkčními symboly
stav STRIPS plánovací domény je mnoˇzina základních atom˚u z L:
(základní) atom p platí ve stavu s ⇔ p ∈ s
s splňuje mnoˇzinu (základních) literál˚u g (s |= g), jestliˇze
kaˇzd´y pozitivní literál v g je v s
kaˇzd´y negativní literál v g není v s
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 23 / 70