Abstract
Over the last few years several attempts have been made to design diagnostic systems which combine more than one model of the system to be diagnosed or more than one reasoning mechanism. In this paper we analyze the integration of different knowledge sources in model-based diagnosis, and, in particular, abductive diagnosis. We consider behavioral models in which the interaction between processes can be represented, enriched with constraints and taxonomic relationships among diagnostic hypotheses. We provide several insights into the role of such forms of knowledge in model-based diagnosis, showing how they can be accommodated both in a meta-level definition of abduction with constraints and in an object-level framework for abduction.
The research described in this paper has been partially supported by grants from MPI 40% (Automated Reasoning Techniques for Intelligent Systems) and CNR (Progetto Finalizzato “Sistemi Informatici e Calcolo Parallelo”, under grant n. 90.00689.PF69).
Preview
Unable to display preview. Download preview PDF.
References
Abu-Hanna, A., Benjamins, R., and Jansweijer, W., “Functional Models in Diagnostic Reasoning,” pp. 243–256 in Proc. 11th Int. Work, on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems), Avignon (1991).
Apt, K.R. and Bezem, M., “Acyclic programs,” pp. 617–633 in Proc. 7th Int. Conf. on Logic Programming, MIT Press, Jerusalem (1990).
Bylander, T., Allemang, D., Tanner, M., and Josephson, J., “Some Results Concerning the Computational Complexity of Abduction,” pp. 44–54 in Proc. 1st Conference on Principles of Knowledge Representation and Reasoning, Toronto (1989).
Chittaro, L., Costantini, C., Guida, G., Tasso, C., and Toppano, E., “Diagnosis Based on Cooperation of Multiple Knowledge Sources,” pp. 19–33 in Proc. 9th Int. Work. on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems), Avignon (1989).
Clark, K., “Negation as failure,” pp. 293–322 in Logic and Data Bases, ed. H. Gallaire, J. Minker,Plenum Press, New York (1978).
Console, L., Portinale, L., and Theseider Dupré, D., “Focusing Abductive Diagnosis,” pp. 231–242 in Proc. 11th Int. Work. on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems), Avignon (1991).
Console, L., Theseider Dupre', D., and Torasso, P., “Abductive Reasoning through Direct Deduction from Completed Domain Models,” pp. 175–182 in Methodologies for Intelligent Systems 4, ed. Z. Ras, North Holland (1989).
Console, L., Theseider Dupré, D., and Torasso, P., “On the Relationship between Abduction and Deduction,” to appear in Journal of Logic and Computation, (1991).
Console, L., Theseider Dupré, D., and Torasso, P., “A Theory of Diagnosis for Incomplete Causal Models,” pp. 1311–1317 in Proc. 11th IJCAI, Detroit (1989).
Console, L. and Torasso, P., “Integrating Models of the Correct Behavior into Abductive Diagnosis,” pp. 160–166 in Proc. 9th ECAI, Stockholm (1990).
Cox, P.T. and Pietrzykowski, T., “General Diagnosis by Abductive Inference,” pp. 183–189 in Proc. IEEE Symposium on Logic Programming, San Francisco (1987).
Davis, R. and Hamscher, W., “Model-based reasoning: Troubleshooting,” pp. 297–346 in Exploring Artificial Intelligence, ed. H.E. Shrobe,Morgan Kaufman (1988).
DeKleer, J., Mackworth, A., and Reiter, R., “Characterizing Diagnoses,” pp. 318–323 in Proc. AAAI 90, Boston (1990).
DeKleer, J. and Williams, B.C., “Diagnosing Multiple Faults,” Artificial Intelligence 32 pp. 97–130 (1987).
DeKleer, J. and Williams, B.C., “Diagnosis with behavioral modes,” pp. 1324–1330 in Proc. 11th IJCAI, Detroit (1989).
Eshghi, K. and Kowalski, R., “Abduction Compared with Negation as Failure,” pp. 234–254 in Proc. 6th Int. Conf. on Logic Programming, MIT Press, Lisbon (1989).
Friedrich, G., Gottlob, G., and Nejdl, W., “Physical Impossibility Instead of Fault Models,” pp. 331–336 in Proc. AAAI 90, Boston (1990).
Kowalski, R. and Sadri, F., “Knowledge Representation without Integrity Constraints,” Technical Report, Department of Computing, Imperial College, London (1988).
Patil, R., “Causal representation of patient illness for electrolyte and acid-base diagnosis,” MIT/LCS/TR-267, Cambridge (1981).
Pearl, J., Probabilistic Reasoning in Intelligent Systems, Morgan Kaufmann (1989).
Poole, D., “Explanation and Prediction: An Architecture for Default and Abductive Reasoning,” Computational Intelligence 5 (1) pp. 97–110 (1989).
Poole, D., Goebel, R., and Aleliunas, R., “Theorist: a logical reasoning system for default and diagnosis,” pp. 331–352 in The Knowledge Frontier, ed. N. Cercone, G. Mc Calla,Springer Verlag (1987).
Raiman, O., “Diagnosis as a Trial: The Alibi Principle,” in Proc. Int. Workshop on Model-based Diagnosis, Paris (1988).
Reiter, R., “A Theory of Diagnosis from First Principles,” Artificial Intelligence 32 pp. 57–96 (1987).
Selman, B. and Levesque, H., “Abductive and Default Reasoning: A Computational Core,” pp. 343–348 in Proc. AAAI 90, Boston (1990).
Shanahan, M., “Prediction is Deduction but Explanation is Abduction,” pp. 1055–1060 in Proc. 11th IJCAI, Detroit (1989).
Struss, P. and Dressler, O., “Physical Negation — Integrating Fault Models into the General Diagnostic Engine,” pp. 1318–1323 in Proc. 11th IJCAI, Detroit (1989).
Torasso, P. and Console, L., Diagnostic Problem Solving: Combining Heuristic, Approximate and Causal Reasoning, Van Nostrand Reinhold (1989).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Console, L., Theseider Dupre, D., Torasso, P. (1991). Towards the integration of different knowledge sources in model-based diagnosis. In: Ardizzone, E., Gaglio, S., Sorbello, F. (eds) Trends in Artificial Intelligence. AI*IA 1991. Lecture Notes in Computer Science, vol 549. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54712-6_230
Download citation
DOI: https://doi.org/10.1007/3-540-54712-6_230
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54712-9
Online ISBN: 978-3-540-46443-3
eBook Packages: Springer Book Archive