This Article 
 Bibliographic References 
 Add to: 
Using Compiled Knowledge to Guide and Focus Abductive Diagnosis
October 1996 (vol. 8 no. 5)
pp. 690-706

Abstract—Several artificial intelligence architectures and systems based on "deep" models of a domain have been proposed, in particular for the diagnostic task. These systems have several advantages over traditional knowledge based systems, but they have a main limitation in their computational complexity. One of the ways to face this problem is to rely on a knowledge compilation phase, which produces knowledge that can be used more effectively with respect to the original one.

In this paper we show how a specific knowledge compilation approach can focus reasoning in abductive diagnosis, and, in particular, can improve the performances of AID, an abductive diagnosis system. The approach aims at focusing the overall diagnostic cycle in two interdependent ways: avoiding the generation of candidate solutions to be discarded a posteriori and integrating the generation of candidate solutions with discrimination among different candidates. Knowledge compilation is used off-line to produce operational (i.e., easily evaluated) conditions that embed the abductive reasoning strategy and are used in addition to the original model, with the goal of ruling out parts of the search space or focusing on parts of it. The conditions are useful to solve most cases using less time for computing the same solutions, yet preserving all the power of the model-based system for dealing with multiple faults and explaining the solutions. Experimental results showing the advantages of the approach are presented.

