Is "Early Commitment" in Plan Generation Ever a Good Idea?

Partial-Order Causal Link planners typically take a "least-commitment" approach to some decisions (notably, step ordering), postponing those decisions until constraints force them to be made. However, these planners rely to some degree on early commitments in making other types of decisions, including threat resolution and operator choice. We show why existing planners cannot support full least-commitment decisionmaking, and present an alternative approach that can. The approach has been implemented in the Descartes system, which we describe. We also provide experimental results that demonstrate that a least-commitment approach to planning can be profitably extended beyond what is done in POCL and similar planners, but that taking a least-commitment approach to every planning decision can be inefficient: early commitment in plan generation is sometimes a good idea.

[1]  Daniel S. Weld,et al.  Temporal Planning with Continuous Change , 1994, AAAI.

[2]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[3]  Lenhart K. Schubert,et al.  Accelerating partial order planners by improving plan and goal choices , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.

[4]  Qiang Yang,et al.  A Theory of Conflict Resolution in Planning , 1992, Artif. Intell..

[5]  Martha E. Pollack,et al.  Least-Cost Flaw Repair: A Plan Refinement Strategy for Partial-Order Planning , 1994, AAAI.

[6]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[7]  Mark A. Peot,et al.  Threat-Removal Strategies for Partial-Order Planning , 1993, AAAI.

[8]  Subbarao Kambhampati,et al.  Planning as Refinement Search: A Unified Framework for Evaluating Design Tradeoffs in Partial-Order Planning , 1995, Artif. Intell..

[9]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[10]  Bart Selman,et al.  Planning as Satisfiability , 1992, ECAI.

[11]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[12]  Taieb Znati,et al.  The DIPART Project: A Status Report , 1994 .

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

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

[15]  Martha E. Pollack,et al.  Passive and active decision postponement in plan generation , 1996 .

[16]  P. Yang.  A Theory of Con ict Resolution in , 1992 .