MERGING SEPARATELY GENERATED PLANS WITH RESTRICTED INTERACTIONS
- 1 November 1992
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 8 (4) , 648-676
- https://doi.org/10.1111/j.1467-8640.1992.tb00383.x
Abstract
Generating action sequences to achieve a set of goals is a computationally difficult task. When multiple goals are present, the problem is even worse. Although many solutions to this problem have been discussed in the literature, practical solutions focus on the use of restricted mechanisms for planning or the application of domain dependent heuristics for providing rapid solutions (i.e., domain‐dependent planning). One previously proposed technique for handling multiple goals efficiently is to design a planner or even a set of planners (usually domain‐dependent) that can be used to generate separate plans for each goal. The outputs are typically either restricted to be independent and then concatenated into a single global plan, or else they are merged together using complex heuristic techniques. In this paper we explore a set of limitations, less restrictive than the assumption of independence, that still allow for the efficient merging of separate plans using straightforward algorithmic techniques.In particular, we demonstrate that for cases where separate plans can be individually generated, we can define a set of limitations on the allowable interactions between goals that allow efficient plan merging to occur. We propose a set of restrictions that are satisfied across a significant class of planning domains. We present algorithms that are efficient for special cases of multiple plan merging, propose a heuristic search algorithm that performs well in a more general case (where alternative partially ordered plans have been generated for each goal), and describe an empirical study that demonstrates the efficiency of this search algorithm.Keywords
This publication has 14 references indexed in Scilit:
- Multiple-query optimizationACM Transactions on Database Systems, 1988
- Planning as search: A quantitative approachArtificial Intelligence, 1987
- Planning for conjunctive goalsArtificial Intelligence, 1987
- General Branch and Bound, and its relation to A∗ and AO∗Artificial Intelligence, 1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- A Sufficient Condition for Backtrack-Free SearchJournal of the ACM, 1982
- Planning with constraints (MOLGEN: Part 1)Artificial Intelligence, 1981
- Consistency in Networks of RelationsPublished by Elsevier ,1981
- The Complexity of Some Problems on Subsequences and SupersequencesJournal of the ACM, 1978
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971