EXPLOITING CAUSAL STRUCTURE TO CONTROL RETRIEVAL AND REFITTING DURING PLAN REUSE

The ability to reuse existing plans to solve new planning problems can enable a domain‐independent planner to improve its average case efficiency by exploiting the problem distribution and avoiding repetition of planning effort. The pay‐off from plan reuse, however, crucially depends on finding effective solutions to two important underlying control problems: (i) controlling the retrieval of an appropriate plan and mapping to be reused in a new situation, and (ii) controlling the modification (refitting) of the retrieved plan so as to minimize perturbation to the applicable parts of the plan. This paper is concerned with the development of efficient domain‐independent solutions to these two problems. For the retrieval, it provides a domain independent similarity metric that utilizes the plan causal dependency structure to estimate the utility of reusing a given plan in a new problem situation. For the refitting, it presents a minimum‐conflict heuristic, again based on the causal dependency structure of the plan, to conservatively control the modification. The paper also discusses the implementation and evaluation of these strategies within the PRIAR plan modification framework.

[1]  Richard Waldinger,et al.  Achieving several goals simultaneously , 1977 .

[2]  Jaime G. Carbonell,et al.  Derivational Analogy and Its Role in Problem Solving , 1983, AAAI.

[3]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[4]  D. Gentner.  Structure‐Mapping: A Theoretical Framework for Analogy* , 1983 .

[5]  Hector J. Levesque,et al.  A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.

[6]  Subbarao Kambhampati,et al.  Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning , 1993, AAAI.

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

[8]  Mark Drummond,et al.  Goal Ordering in Partially Ordered Plans , 1989, IJCAI.

[9]  Jaime G. Carbonell,et al.  Derivational analogy: a theory of reconstructive problem solving and expertise acquisition , 1993 .

[10]  Kristian J. Hammond,et al.  Explaining and Repairing Plans that Fail , 1987, IJCAI.

[11]  Dedre Gentner,et al.  Structure-Mapping: A Theoretical Framework for Analogy , 1983, Cogn. Sci..

[12]  Subbarao Kambhampati.  A Classification of Plan Modification Strategies Based on Coverage and Information Requirements , 1990 .

[13]  Sanjay Mittal,et al.  A Knowledge-Based Framework for Design , 1986, AAAI.

[14]  Mark S. Boddy,et al.  Reasoning About Partially Ordered Events , 1988, Artificial Intelligence.

[15]  Steven Minton,et al.  Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method , 1990, AAAI.

[16]  Paul Morris,et al.  Admissible Criteria for Loop Control in Planning , 1990, AAAI.

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

[18]  James A. Hendler,et al.  Flexible reuse and modification in hierarchical planning: a validation structure-based approach , 1989 .

[19]  Subbarao Kambhampati,et al.  A Unified Framework for Explanation-Based Generalization of Partially Ordered and Partially Instantiated Plans , 1994, Artif. Intell..

[20]  Reid G. Simmons,et al.  A Theory of Debugging Plans and Interpretations , 1988, AAAI.

[21]  Mark R. Cutkosky,et al.  A methodology and computational framework for concurrent product and process design , 1990 .

[22]  Katia P. Sycara.  Innovative approaches to planning, scheduling and control : proceedings of a workshop held at San Diego, California, November 5-8, 1990 , 1990 .

[23]  Janet L. Kolodner,et al.  Maintaining Organization in a Dynamic Long-Term Memory , 1983, Cogn. Sci..

[24]  James A. Hendler,et al.  A Validation-Structure-Based Theory of Plan Modification and Reuse , 1992, Artif. Intell..

[25]  Herbert A. Simon,et al.  Optimal Problem-Solving Search: All-Oor-None Solutions , 1975, Artif. Intell..

[26]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[27]  Subbarao Kambhampati,et al.  Integrating general purpose planners and specialized reasoners: case study of a hybrid planning architecture , 1993, IEEE Trans. Syst. Man Cybern..