Building the Plan Graph
AT A
HALF
First “proposition layer” is the initially true props
A->B/H
REF/H
First “action layer” is all actions
feasible from the initial state plus
appropriate “no-ops”
AT B
FULL
HALF
AT A
EMPTY
Next proposition layer: all props possibly true after first action
No-op
No-op
Previous slide
Next slide
Back to first slide
View graphic version