UCP: Plan Representation
Semantics in terms of Candidate sets
--Candidate is an action sequence that satisfies all the
plan constraints (but can have additional actions)
Refinements split and prune candidate sets
1: Get(mny)
2:Buy(Tkt)
4:Unload(A)
I
3: Getin(B)
Hv-money
G
Previous slide
Next slide
Back to first slide
View graphic version