A Single Refinement
A causal link from initial to goal
fuel(FULL) is true initially
and no action in the plan can change it
Previous slide
Next slide
Back to first slide
View graphic version