Accession Number : ADA328569
Title : Validation Structure Based Theory of Plan Modification and Reuse,
Corporate Author : STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Personal Author(s) : Kambhampati, Subbarao ; Hendler, James A.
PDF Url : ADA328569
Report Date : JUN 1990
Pagination or Media Count : 59
Abstract : A framework for the flexible and conservative modification of plans enables a planner to modify its plans in response to incremental changes in their specifications, to reuse its existing plans in new problem situations, and to efficiently replan in response to execution time failures. The authors present a theory of plan modification applicable to hierarchical nonlinear planning. The authors' theory utilizes the validation structure of stored plans to yield a flexible and conservative plan modification framework.
Descriptors : *PLANNING, *NONLINEAR PROGRAMMING, ALGORITHMS, SPECIFICATIONS, NONLINEAR SYSTEMS, ARTIFICIAL INTELLIGENCE, SYSTEMS ANALYSIS, COMPUTER PROGRAM VERIFICATION, HIERARCHIES, CONTROL SEQUENCES.
Subject Categories : Operations Research
Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE