Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Modeling digital circuits for troubleshooting
Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Model-based reasoning: troubleshooting
Readings in model-based diagnosis
A theory of diagnosis from first principles
Readings in model-based diagnosis
A spectrum of logical definitions of model-based diagnosis
Readings in model-based diagnosis
Hierarchical model-based diagnosis
Readings in model-based diagnosis
What's in SD?: Towards a theory of modeling for diagnosis
Readings in model-based diagnosis
Artificial Intelligence
Characterizing diagnoses and systems
Artificial Intelligence
Industrial applications of model-based reasoning
AI Communications
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Model-based diagnosability and sensor placement application to a frame 6 gas turbine subsystem
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Hierarchical diagnosis guided by observations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Multiple fault diagnosis from FMEA
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
Solving strong-fault diagnostic models by model relaxation
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Test Theory of the Model-Based Diagnosis
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Diagnosing a System with Value-Based Reasoning
ICIC '07 Proceedings of the 3rd International Conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
Formalizing the Modeling Process of Physical Systems in MBD
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
A Method for Sensor Placement Taking into Account Diagnosability Criteria
International Journal of Applied Mathematics and Computer Science - Issues in Fault Diagnosis and Fault Tolerant Control
Dynamic domain abstraction through meta-diagnosis
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Formalizing the abstraction process in model-based diagnosis
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
An overview of AI research in Italy
Artificial intelligence
Dynamic theorem proving algorithm for consistency-based diagnosis
Expert Systems with Applications: An International Journal
Sequential diagnosis by abstraction
Journal of Artificial Intelligence Research
An Agent-Based Architecture for Model-Based Diagnosis Using Observation Cost
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
A new efficient and flexible algorithm for the design of testable subsystems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Automatic abstraction of time-varying system models for model based diagnosis
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Fault diagnosis of electric railway traction substation with model-based relation guiding algorithm
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
Abstraction has been advocated as one of the main remedies for the computational complexity of model-based diagnosis. However, after the seminal work published in the early nineties, little research has been devoted to this topic. In this paper, we consider one of the types of abstraction commonly used in diagnosis, i.e., structural abstraction, investigating it both from a theoretical and practical point of view. First, we provide a new formalization for structural abstraction that generalizes and extends previous ones. Then, we present two new different techniques for model-based diagnosis that automatically derive easier-to-diagnose versions of a (hierarchical) diagnosis problem on the basis of the available observations. The two proposed techniques are formulated as extensions of the well-known Mozetic's algorithm [I. Mozetic, Hierarchical diagnosis, in: W.H.L. Console, J. de Kleer (Eds.), Readings in Model-Based Diagnosis, Morgan Kaufmann, San Mateo, CA, 1992, pp. 354-372], and experimentally contrasted with it to evaluate the obtained efficiency gains.