An Approach to Diagnosing a System with Structure Information
Luan Shang · Chinese Journal of Computers · 2005
Model-based diagnosis is one of important methods for diagnosing a system. A important problem for this method is to generate the diagnoses. This paper presents an algorithm for computing minimal conflicts by using structure information. The correctness of the algorithm is shown, and the time complexity of the algorithm is also analyzed. Furthermore, a method for generating diagnoses from minimal conflicts is introduced. This paper also introduce an algorithm for computing diagnoses by using structure information. The correctness of the algorithm is also shown. At last, the proposed approachs are compared with related works. The algorithms presented in this paper terminate in polynomial time for some special systems.