Truth Maintenance in Automatic Planning.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1990
- Accession Number
- ADB149488
Entities
People
- Paul Morris
- Robert Filman
- Roy Feldman