Klasické plánování

Klasické plánování [Nau09]
Pojem plánování Typologie plánovač˚u
Vychází ze vˇsech 8 omezujících pˇredpoklad˚u
Offline generování sekvencí akcí pro deterministické, statické, konečné
systémy s úplnou znalostí, dosaˇziteln´ymi cíli a implicitním časem.
Redukuje se na následující úlohu:
Dáno (Σ, s0, Sg )
Nalezni sekvenci akcí π =< a0, a1, . . . , an >, která produkuje sekvenci
pˇrechod˚u mezi stavu < s0, s1, . . . , sn > takovou, ˇze sn ∈ Sg .
Metodou je vyhledávání cesty v grafu
uzly = stavy
hrany = akce
Je to triviální?
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 18 / 70