A theory of plan modification
Subbarao Kambhampati · 1990
We present a theory of plan modification applicable to hierarchical no&ear planning. Our theory utilizes the validation structure of the stored plans to yield a flexible and conservative plan modification framework The validation structure, which constitutes a hierarchical explanation of correctness of the plan with respect to the planner’s own knowledge of the domain, is annotated on the plan as a by-product of i&al planning. Plan modification is ch&cteri & as a brocess of remov&g inconsistencies in the validation structure of a &an when it is being reused in a new (changed) planning situation. The reuair of these-inconsistencies involves removing unnecessary pans of the plan and adding new non-primitive tasks to the plan to establish mi&g or failing validations. The resultant partially re-duced plan (with a consistent validation structure) is sent to the planner for complete reduction. We discuss the development of this theory in PMAR system, and characterize its completeness, coverage, efficiency and limitations.