Abstract
In this paper, a domain-independent conflict recognition engine for model-based diagnosis is presented. The original feature of this engine is that it deals with numerical values that change with time and manages inaccuracies in these values. This is achieved by working on data that are arrays of numerical intervals. Imprecision in models is also processed by means of numerical intervals.
An ATMS extension which encompasses the management of intervals is described. A general coupling of this ATMS to any given constraint propagation procedure by interval refinement is defined in such a way as to focus on the detection of all minimal nogoods.
This engine is thus well adapted for diagnosing continuous time-varying physical systems; a provisional implementation of it has been successfully applied to the diagnosis of analog electronic circuits.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J. de Kleer and B.C. Williams, “Diagnosing Multiple Faults,” Artificial Intelligence 32, 1987.
P. Dague, P. Devès, and O. Raiman, “Troubleshooting: when Modeling is the Trouble,” Proceedings of AAAI Conference, Seattle, July 1987.
J. de Kleer and B.C. Williams, “Diagnosis with Behavioral Modes,” Proceedings of the Eleventh IJCAI, Detroit, August 1989.
P. Struss and O. Dressler, “Physical Negation — Integrating Fault Models into the General Diagnostic Engine,” Proceedings of the Eleventh IJCAI, Detroit, August 1989.
W. Hamscher, “XDE: Diagnosing Devices with Hierarchic Structure and Known Component Failure Modes,” Proceedings of the Sixth IEEE Conference on AI Applications, March 1990.
E. Davis, “Constraint Propagation with Interval Labels,” Artificial Intelligence 32, 1987.
J.S. Brown, R.R. Burton, and J. de Kleer, “Pedagogical, Natural Language and Knowledge Engineering Techniques in SOPHIE I, II and III,” Intelligent Tutoring Systems, Academic Press, 1982.
R. Moore, Interval Analysis Practice Hall, 1966.
J. de Kleer, “An Assumption-based TMS,” Artificial Intelligence 28, 1986.
C. Joubel and O. Raiman, “How Time Changes Assumptions,” Proceedings of the Ninth ECAI, Stockholm, August 1990.
K. Forbus and J. de Kleer, “Focusing the ATMS,” Proceedings of AAAI Conference, Saint Paul, August 1988.
O. Dressler and A. Farquhar, “Putting the Problem Solver Back in the Driver's Scat: Contextual Control of the ATMS,” Proceedings of AAAI90 Model-Based Reasoning Workshop, Boston, August 1990.
B. C. Williams, “Doing Time: Putting Qualitative Reasoning on Firmer Ground,” Proceedings of AAAI Conference, Philadelphia, August 1986.
W. Hamscher, “Temporally Coarse Representation of Behavior for Model-based Troubleshooting of Digital Circuits,” Proceedings of the Eleventh IJCAI, Detroit, August 1989.
IBM publication No GH21-1000-0, IBM Prolog for 370, General Information, 1989.
P. Dague, P. Devès, P. Luciani, and P. Taillibert, “Analog Systems Diagnosis,” Proceedings of the Ninth ECAI, Stockholm, August 1990.
H. Beringer and B. de Backer, “Piecewise Linear Constraints under Assumptions. A new Approach to Model-Based Diagnosis,” Proceedings of AAAI90 Constraint Directed Reasoning Workshop, Boston, August 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dague, P., Jehl, O., Taillibert, P. (1990). An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems. In: Gottlob, G., Nejdl, W. (eds) Expert Systems in Engineering Principles and Applications. ESE 1990. Lecture Notes in Computer Science, vol 462. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53104-1_28
Download citation
DOI: https://doi.org/10.1007/3-540-53104-1_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53104-3
Online ISBN: 978-3-540-46711-3
eBook Packages: Springer Book Archive