Skeletal Plan Fragment Generation

Search is used to find a sequence of operators to achieve the set of constraints.

Intersect two sets of operators:

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