A flexible Split&Prune search forrefinement planning

Refineplan( P : Plan)

0*. If «P » is empty, Fail.

1. If a minimal candidate of P

is a solution, terminate.

2. Select a refinement strategy R .

Appply R to P to get a new plan set P’

3. Split P’ into k plansets

4. Non-deterministically select one of the plansets P’ i

Call Refine(P’ i)

Previous slide

Next slide

Back to first slide

View graphic version