Klasické plánování

Pojem plánování Koncepční model
Pˇríklad pˇrechodového systému [Nau09]
Systém s pˇrechody mezi stavy
Σ = (S, A, E, γ)
S = {states}
A = {actions}
E = {exogenous events}
γ = S × (A ∪ E) → 2 S
Systém s pˇrechody mezi stavy
S = {s0, s1, . . . , s5}
A = {move1, move2, put,
take, load, unload}
E = {}
γ = {viz ˇsipky}
Radek Maˇrík (marikr@felk.cvut.cz) Klasické plánování 16. dubna 2013 11 / 70