Klasické plánování

Relevantní akce [Nau09]
Metody plánování Stavov´y prostor
Necht’ P = (Σ, si, g) je STRIPS plánovací úloha.
Akce a je relevantní pro cíl g, jestliˇze
a zp˚usobí, ˇze alespoň jeden z literál˚u g je pravdiv´y
g ∩ effects(a) = ∅
a nezp˚usobí, ˇze ani jeden z literál˚u g je nepravdiv´y
g + ∩ effects − (a) = ∅ g − ∩ effects + (a) = ∅
Regresní mnoˇzina cíle g pro relevatní akci a ∈ A je:
γ −1 (g, a) = (g − effects(a)) ∪ precond(a)
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 51 / 70