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