Hierarchical model-based diagnosis
International Journal of Man-Machine Studies
Artificial Intelligence
Speeding up problem solving by abstraction: a graph oriented approach
Artificial Intelligence - Special volume on empirical methods
Hierarchical model-based diagnosis based on structural abstraction
Artificial Intelligence
A semantic theory of abstractions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Preserving consistency across abstraction mappings
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Automatic abstraction in component-based diagnosis driven by system observability
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Abstraction and complexity measures
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Formalizing the Modeling Process of Physical Systems in MBD
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
| Hi-index | 0.00 |
Several theories have been proposed to capture the essence of abstraction. Among these, the KRA model offers a framework where a set of generic abstraction operators allows abstraction to be automated. In this paper we show how to describe component-based abstraction for the Model-Based Diagnosis task within the KRA framework, and we discuss the benefits of such a formalization. The clear and explicit partition of the system model into different levels required by KRA (going from the perception level up to the theory level) opens the way to explore richer and better founded kinds of abstraction to apply to the MBD task. Another noticeable advantage is that, by suitably personalizing the generic abstraction operators of KRA, the whole abstraction process, from the definition of abstract (macro)components to the computation of their behaviors starting from those of the ground components, can be performed automatically in such a way that important relationships between ground and abstract diagnoses are guaranteed.