Model-Based Diagnosis of Planning Failures
暂无分享,去创建一个
Michael Freed | Lawrence Birnbaum | Bruce Krulwich | Gregg Collins | G. Collins | M. Freed | L. Birnbaum | B. Krulwich
[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..