This paper extends model-based diagnosis (MBD) (de Kleer and Williams, 1987; Reiter, 1987) to systems with hidden interaction faults. An interaction fault is present if an interaction among a set of components leads to an observable failure, even though each individual component individually meets the specifications. A naive approach to address interaction faults is to simply account for all possible interaction faults in the system model. However, the naive approach presumes that all possible faults, both component and interaction faults, are known and addressed in the model. This assumption is violated by most real world systems, such as shorts in circuits (Davis, 1984) or unmodeled connections (de Kleer, 2007). That leads to incomplete system models, hence possibly hidden interaction faults. The problem of hidden interactions has been known for a long time (Davis, 1984), but until now no general solution has been proposed. Instead of pushing for complete models (Preist and Welham, 1990) or relying on additional structural information (Davis, 1984; Bottcher, 1995; de Kleer, 2007) we approach the challenge differently. We allow system models to be incomplete and introduce a general, domain independent extension to model-based diagnosis to account for resulting hidden interaction faults. This extends model-based diagnosis to systems with incomplete models, in particular to models with incomplete structural information. In the paper, we demonstrate the proposed diagnosis framework on a logic circuit with a hidden interaction fault.
How to Cite
Model-based diagnosis, interaction faults, hidden interactions, reasoning about structure
(Davis, 1984) Randall Davis. Diagnostic reasoning based on structure and behavior. Artificial Intelligence, 24(1):347–410, 1984.
(de Kleer and Williams, 1987) J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(32):97–130, 1987.
(de Kleer, 2007) J. de Kleer. Modeling when connections are the problem. In Proc 20th IJCAI, pages 311–317, Hyderabad, India, 2007.
(Kuhn et al., 2008) Lukas Kuhn, Bob Price, Johan de Kleer, Minh Do, and Rong Zhou. Pervasive diagnosis: Integration of active diagnosis into production plans. In proceedings of AAAI, Chicago, Illinois, USA, 2008.
(Muscettola et al., 1998) Nicola Muscettola, P. Pan- durang Nayak, Barney Pell, and Brian C. Williams. Remote agent: To boldly go where no AI system has gone before. Artificial Intelligence, 103(1-2):5– 47, 1998.
(Poole, 1991) D. Poole. Representing diagnostic knowledge for probabilistic horn abduction. In International Joint Conference on Artificial Intelligence (IJCAI91), pages 1129–1135, 1991.
(Preist and Welham, 1990) C. Preist and B. Welham. Modelling bridge faults for diagnosis in electronic circuits. In Proceedings of the First International Workshop on Principles of Diagnosis, Stanford, 1990.
(Rauch, 1995) Herbert E. Rauch. Autonomous control reconfiguration. IEEE Control Systems Magazine, 15(6):37–48, 1995.
(Reiter, 1987) R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57–96, 1987.
(Reiter, 1992) Raymond Reiter. A theory of diagnosis from first principles. In Readings in Model-Based Diagnosis, pages 29–48, 1992.
(Young et al., 2000) Thomas Young, James Arnold, Thomas Brackey, Michael Carr, Douglas Dwoyer, Ronald Fogleman, Ralph Jacobson, Herbert Kottler, Peter Lyman, and Joanne Maguire. Mars program independent assessment team report. Technical report, Report to the NASA Administrator and to Congress, 2000.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.