Domain Independent Planning: Representation and Plan Generation.
Abstract
A domain independent planning program that supports both automatic and interactive generation of hierarchical, partially ordered plans is described. (Author) An improved formalism for representing domains and actions is presented. The formalism makes extensive use of constraints, provides efficient methods for representing properties of objects that do not change over time, allows specification of purposes for determining plan rationale, allows specification of resources, and provides the ability to express deductive rules about how the world works. The system deduces the effects of actions using deductive rules. The implications of allowing parallel actions in a plan or problem solution are discussed. New techniques for efficiently detecting and remedying harmful parallel interactions are presented. The most important of these techniques, reasoning about resources, is emphasized and explained. The system supports concurrent exploration of different branches in the search, making best-first search easy to implement. Meta-planning and its implications for domain independent planning are discussed in some detail, and primitive monitoring capabilities are described.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1982
- Accession Number
- ADA123169
Entities
People
- David Wilkins
Organizations
- SRI International