Model-Based Diagnosis of Planning Failures

We propose that a planner should be provided with an explicit model of its own planning mechanism, and show that linking a planner's expectations about the performance of its plans to such a model, by means of explicit justification structures, enables the planner to determine which aspects of its planning are responsible for observed performance failures. We have implemented the ideas presented in this paper in a computer model. Applied to the game of chess, the model is capable of diagnosing planning failures due to incomplete knowledge of the rules, improper or overly optimistic focus of attention, faulty projection, and insufficient lead time for warning about threats, and is therefore able to learn such concepts as discovered attack and the fork.

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

[2]  Jon Doyle,et al.  AMORD explicit control of reasoning , 1977, SIGART Newsl..

[3]  Janet L. Kolodner.  Capitalizing on Failure through Case-Based Inference , 1987 .

[4]  Kristian J. Hammond,et al.  Case-Based Planning: Viewing Planning as a Memory Task , 1989 .

[5]  C SchankRoger,et al.  Dynamic Memory: A Theory of Reminding and Learning in Computers and People , 1983 .

[6]  Gregg Collins,et al.  An adaptive model of decision-making in planning , 1989, IJCAI 1989.

[7]  F. Hayes-Roth.  Using Proofs and Refutations to Learn from Experience , 1983 .

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

[9]  L. Birnbaum,et al.  The transfer of experience across planning domains through the acquisition of abstract strategies , 1988 .

[10]  Lawrence Birnbaum,et al.  Problem-solver state descriptions as abstract indices for case retrieval , 1990, AAAI 1990.

[11]  Steve A. Chien.  Using and Refining Simplifications: Explanation-Based Learning of Plans in Intractable Domains , 1989, IJCAI.

[12]  Tom M. Mitchell,et al.  Representation and Use of Explicit Justifications for Knowledge Base Refinements , 1985, IJCAI.

[13]  Zohar Manna,et al.  A Deductive Approach to Program Synthesis , 1979, TOPL.

[14]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[15]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[16]  Lawrence Birnbaum,et al.  Issues in the Justification-Based Diagnosis of Planning Failures , 1989, ML.

[17]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[18]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..