Validation Structure Based Theory of Plan Modification and Reuse,

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1990
Accession Number
ADA328569

Entities

People

  • James Hendler
  • Subbarao Kambhampati

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Computer Science
  • Computers
  • Conservatism
  • Consistency
  • Contrast
  • Debugging
  • Detection
  • Efficiency
  • Information Theory
  • Intervals
  • Lisp Programming Language
  • Side Effects
  • Specifications
  • Universities
  • Validation
  • Verification

Readers

  • Database Systems and Applications
  • Software Engineering
  • Systems Analysis and Design