During the planning process, a planner may have many options for refinements to perform on the plan being developed. The planner’s efficiency depends on how it chooses which refinement to do next. Recent studies have shown that several versions of the popular “least commitment” plan refinement strategy are often outperformed by a fewest alternatives first (FAF) strategy that chooses to refine the plan element that has the smallest number of alternative refinement options. In this paper, we examine the FAF strategy in more detail, to try to gain a better understanding of how well it performs and why. We present the following results: • A refinement planner’s search space is an AND/OR graph, and the planner “serializes” this graph by mapping it into an equivalent state-space graph. Different plan refinement strategies produce different serializations of the AND/OR graph. • The sizes of different serializations of the AND/OR graph can differ by an exponential amount. A pl...
Reiko Tsuneto, Dana S. Nau, James A. Hendler