Hierarchical model-based diagnosis based on structural abstraction

al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion 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. strucstraction, 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 [1], and experimentall...

• Type: Journal
• Year: 2004
• Where: AI
• Authors: Luca Chittaro, Roberto Ranon
• Keywords: Abstraction Luca Chittaro, AI 2004, Artificial Intelligence, Model-based Diagnosis, Roberto Ranon Department