A Theory of Plan Modification
Abstract
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.
Cite
Text
Kambhampati. "A Theory of Plan Modification." AAAI Conference on Artificial Intelligence, 1990. doi:10.1016/0002-9610(74)90313-4Markdown
[Kambhampati. "A Theory of Plan Modification." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/kambhampati1990aaai-theory/) doi:10.1016/0002-9610(74)90313-4BibTeX
@inproceedings{kambhampati1990aaai-theory,
title = {{A Theory of Plan Modification}},
author = {Kambhampati, Subbarao},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1990},
pages = {176-182},
doi = {10.1016/0002-9610(74)90313-4},
url = {https://mlanthology.org/aaai/1990/kambhampati1990aaai-theory/}
}