Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults

Lukas Kuhn and Johan de Kleer
Submission Type: 
Full Paper
phmc_10_125.pdf168.21 KBSeptember 19, 2010 - 5:14pm

This paper extends model-based diagnosis (MBD) \cite{deKleer87,Reiter87} 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 \cite{Davis84a} or unmodeled connections \cite{dekleer2007a}. That leads to incomplete system models, hence possibly hidden interaction faults. The problem of hidden interactions has been known for a long time \cite{Davis84a}, but until now no general solution has been proposed. Instead of pushing for complete models \cite{preist90} or relying on additional structural information \cite{Davis84a,Boettcher95nofaults,dekleer2007a} 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.

Publication Control Number: 
Submission Keywords: 
Model-based diagnosis
interaction faults
hidden interactions
reasoning about structure
Submitted by: 

follow us

PHM Society on Facebook Follow PHM Society on Twitter PHM Society on LinkedIn PHM Society RSS News Feed