Classical Planning

Concept of AI Planning Conceptual Model
State Transition System Example [Nau09]
State Trainsition System
Σ = (S, A, E, γ)
S = {states}
A = {actions}
E = {exogenous events}
γ = S × (A ∪ E) → 2 S
System Instance
S = {s0, s1, . . . , s5}
A = {move1, move2, put,
take, load, unload}
E = {}
γ = {see arrows}
Radek Maˇrík (marikr@felk.cvut.cz) Classical Planning 15. dubna 2013 11 / 71