Accession Number : ADB149488

Title :   Truth Maintenance in Automatic Planning.

Descriptive Note : Final technical rept. Feb 88-Mar 90,

Corporate Author : INTELLICORP INC MOUNTAIN VIEW CA

Personal Author(s) : Morris, Paul ; Feldman, Roy ; Filman, Robert

Report Date : SEP 1990

Pagination or Media Count : 149

Abstract : The objective of this project was to explore the usefulness of incorporating truth maintenance system (TMS) technology into the design of planning systems. In particular the research was aimed at exploitation of dependency-directed back-tracking in planning search and plan repair, as well as the development of mechanisms enabling use of revokable assumptions about the external world to support replanning in dynamic environments. This report describes a prototype planning/replanning system that incorporates TMS technology in the plan structure to support efficient backtracking in support of replanning in the context of violated or retracted plan assumptions. Techniques for reducing planning search using domain knowledge are also described in the report. The six appendices describe the underlying research contributing to the design of the prototype system. Keywords: Truth maintenance, Planning search, Replanning, Nonmonotonic reasoning, Defeasible reasoning.

Descriptors :   *MAINTENANCE, *PLANNING, AUTOMATIC, DYNAMICS, ENVIRONMENTS, EXTERNAL, GLOBAL, PROTOTYPES, REASONING, REPAIR, SEARCHING.

Subject Categories : Administration and Management
      Logistics, Military Facilities and Supplies

Distribution Statement : APPROVED FOR PUBLIC RELEASE