Advertisement

An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems

  • Philippe Dague
  • Olivier Jehl
  • Patrick Taillibert
Model-Based Diagnosis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 462)

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.

Keywords

Intersection Rule Interval Propagation Total Saturation Sampling Increment Numerical Interval 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    J. de Kleer and B.C. Williams, “Diagnosing Multiple Faults,” Artificial Intelligence 32, 1987.Google Scholar
  2. [2]
    P. Dague, P. Devès, and O. Raiman, “Troubleshooting: when Modeling is the Trouble,” Proceedings of AAAI Conference, Seattle, July 1987.Google Scholar
  3. [3]
    J. de Kleer and B.C. Williams, “Diagnosis with Behavioral Modes,” Proceedings of the Eleventh IJCAI, Detroit, August 1989.Google Scholar
  4. [4]
    P. Struss and O. Dressler, “Physical Negation — Integrating Fault Models into the General Diagnostic Engine,” Proceedings of the Eleventh IJCAI, Detroit, August 1989.Google Scholar
  5. [5]
    W. Hamscher, “XDE: Diagnosing Devices with Hierarchic Structure and Known Component Failure Modes,” Proceedings of the Sixth IEEE Conference on AI Applications, March 1990.Google Scholar
  6. [6]
    E. Davis, “Constraint Propagation with Interval Labels,” Artificial Intelligence 32, 1987.Google Scholar
  7. [7]
    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.Google Scholar
  8. [8]
    R. Moore, Interval Analysis Practice Hall, 1966.Google Scholar
  9. [9]
    J. de Kleer, “An Assumption-based TMS,” Artificial Intelligence 28, 1986.Google Scholar
  10. [10]
    C. Joubel and O. Raiman, “How Time Changes Assumptions,” Proceedings of the Ninth ECAI, Stockholm, August 1990.Google Scholar
  11. [11]
    K. Forbus and J. de Kleer, “Focusing the ATMS,” Proceedings of AAAI Conference, Saint Paul, August 1988.Google Scholar
  12. [12]
    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.Google Scholar
  13. [13]
    B. C. Williams, “Doing Time: Putting Qualitative Reasoning on Firmer Ground,” Proceedings of AAAI Conference, Philadelphia, August 1986.Google Scholar
  14. [14]
    W. Hamscher, “Temporally Coarse Representation of Behavior for Model-based Troubleshooting of Digital Circuits,” Proceedings of the Eleventh IJCAI, Detroit, August 1989.Google Scholar
  15. [15]
    IBM publication No GH21-1000-0, IBM Prolog for 370, General Information, 1989.Google Scholar
  16. [16]
    P. Dague, P. Devès, P. Luciani, and P. Taillibert, “Analog Systems Diagnosis,” Proceedings of the Ninth ECAI, Stockholm, August 1990.Google Scholar
  17. [17]
    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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Philippe Dague
    • 1
  • Olivier Jehl
    • 1
  • Patrick Taillibert
    • 2
  1. 1.Centre Scientifique IBMParis
  2. 2.Dassault ElectroniqueSt Cloud

Personalised recommendations