Planning as Refinement Search: A unified framework for comparative analysis of Search Space Size and Performance

In spite of the long history of classical planning, there has been very little comparative analysis of the search space characteristics of the multitude of existing planning algorithms. This has seriously inhibited efforts to fruitfully intergrate various approaches. In this paper we show that viewing planning as a general refinement search provides a unified framework for comparing the search spaces of various planning strategies, and in predicting their performance. We will provide a generic refinement search algorithm for planning, and show that all planners that search in the space of plans are special cases of this algorithm. In this process, we will provide a rational reconstruction of main ideas of refinement planning algorithms. We will then develop a model for estimating search space size of a refinement planner, and use this model to analyze a variety of tradeoffs between search space size, refinement cost and performance in refinement planning. This research is supported in part by National Science Foundation under grant IRI-9210997, and ARPA/Rome Laboratory planning initiative under grant F30602-93-C-0039.

[1]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[2]  Gerald Jay Sussman,et al.  A Computer Model of Skill Acquisition , 1975 .

[3]  Daniel S. Weld,et al.  Systematic adaptation for case-based planning , 1992 .

[4]  Vipin Kumar,et al.  General Branch and Bound, and its Relation to A and AO , 1984, Artif. Intell..

[5]  D. McDermott.  Transformational Planning of Reactive Behavior , 1992 .

[6]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[7]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[8]  Subbarao Kambhampati,et al.  Multi-Contributor Causal Structures for Planning: A Formalization and Evaluation , 1994, Artif. Intell..

[9]  Edwin P. D. Pednault,et al.  Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects , 1991, IJCAI.

[10]  Nicolas Beldiceanu,et al.  Constraint Logic Programming , 1997 .

[11]  Drew McDermott,et al.  Regression planning , 1991, Int. J. Intell. Syst..

[12]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[13]  Craig A. Knoblock,et al.  A Comparison of the SNLP and TWEAK Planning Algorithms , 1993 .

[14]  Mark A. Peot,et al.  Postponing Simple Conflicts in Nonlinear Planning , 1993 .

[15]  David P. Miller,et al.  Hierarchical planning involving deadlines, travel time, and resources , 1988, Comput. Intell..

[16]  Edwin P. D. Pednault,et al.  Synthesizing plans that contain actions with context‐dependent effects 1 , 1988, Comput. Intell..

[17]  Steven Minton,et al.  Commitment Strategies in Planning: A Comparative Analysis , 1991, IJCAI.

[18]  Keith Price,et al.  Review of "Principles of Artificial Intelligence by Nils J. Nilsson", Tioga Publishing Company, Palo Alto, CA, ISBN 0-935382-01-1. , 1980, SGAR.

[19]  Anthony Barrett,et al.  Partial-Order Planning: Evaluating Possible Efficiency Gains , 1994, Artificial Intelligence.

[20]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[21]  P. Langley.  Systematic and nonsystematic search strategies , 1992 .

[22]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[23]  Judea Pearl.  Intelligent Search Strategies for Computer Problem Solving , 1984 .

[24]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[25]  Qiang Yang,et al.  Abstraction in Nonlinear Planning , 1991 .

[26]  Subbarao Kambhampati,et al.  On the Nature and Role of Modal Truth Criteria in Planning , 1996, Artif. Intell..

[27]  Subbarao Kambhampati,et al.  On the Utility of Systematicity: Understanding Tradeoffs between Redundancy and Commitment in Partial-ordering Planning , 1993, IJCAI.

[28]  Steven Minton,et al.  Total Order vs. Partial Order Planning: Factors Influencing Performance , 1992, KR.