Abstract
Research on model-based diagnosis of technical systems has grown enormously in the last few years, producing new basic tools, new algorithms and also some applications. However, the majority of research has dealt with systems described by variables ranging in discrete domains (e.g., digital circuits), and only few attempts have been made at applying such techniques to continuous domains. Continuous systems are characterized by additional problems, such as the unavoidable sensor errors and the need for using more complex models which may consist of simultaneous non-linear equations. The distinctive feature of the approach we present in this paper is the integration of techniques well known in the field of numerical analysis and statistics (e.g., the solution of non-linear systems and the error propagation) with a dependency-recording technique based on ordering the equations and the variables of the model.
Preview
Unable to display preview. Download preview PDF.
References
de Kleer, J. and Sussman, G.J. Propagation of constraints applied to circuit synthesis. In Circuit theory and applications, 8, pages 127–144, 1980.
de Kleer, J. An assumption-based truth maintenance system. In Artificial Intelligence, 28, pages 127–162, 1986.
de Kleer, J. and Williams, B.C. Diagnosing multiple faults. In Artificial Intelligence, 32, pages 97–130, 1987.
de Kleer, J. and Williams, B.C. Diagnosis with behavioral modes. In Proc. of the 11th International Conference in Artificial Intelligence, pages 1324–1330, 1989.
Glass, B.J. and Wong, C.M. A knowledge-based approach to identification and adaptation in dynamic systems control. Proc. of the 27th IEEE Conference on decision and Control, Austin, TX., pages 881–886, 1988.
Hamscher, W.C. Model-based troubleshooting of digital systems. Technical Report 1074, MIT Artificial Intelligence Lab., August 1988.
Iwasaki, Y. and Simon, H.A. Causality in device behaviour. Artificial Intelligence, 29, pages 3–32, 1986.
Struss, P. and Dressler, O. “Physical negation” — Integrating fault models into the General Diagnostic Engine. In Proc. of the 11th International Conference in Artificial Intelligence, pages 1318–1323, 1989.
Sussman, G.J. and Steele, G.L. CONSTRAINTS — A language for expressing almost-hierarchical descriptions. Artificial Intelligence, 14(1), 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cermignani, S., Tornielli, G. (1991). Integrating statistics, numerical analysis and dependency-recording 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_231
Download citation
DOI: https://doi.org/10.1007/3-540-54712-6_231
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