Skeletal Plan Fragment Generation
Search is used to find a sequence of operators to achieve the set
of constraints.
Intersect two sets of operators:
- Operators that preserve an existing constraint
- Operators that achieve an unsatisfied constraint
This process is repeated until all constraints have been solved,
or no further progress is possible.
Unification is used, generalized to unify overlapping numerical
intervals.
Contents
Page-10
Prev
Next
Page+10
Index