Boolean Feature Discovery in Empirical Learning
Machine Learning
Hierarchical model-based diagnosis
International Journal of Man-Machine Studies
Diagnosis as a Variable Assignment Problem: A Case Study in a Space Robot Fault Diagnosis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research
Hierarchical diagnosis guided by observations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Parametric abstraction of behavioral modes for model-based diagnosis
AI Communications
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
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
Maximal-confirmation diagnoses
Knowledge-Based Systems
Sequential diagnosis by abstraction
Journal of Artificial Intelligence Research
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
| Hi-index | 0.00 |
The paper addresses the problem of automatic abstraction of component variables in the context of Model Based Diagnosis, in order to produce models capable of deriving fewer and more general diagnoses when the current observability of the system is reduced. The notion of indiscriminability among faults of a set of components is introduced and constitutes the basis for a formal definition of admissible abstractions which preserve all the distinctions that are relevant for diagnosis given the current observability of the system. The automatic synthesis of abstract models further restricts abstractions such that the behavior of abstract components is expressed in terms of a simple and intuitive combination of the behavior of their subcomponents. As a validation of our proposal, we present experimental results which show the reduction in the number of diagnoses returned by a diagnostic agent for a space robotic arm.