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