Skip to main content
SpringerLink
Log in

Multiple models of physical systems — Modeling intermittent faults, inaccuracy, and tests in diagnosis

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

Diagnosis as a real human activity of problem solving, involves many actions and reasoning steps that seem to conflict with the use of exact, formal, and complete models of physical systems in model-based diagnosis. This paper focuses on demonstrating that some features occurring in practical diagnostic tasks, namely coping withintermittent faults, inaccurate models and observations, and testing, can be incorporated in consistency-based diagnostic systems. The basis is established by an extension to consistency-based diagnosis that enables the use of multiple models and hypothetical reasoning. It provides a sound theoretical foundation for building systems that can reflect simplifications and plausible inferences in multiple models, rather than using implicit, hard-wired heuristics, and relate the various models by logical links which clearly determine the underlying assumptions and the impact of a model shift on the diagnostic result.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A. Beschta and P. Struss, Discrimination between diagnoses — Controlling “physical negation” and beyond, in: E. Scarl (ed.),Working Notes of the 3rd Int. Workshop on Principles of Diagnosis, Seattle, 1992.

  2. C. Boettcher and O. Dressler, Diagnosis process dynamics: Putting diagnosis on the right track, in: E. Scarl (ed.),Working Notes of the 3rd Int. Workshop on Principles of Diagnosis, Seattle, 1992.

  3. J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97–130.

    Google Scholar 

  4. J. de Kleer and B.C. Williams, Diagnosis with behavioral modes, in:Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989.

  5. J. de Kleer, A. Mackworth and R. Reiter, Characterizing diagnoses, in:Proc. AAAI 90.

  6. O. Dressler and P. Struss, Back to defaults: Characterizing and computing diagnoses as coherent assumption sets,Proc. ECAI-92, Vienna 1992. Revised version in: E. Scarl (ed.),Working Notes of the 3rd Int. Workshop on Principles of Diagnosis, Seattle, 1992.

  7. G. Guida and A. Stefanini (eds.),Industrial Applications of Knowledge-based Diagnosis (Elsevier, Amsterdam, 1992).

    Google Scholar 

  8. W. Hamscher, L. Console and J. de Kleer (eds.),Readings in Model-based Diagnosis: Diagnosis of Designed Artifacts Based on Descriptions of their Structure and Function (Morgan Kaufmann, San Mateo, 1992).

    Google Scholar 

  9. O. Raiman,Diagnosis as a Trial (IBM Scientific Center, Paris, 1989).

    Google Scholar 

  10. O. Raiman, J. de Kleer and V. Saraswat, Exploiting non-intermittency, in:Working Notes of the 1st Int. Workshop on Principles of Diagnosis, Stanford, 1990.

  11. R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57–96.

    Google Scholar 

  12. P. Struss, Extensions to ATMS-based diagnosis, in: J.S. Gero (ed.),Artificial Intelligence in Engineering: Diagnosis and Learning (Elsevier and Computational Mechanics Publ., Amsterdam and Boston, August 1988) pp. 3–27.

    Google Scholar 

  13. P. Struss, Diagnosis as a process,Int. Workshop on Model-based Diagnosis, Paris, 1989. Revised version in ref. [8].

  14. P. Struss, Problems of interval-based qualitative reasoning — Revised version, in: D. Weld and J. de Kleer (eds.),Readings in Qualitative Reasoning about Physical Systems, San Mateo, 1989.

  15. P. Struss, What's in SD? Towards a theory of modeling for diagnosis, in ref. [8].

  16. P. Struss, An amalgamation of model-based and heuristic reasoning for diagnosis, in ref. [7].

  17. P. Struss, Temporal abstraction in qualitative physics, in: D. Weld (ed.),Working Papers of the 7th Int. Workshop on Qualitative Reasoning, Seattle, 1993.

  18. P. Struss, Testing physical systems, in:Proc. AAAI 94.

  19. P. Struss and O. Dressler, “Physical negation” — Integrating fault models into the general diagnostic engine, in:Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989.

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Technical University of Munich, Orleansstr. 34, D-81667, Munich, Germany

    Peter Struss

Authors
  1. Peter Struss
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Struss, P. Multiple models of physical systems — Modeling intermittent faults, inaccuracy, and tests in diagnosis. Ann Math Artif Intell 11, 203–239 (1994). https://doi.org/10.1007/BF01530743

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01530743

Keywords

Search

Navigation