Refinement Search as a Unifying Framework for Analyzing Planning Algorithms

Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorithms. This is partly due to the many different vocabularies within which planning algorithms are usually expressed. In this paper, I show that refinement search provides a unifying framework within which various planning algorithmscanbecastandcompared. Iwillprovide refinement search semantics for planning, develop a generalized algorithm for refinement planning, and show that all planners that search in the space of plans are special cases of this algorithm. I will thenshowthatbesidesitsconsiderablepedagogical merits, the generalized algorithmalso (i) allows us to develop a model for analyzing the search space size, and refinement cost tradeoffs in plan space planning, (ii) facilitates theoretical and empirical analyses of competing planning algorithms and (iii) helps in synthesizing new planningalgorithms with...

• Type: Conference
• Year: 1994
• Where: KR
• Authors: Subbarao Kambhampati
• Keywords: Automated Reasoning, KR 1994, Performance Tradeoffs, Planning, Refinement Search