Derivational Analogy in PRODIGY: Automating Case Acquisition, Storage, and Utilization

Expertise consists of rapid selection and application of compiled experience. Robust reasoning, however, requires adaptation to new contingencies and intelligent modification of past experience. And novel or creative reasoning, by its real nature, necessitates general problem-solving abilities unconstrained by past behavior. This article presents a comprehensive computational model of analogical (case-based) reasoning that transitions smoothly between case replay, case adaptation, and general problem solving, exploiting and modifying past experience when available and resorting to general problem-solving methods when required. Learning occurs by accumulation of new cases, especially in situations that required extensive problem solving, and by tuning the indexing structure of the memory model to retrieve progressively more appropriate cases. The derivational replay mechanism is discussed in some detail, and extensive results of the first full implementation are presented. These results show up to a large performance improvement in a simple transportation domain for structurally similar problems, and smaller improvements when less strict similarity metrics are used for problems that share partial structure in a process-job planning domain and in an extended version of the strips robot domain.

[1]  Tom M. Mitchell,et al.  Learning by experimentation: acquiring and refining problem-solving heuristics , 1993 .

[2]  Michael John Pazzani Learning causal relationships: an integration of empirical and explanation-based learning methods , 1988 .

[3]  Oren Etzioni,et al.  PRODIGY4.0: The Manual and Tutorial , 1992 .

[4]  Oren Etzioni,et al.  A Structural Theory of Explanation-Based Learning , 1993, Artif. Intell..

[5]  Jr. Robert Lee Simpson,et al.  A computer model of case-based reasoning in problem solving: an investigation in the domain of dispute mediation (analogy, machine learning, conceptual memory) , 1985 .

[6]  Jaime G. Carbonell,et al.  Learning by Analogical Replay in PRODIGY: First Results , 1991, EWSL.

[7]  Gerald DeJong,et al.  A brief overview of explanatory schema acquisition , 1986 .

[8]  Jaime G. Carbonell,et al.  Learning effective search control knowledge: an explanation-based approach , 1988 .

[9]  Kristian J. Hammond,et al.  Case-based planning: an integrated theory of planning, learning and memory , 1986 .

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

[11]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

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

[13]  Jaime G. Carbonell,et al.  Integrating derivational analogy into a general problem-solving architecture , 1988 .

[14]  Oren Etzioni,et al.  Why PRODIGY/EBL Works , 1990, AAAI.

[15]  Craig A. Knoblock Automatically generating abstractions for problem solving , 1991 .

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

[17]  Richard E. Korf,et al.  Macro-Operators: A Weak Method for Learning , 1985, Artif. Intell..

[18]  David E. Wilkins,et al.  Can AI planners solve practical problems? , 1990, Comput. Intell..

[19]  Michael J. Pazzani Creating a memory of causal relationships - an integration of empirical and explanation-based learning methods , 1990 .

[20]  Ekaterini P. Sycara Resolving adversarial conflicts: an approach integration case-based and analytic methods , 1987 .

[21]  C. W. Tate Solve it. , 2005, Nursing standard (Royal College of Nursing (Great Britain) : 1987).

[22]  Roger C. Schank,et al.  The Current State of AI: One Man's Opinion , 1983, AI Mag..

[23]  Mehdi T. Harandi,et al.  Program Derivation Using Analogy , 1989, IJCAI.

[24]  John R. Anderson,et al.  Machine learning - an artificial intelligence approach , 1982, Symbolic computation.

[25]  Jaime G. Carbonell,et al.  Learning by experimentation: the operator refinement method , 1990 .

[26]  M MitchellTom,et al.  Explanation-Based Generalization , 1986 .

[27]  Allen Newell,et al.  Physical Symbol Systems , 1980, Cogn. Sci..

[28]  M VelosoManuela,et al.  Derivational Analogy in PRODIGY , 1993 .

[29]  Gerald J. Sussman,et al.  A Computational Model of Skill Acquisition , 1973 .

[30]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[31]  Allen Newell,et al.  Chunking in Soar: The anatomy of a general learning mechanism , 1985, Machine Learning.

[32]  Manuela Veloso Nonlinear problem solving using intelligent casual-commitment , 1989 .

[33]  Jon Doyle Expert Systems Without Computers, or Theory and Trust in Artificial Intelligence , 1984, AI Mag..

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

[35]  Jaime G. Carbonell,et al.  FRulekit: A Frame-Based Production System , 1993 .

[36]  Christopher K. Riesbeck,et al.  Inside Case-Based Reasoning , 1989 .

[37]  Steven Minton,et al.  Selectively Generalizing Plans for Problem-Solving , 1985, IJCAI.

[38]  M. Veloso,et al.  Nonlinear Planning with Parallel Resource Allocation , 1990 .

[39]  R. Mooney,et al.  Explanation-Based Learning: An Alternative View , 1986, Machine Learning.

[40]  Tom M. Mitchell,et al.  Explanation-Based Generalization: A Unifying View , 1986, Machine Learning.