Using compiled knowledge to guide and focus abductive diagnosis

IEEE Transactions on Knowledge and Data Engineering

Volumn 8, Issue 5, 1996, Pages 690-706

  Console, Luca ^a   Portinale, Luigi ^a   Dupré, Daniele Theseider ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Abductive reasoning; Diagnosis; Focusing model based reasoning; Knowledge compilation; Knowledge based systems

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; FORMAL LOGIC; KNOWLEDGE ENGINEERING;

ABDUCTIVE DIAGNOSIS; KNOWLEDGE COMPILATION; MODEL BASED REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 0030259679     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.542024     Document Type: Article

References (59)

1. I. Bratko, I Mozetic, and N. Lavrac, KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems. Cambridge, Mass.: MIT Press, 1989.
2. T. Bylander, D. Allemang, M. Tanner, and J. Josephson, "The Computational Complexity of Abduction," Artificial Intelligence, vol. 49, nos. 1-3, pp. 25-60, 1991.
3. B. Chandrasekaran, "Models vs. Rules, Deep vs. Compiled, Content vs. Form," IEEE Expert, vol. 6, no. 2, pp. 75-79, 1991.
4. B. Chandrasekaran and S. Mittal, "Deep Versus Compiled Knowledge Approaches to Diagnostic Problem Solving," Int'l J. Man-Machine Studies, vol. 19, no. 3, pp. 425-436, 1983.
5. K. Clark, "Negation as Failure," Logic and Data Bases, H. Gallaire and J. Minker, eds., pp. 293-322. Plenum Press, 1978.
6. L. Console, L. Portinale, and D. Theseider Dupré, "Focusing Abductive Diagnosis," Proc. 11th Int'l Conf. Expert Systems and Their Applications, Conf. Second Generation Expert Systems, pp. 231-242, Avignon, 1991,
7. also in AI Communications, vol. 4, nos. 2/3, pp. 88-97, 1991.
8. L. Console, L. Portinale, D. Theseider Dupré, and P. Torasso, "Combining Heuristic and Causal Reasoning in Diagnostic Problem Solving," Second Generation Expert Systems, J.M. David, J.P. Krivine, and R. Simmons, eds., pp. 46-68. Springer Verlag, 1993.
9. L. Console, D. Theseider Dupré, and P. Torasso, "A Theory of Diagnosis for Incomplete Causal Models," Proc. 11th (IJCAI), pp. 1,311-1,317, Detroit, 1989.
10. L. Console, D. Theseider Dupré, and P. Torasso, "Introducing Test Theory Into Abductive Diagnosis," Proc. 10th Int'l Workshop Expert Systems and Their Applications, Conf. Second Generation Expert Systems, pp. 111-124, Avignon, 1990.
11. L. Console, D. Theseider Dupré, and P. Torasso, "On the Relationship Between Abduction and Deduction," J. Logic and Computation, vol. 1, no. 5, pp. 661-690, 1991.
12. L. Console and P. Torasso, "A Spectrum of Logical Definitions of Model-Based Diagnosis," Computational Intelligence, vol. 7, no. 3, pp. 133-141, 1991.
13. L. Console and P. Torasso, "An Approach to the Compilation of Operational Knowledge From Causal Models," IEEE Trans. Systems, Man, and Cybernetics, vol. 22, no. 4, pp. 772-789, 1992.
14. P.T. Cox and T. Pietrzykowski, "General Diagnosis by Abdurtive Inference," Proc. IEEE Symp. Logic Programming, pp. 183-189, San Francisco, 1987.
15. Second Generation Expert Systems, J.M. David, J.P. Krivine, and R. Simmons, eds. Springer Verlag, 1993.
16. R. Davis, "Form and Content in Model-Based Reasoning," Proc. 1989 Workshop Model Based Reasoning, pp. 11-28, Detroit, 1989.
17. K. Davis and W. Hamscher, "Model-Based Reasoning: Trouble-shooting," Exploring Artificial Intelligence, U.E. Shrobe, ed., pp. 297-346. Morgan Kaufman, 1988.
18. J. de Kleer, "Using Crude Probability Estimates to Guide Diagnosis," Artificial Intelligence, vol. 45, no. 3, pp. 381-391, 1990.
19. J. de Kleer, "Focusing on Probable Diagnoses," Proc. AAAI 91, pp. 842-848, Anaheim, Calif., 1991.
20. J. de Kleer, A. Mackworth, and R. Reiter, "Characterizing Diagnoses and Systems," Artificial Intelligence, vol 56, no. 2-3, pp. 197-222, 1992.
21. J. de Kleer and B.C. Williams, "Diagnosing Multiple Faults," Artificial Intelligence, vol. 32, no. 1, pp. 97-130, 1987.
22. T. de Kleer and B.C. Williams, "Diagnosis With Behavioral Modes," Proc. 11th IJCAI, pp. 1,324-1,330, Detroit, 1989.
23. G. DeJong and R. Mooney, "Explanation-Based Learning: An Alternative View," Machine Learning, vol. 1, pp. 145-176, 1986.
24. O. Dressier and A. Farquhar, "Problem Solver Control Over the ATMS," Proc. German Workshop Artificial Intelligence, 1989.
25. P. Fink, J. Lusth, and J. Duran, "A General Expert System Design for Diagnostic Problem Solving," IEEE Trans. Pattern Analysis and Machine Intelligence, vol. 7, no. 5, pp. 553-560, 1985.
26. O. Fischer, A. Goel, J. Svirbely, and J. Smith, "The Role of Essential Explanation in Abduction," Artificial Intelligence in Medicine, vol. 3, pp. 181-191, 1991.
27. H. Freitag and G. Friedrich, "Focusing on Independent Diagnosis Problems," Proc. Second Conf. Principles of Knowledge Representation and Reasoning, pp. 521-531, Cambridge, 1992.
28. G. Friedrich, G. Gottlob, and W. Nejdl, "Formalizing the Repair Process," Proc. 10th ECAI, pp. 709-713, Vienna, 1992.
29. M.R. Genesereth, "The Use of Design Descriptions in Automated Diagnosis," Artificial Intelligence, vol. 24, nos. 1-3, pp. 411-436, 1984.
30. "Knowledge Compilation: A Symposium," A. Goel, ed. IEEE Expert, vol. 6, no. 2, pp. 71-93, 1991.
31. Readings in Model-Based Diagnosis, W. Hamscher, L. Console, and J. de Kleer, eds. Morgan Kaufmann, 1992.
32. J. Josephson, B. Chandrasekaran, J. Smith, and M. Tanner, "A Mechanism for Forming Composite Explanatory Hypotheses," IEEE Trans. Systems, Man, and Cybernetics, vol. 17, no. 3, pp. 445-454, 1987.
33. R. Keller, "Defining Operationality for Explanation-Based Learning," Artificial Intelligence, vol. 35, pp. 227-241, 1988.
34. R. Keller, "Compiling Redesign Plans and Diagnosis Rules From a Structure/Behavior Device Model," Technical Report KSL 89-50, Knowledge System Laboratory, Stanford Univ., 1989.
35. R. Keller, "In Defense of Compilation," Proc. 1990 Workshop Model-Based Reasoning, pp. 22-31, Boston, 1990.
36. J.L. Kolodner, Case-Based Reasoning. Morgan Kaufmann, 1993.
37. P. Koton, "Using Experience in Learning and Problem Solving," Technical Report MIT/LCS/TR-441, MIT, Cambridge, Mass., 1989.
38. S. Minton, "Learning Effective Search Control Knowledge: An Explanation-Based Approach," Technical Report CMU-CS-88-133, Carnegie Mellon Univ., Pittsburgh, 1988.
39. T. Mitchell, R. Keller, and S. Kedar-Cabelli, "Explanation-Based Generalization: A Unifying View," Machine Learning, vol. 1, pp. 47-80, 1986.
40. I. Mozetic, "Hierarchical Model-Based Diagnosis," Int'l J. ManMachine Studies, vol. 35, no. 3, pp. 329-362, 1991.
41. R. Patil, "Causal Representation of Patient Illness for Electrolyte and Acid-Base Diagnosis," Technical Report LCS-267, MIT, Cambridge, Mass, 1981.
42. M. Pazzani, "Failure-Driven Learning of Fault Diagnosis Heuristics, IEEE Trans. Systems, Man, and Cybernetics, vol. 17, no. 3, pp. 380-394, 1987.
43. D.A. Pearce, "The Induction of Fault Diagnosis Systems From Qualitative Models," Proc AAAI 88, pp. 353-357, Saint Paul, 1988.
44. J. Pearl, Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, 1989.
45. Y. Peng and J. Reggia, Abductive Inference Models for Diagnostic Problem Solving. Springer-Verlag, 1991.
46. D. Poole, "Normality and Faults in Logic-Based Diagnosis," Proc. 11th IJCAI, pp. 1,304-1,310, Detroit, 1989.
47. D. Poole, R. Goebel, and R. Aleliunas, "THEORIST: A Logical Reasoning System for Defaults and Diagnosis," The Knowledge Frontier, N. Gercone and G. McCalla, eds., pp. 331-352. Springer Verlag, 1987.
48. D. Poole and G. Provan, "What is an Optimal Diagnosis?" Proc. Conf. Uncertainty in Artificial Intelligence, pp. 46-53, 1990.
49. C. Preist and K. Eshghi, "Consistency-Based and Abductive Diagnoses as Generalized Stable Models," Proc. Int'l Conf. Fifth Generation Computer System, pp. 514-521, Tokyo, 1992.
50. R. Reiter, "A Theory of Diagnosis From First Principles," Artificial Intelligence, vol. 32, no. 1, pp. 57-96, 1987.
51. B. Selman and H. Levesque, "Abductive and Default Reasoning: A Computational Core," Proc. AAAI 90, pp. 343-348, Boston, 1990.
52. V. Sembugamoorthy and B. Chandrasekaran, "Functional Representation of Devices and Compilation of Diagnostic Problem-Solving Systems," Experience, Memory and Reasoning, J.L. Kolodner and C.R. Riesbeck, eds., pp. 47-73. Lawrence Erlbaum, 1986.
53. M. Shirley and R. Davis, "Generating Distinguishing Tests Based on Hierarchical Models and Symptom Information," Proc. Int'l Conf. Computer Design, 1983.
54. R. Simmons, "The Roles of Associational and Causal Reasoning in Problem Solving," Artificial Intelligence, vol. 53, nos. 2-3, pp. 159-207, 1992.
55. L. Steels, "Second Generation Expert Systems," Future Generation Computer Systems, vol. 1, no. 4, pp. 213-221, 1985.
56. L. Steels and W. Van de Velde, "Learning in Second Generation Expert Systems," Knowledge-Based Problem Solving, R. Kowalik, ed.,. Prentice Hall, 1985.
57. J. Sticklen and B. Chandrasekaran, "Integrating Classification-Based Compiled Level Reasoning with Function-Based Deep Reasoning," Applied Artificial Intelligence, vol. 3, no. 2, pp. 275-304, 1989.
58. P. Torasso and L. Console, Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning. Van Nostrand Reinhold, 1989.
59. S. Weiss, C. Kulikowski, S. Amarel, and A. Safir, "A Model Based Method for Computer-Aided Medical Decision Making," Artificial Intelligence, vol. 11, no. 1-2, pp. 145-172, 1978.