Domain Independent Planning: Representation and Plan Generation.
SRI INTERNATIONAL MENLO PARK CA
Pagination or Media Count:
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.
- Computer Programming and Software
- Human Factors Engineering and Man Machine Systems