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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
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.
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.
J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97–130.
J. de Kleer and B.C. Williams, Diagnosis with behavioral modes, in:Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989.
J. de Kleer, A. Mackworth and R. Reiter, Characterizing diagnoses, in:Proc. AAAI 90.
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.
G. Guida and A. Stefanini (eds.),Industrial Applications of Knowledge-based Diagnosis (Elsevier, Amsterdam, 1992).
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).
O. Raiman,Diagnosis as a Trial (IBM Scientific Center, Paris, 1989).
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.
R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57–96.
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.
P. Struss, Diagnosis as a process,Int. Workshop on Model-based Diagnosis, Paris, 1989. Revised version in ref. [8].
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.
P. Struss, What's in SD? Towards a theory of modeling for diagnosis, in ref. [8].
P. Struss, An amalgamation of model-based and heuristic reasoning for diagnosis, in ref. [7].
P. Struss, Temporal abstraction in qualitative physics, in: D. Weld (ed.),Working Papers of the 7th Int. Workshop on Qualitative Reasoning, Seattle, 1993.
P. Struss, Testing physical systems, in:Proc. AAAI 94.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF01530743