Premium
An Approach for Merging Plans Hierarchically in Decomposable Domains
Author(s) -
Britanik J.,
Marefat M.
Publication year - 1998
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/0824-7935.00067
Subject(s) - computer science , heuristic , plan (archaeology) , context (archaeology) , class (philosophy) , domain (mathematical analysis) , sequence (biology) , cover (algebra) , greedy algorithm , key (lock) , computation , process (computing) , algorithm , mathematical optimization , artificial intelligence , mathematics , mechanical engineering , paleontology , mathematical analysis , genetics , computer security , archaeology , biology , engineering , history , operating system
Recent works in domain‐independent plan merging have shown that the optimal plan‐merging problem is NP‐hard, and heuristic algorithms have been proposed to generate near‐optimal solutions. These works have shown heuristic algorithms which assume that the mergeability of two actions can be determined by considering only the actions themselves. In this paper, we show that it is often that case that the surrounding actions in the plan must also be considered when determining the mergeability of two or more actions; therefore, the context in which the actions are used affects their mergeability. To address this problem, we have developed a plan‐merging methodology that merges partial‐order plans based on the the notion of plan fragments, which encapsulate actions with the context in which they are being utilized. This methodology applies to a class of planning domains, called decomposable domains, which consist of actions that follow all or some portion of a type sequence. Merging is performed hierarchically by action type. We also investigate the previously unexplored notion of alternative actions in domain‐independent plan merging, which can improve the quality of the resulting merged plan. A novel approach is presented for removing cyclic dependencies that may occur during the plan‐merging process. A key part of the methodology is the computation of a minimum cost cover of plan fragments. We provide theoretical analyses of two optimal algorithms and a greedy‐based algorithm for computing the minimum cost cover. We support the theoretical analysis of these algorithms with experimental data to show that the greedy approach is near‐optimal and efficient.