Abstract
This paper presents an algorithm for model-based diagnosis based on the GDE approach introduced by de Kleer and Williams. The algorithm subsumes the current state-of-the-art of this approach such as focusing on the most probable diagnoses and integrating fault models. This paper shows how to make the GDE approach applicable for observations at different time points. This enables an integrated diagnosis of systems with different test vectors as well as the diagnosis of systems containing components with a time-dependent behavior. As an example, it is shown how to model simple electrical circuits which contain fuses with time-dependent behavior. Unlike most of the other diagnostic engines following the GDE approach, the algorithm of this paper does not use an ATMS as a black box module, but rather integrates the necessary tasks directly into the top level. This paper is self-contained and provides precise interfaces for the use of heuristics which can be used to speed up the performance.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
T. Bylander, Complexity of model-based diagnosis, Ohio State University, TR 89-TB-COMP-MOD.
P. Dague, P. Devès, P. Luciani and P. Taillibert, Analog systems diagnosis,Proc. ECAI 1990, pp. 173–178.
P. Dague, O. Jehl, P. Devès, P. Luciani and P. Taillibert, When oscillators stop oscillating,Proc. IJCAI 1991, pp. 1109–1115.
R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24 (1984) 347–410.
J. de Kleer, An assumption-based TMS, Artificial Intelligence 28 (1986), 127–162.
J. de Kleer and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97–130.
J. de Kleer, A general labeling algorithm for assumption-based truth maintenance,Proc. AAAI 1988, pp. 188–192.
J. de Kleer and B. C. Williams, Diagnosis with behavioral modes,Proc. IJCAI 1989, pp. 1324–1330.
J. de Kleer, A. K. Mackworth and R. Reiter, Characterizing diagnoses,Proc. AAAI 1990, pp. 324–330.
J. de Kleer, Focusing on probable diagnoses,Proc. AAAI 1991, pp. 842–848.
O. Dressler and P. Struss, Back to defaults: Characterizing and computing diagnoses as coherent assumption sets,Proc. ECAI 1992, pp. 719–723.
G. Friedrich and F. Lackinger, Diagnosing temporal misbehavior,Proc. IJCAI 1991, pp. 1116–1122.
T. Guckenbiehl, The extended episode propagator — Version 2, Fraunhofer-Institute IITB Internal Report (1992).
T. Guckenbiehl and G. Schäfer-Richter, SIDIA: Extending prediction based diagnosis to dynamic models, Lecture Notes in Artificial Intelligence 462 (1990) 53–68.
W. C. Hamscher, Modeling digital circuits for troubleshooting, Artificial Intelligence 51 (1991) 223–272.
W. C. Hamscher, L. Console and J. de Kleer,Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992).
S. Iwanowski, A compact algorithm for model-based diagnosis, Daimler-Benz Technischer Bericht F2/S-92-002.
C. Joubel and O. Raiman, How time changes assumptions,Proc. ECAI 1990, pp. 378–383.
I. Mozetic, A polynomial time algorithm for model-based diagnosis,Proc. ECAI 1992, pp. 729–733.
O. Raiman, J. de Kleer, V. Saraswat and M. Shirley, Characterizing non-intermittent faults,Proc. AAAI 1991, pp. 849–854.
R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57–95.
P. Struss and O. Dressler, “Physical negation” — Integrating fault models into the GDE,Proc. IJCAI 1989, pp. 1318–1323.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Iwanowski, S. An algorithm for model-based diagnosis that considers time. Ann Math Artif Intell 11, 415–437 (1994). https://doi.org/10.1007/BF01530754
Issue Date:
DOI: https://doi.org/10.1007/BF01530754