Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Readings in model-based diagnosis
Readings in model-based diagnosis
Back to defaults: characterizing and computing diagnoses as coherent assumption sets
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Model-Based Diagnosis and Conditional Logic
Applied Intelligence
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A survey of intelligent debugging
AI Communications
Refining spectrum-based fault localization rankings
Proceedings of the 2009 ACM symposium on Applied Computing
Abstract interpretation of programs for model-based debugging
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Deployment of an ontological framework of functional design knowledge
Advanced Engineering Informatics
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Diagnosing dependent failures in the hardware and software of mobile autonomous robots
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
Dynamic domain abstraction through meta-diagnosis
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Hi-index | 0.00 |
A model based diagnosis procedure traces connections between components only where these are provided explicitly in the system description. Consequently structure faults fall between the meshes. This problem has been known since research started in this field ([Davis 84]), but no general solution has been presented so far. We present a procedure to diagnose structure faults, based on a scheme to detect hidden interactions guided by the observation that structure faults lead to discrepancies in apparently unrelated areas and which in contrast to [Preist. Welham 90] modifies the system description dynamically. Like Davis' approach the one presented in the paper is based on the principle that an interaction can occur only where components are adjacent in some way ([Davis 84]). Unlike Davis approach we introduce an explicit representation scheme for hidden interactions. A hidden interaction model links a required contextual, behaviour independent constellation to the impact of the interaction on the overall system behaviour. In order to control hidden interaction hypotheses we exploit the structure of diagnoses based on behavioural mode assignments.