Flexibly Interleaving Processes

We discuss several problems of analogy-driven proof plan construction which prevent a solution for more difficult target problems or make a solution very expensive. Some of these problems are due to the previously assumed fixed order of matching, reformulation, and replay in case-based reasoning and from a too restricted combination of planning from first principles with the analogy process. In order to overcome these problems we suggest to interleave matching and replay as well as casebased planning with planning from first principles. Secondly, the restricted mixture of case-based planning and planning from first principles in previous systems is generalised to intelligently employing different planning strategies with the objective to solve more problems at all and to solve problems more efficiently.

[1]  S. Kambhampati,et al.  Universal classical planner: an algorithm for unifying state-space and plan-space planning , 1996 .

[2]  Erica Melis,et al.  A Model of Analogy-Driven Proof-Plan Construction , 1995, IJCAI.

[3]  Thomas Kolbe,et al.  Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs , 1995, IJCAI.

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

[5]  Ralph Bergmann,et al.  CBR Applied to Planning , 1998, Case-Based Reasoning Technology.

[6]  Manuela M. Veloso,et al.  Planning and Learning by Analogical Reasoning , 1994, Lecture Notes in Computer Science.

[7]  Kurt VanLehn,et al.  Better Learners Use Analogical Problem Solving Sparingly , 1993, ICML.

[8]  M. Veloso,et al.  Case-Based Reasoning Applied to Planning , 1999 .

[9]  Erica Melis,et al.  Proof planning with multiple strategies , 2000, Artif. Intell..

[10]  Thomas Kolbe,et al.  Reusing Proofs , 1994, ECAI.

[11]  Jana Koehler,et al.  Planning from Second Principles , 1996, Artif. Intell..

[12]  Steven Minton,et al.  Quantitative Results Concerning the Utility of Explanation-based Learning , 1988, Artif. Intell..

[13]  George Lawton,et al.  Integrating Analogy with Rules and Explanations. , 1995 .

[14]  William McCune,et al.  Automated Deduction—CADE-14 , 1997, Lecture Notes in Computer Science.

[15]  Laura R. Novick,et al.  Component processes in analogical transfer: Mapping, pattern completion, and adaptation. , 1994 .

[16]  Agnar Aamodt,et al.  Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches , 1994, AI Commun..

[17]  Alfredo Milani,et al.  New directions in AI planning , 1996 .

[18]  Frank van Harmelen,et al.  Rippling: A Heuristic for Guiding Inductive Proofs , 1993, Artif. Intell..

[19]  Volker Sorge,et al.  Omega: Towards a Mathematical Assistant , 1997, CADE.