Classical Planning
Static
Environment
Instantaneous
Perfect
Fully Observable
Full
I  = initial state      G =  goal state
(prec)
Oi
(effects)
[ I ]
[ G ]
Oi
Oj
Ok
Om