[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.C. Tanner, and J.R. Josephson, “The Computational Complexity of Abduction,” Artificial Intelligence, vol. 49, 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, Avig non, 1991, also in AI Communications, vol. 4, nos. 2/3, pp. 88-97, 1991.
[7] 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.
[8] 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.
[9] 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, Avig non, 1990.
[10] 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.
[11] L. Console and P. Torasso, "A Spectrum of Logical Definitions of Model-Based Diagnosis," Computational Intelligence, vol. 7, no. 3, pp. 133-141, 1991.
[12] 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.
[13] P.T. Cox and T. Pietrzykowski, "General Diagnosis by Abductive Inference," Proc. IEEE Symp. Logic Programming, pp. 183-189,San Francisco, 1987.
[14] Second Generation Expert Systems, J.M. David, J.P. Krivine, and R. Simmons, eds. Springer Verlag, 1993.
[15] R. Davis, "Form and Content in Model-Based Reasoning," Proc. 1989 Workshop Model Based Reasoning, pp. 11-28,Detroit, 1989.
[16] R. Davis and W. Hamscher, "Model-Based Reasoning: Troubleshooting," Exploring Artificial Intelligence, H.E. Shrobe, ed., pp. 297-346. Morgan Kaufman, 1988.
[17] J. de Kleer, "Using Crude Probability Estimates to Guide Diagnosis," Artificial Intelligence, vol. 45, no. 3, pp. 381-391, 1990.
[18] J. de Kleer, "Focusing on Probable Diagnoses," Proc. AAAI 91, pp. 842-848,Anaheim, Calif., 1991.
[19] J. de Kleer, A. Mackworth, and R. Reiter, "Characterizing Diagnoses and Systems," Artificial Intelligence, vol. 56, no. 2-3, pp. 197-222, 1992.
[20] J. de Kleer and B. Williams, "Diagnosing Multiple Faults," Artificial Intelligence, vol. 32, pp. 97-130, Elsevier, 1987.
[21] J. de Kleer and B.C. Williams, "Diagnosis With Behavioral Modes," Proc. 11th IJCAI, pp. 1,324-1,330,Detroit, 1989.
[22] G. DeJong and R. Mooney, "Explanation-Based Learning: An Alternative View," Machine Learning, vol. 1, pp. 145-176, 1986.
[23] O. Dressler and A. Farquhar, "Problem Solver Control Over the ATMS," Proc. German Workshop Artificial Intelligence, 1989.
[24] 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.
[25] 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.
[26] H. Freitag and G. Friedrich, "Focusing on Independent Diagnosis Problems," Proc. Second Conf. Principles of Knowledge Representation and Reasoning, pp. 521-531,Cambridge, 1992.
[27] G. Friedrich, G. Gottlob, and W. Nejdl, "Formalizing the Repair Process," Proc. 10th ECAI, pp. 709-713,Vienna, 1992.
[28] M.R. Genesereth, "The Use of Design Descriptions in Automated Diagnosis," Artificial Intelligence, vol. 24, nos. 1-3, pp. 411-436, 1984.
[29] A. Goel, "Knowledge Compilation: A Symposium," IEEE Expert, Vol. 6, No. 2, Apr. 1991, pp. 71-73.
[30] Readings in Model-Based Diagnosis, W. Hamscher, L. Console, and J. de Kleer, eds. Morgan Kaufmann, 1992.
[31] 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.
[32] R. Keller, "Defining Operationality for Explanation-Based Learning," Artificial Intelligence, vol. 35, pp. 227-241, 1988.
[33] 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.
[34] R. Keller, "In Defense of Compilation," Proc. 1990 Workshop Model-Based Reasoning, pp. 22-31,Boston, 1990.
[35] J.L. Kolodner, Case-Based Reasoning, Morgan Kaufmann, San Francisco, Calif., 1993.
[36] P. Koton, "Using Experience in Learning and Problem Solving," Technical Report MIT/LCS/TR-441, MIT, Cambridge, Mass., 1989.
[37] S. Minton, "Learning Effective Search Control Knowledge: An Explanation-Based Approach," Technical Report CMU-CS-88-133, Carnegie Mellon Univ., Pittsburgh, 1988.
[38] T. Mitchel, R. Keller, and S. Kedar-Cabelli, “Explanation-Based Generalization: A Unifying View,” Machine Learning, pp. 47–80, 1986.
[39] I. Mozetic, "Hierarchical Model-Based Diagnosis," Int'l J. Man-Machine Studies, vol. 35, no. 3, pp. 329-362, 1991.
[40] R. Patil, "Causal Representation of Patient Illness for Electrolyte and Acid-Base Diagnosis," Technical Report LCS-267, MIT, Cambridge, Mass, 1981.
[41] M. Pazzani, "Failure-Driven Learning of Fault Diagnosis Heuristics, IEEE Trans. Systems, Man, and Cybernetics, vol. 17, no. 3, pp. 380-394, 1987.
[42] D.A. Pearce, "The Induction of Fault Diagnosis Systems From Qualitative Models," Proc AAAI 88, pp. 353-357,Saint Paul, 1988.
[43] J. Pearl, Probabilistic Reasoning in Intelligent Systems. San Mateo, Calif.: Morgan Kaufman, 1988.
[44] Y. Peng and J.A. Reggia, Abductive Inference Models for Diagnostic Problem-Solving, Springer-Verlag, New York, 1990.
[45] D. Poole, "Normality and Faults in Logic-Based Diagnosis," Proc. 11th IJCAI, pp. 1,304-1,310,Detroit, 1989.
[46] D. Poole, R. Goebel, and R. Aleliunas, "THEORIST: A Logical Reasoning System for Defaults and Diagnosis," The Knowledge Frontier, N. Cercone and G. McCalla, eds., pp. 331-352. Springer Verlag, 1987.
[47] D. Poole and G. Provan, "What is an Optimal Diagnosis?" Proc. Conf. Uncertainty in Artificial Intelligence, pp. 46-53, 1990.
[48] 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.
[49] R. Reiter, "A Theory of Diagnosis From First Principles," Artificial Intelligence, vol. 32, no. 1, pp. 57-96, 1987.
[50] B. Selman and H. Levesque, "Abductive and Default Reasoning: A Computational Core," Proc. AAAI 90, pp. 343-348,Boston, 1990.
[51] 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.
[52] M. Shirley and R. Davis, "Generating Distinguishing Tests Based on Hierarchical Models and Symptom Information," Proc. Int'l Conf. Computer Design, 1983.
[53] R. Simmons, "The Roles of Associational and Causal Reasoning in Problem Solving," Artificial Intelligence, vol. 53, nos. 2-3, pp. 159-207, 1992.
[54] L. Steels, "Second Generation Expert Systems," Future Generation Computer Systems, vol. 1, no. 4, pp. 213-221, 1985.
[55] L. Steels and W. Van de Velde, "Learning in Second Generation Expert Systems," Knowledge-Based Problem Solving, R. Kowalik, ed.,. Prentice Hall, 1985.
[56] 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.
[57] P. Torasso and L. Console, Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning. Van Nostrand Reinhold, 1989.
[58] 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.

Index Terms:
Abductive reasoning, diagnosis, focusing model-based reasoning, knowledge-based systems, knowledge compilation.
Luca Console, Luigi Portinale, Daniele Theseider Dupré, "Using Compiled Knowledge to Guide and Focus Abductive Diagnosis," IEEE Transactions on Knowledge and Data Engineering, vol. 8, no. 5, pp. 690-706, Oct. 1996, doi:10.1109/69.542024
Usage of this product signifies your acceptance of the Terms of Use.