an algorithm for diagnosing system with structured description

CERCA, IBM Canada, IBM, United States, Heuchera Technol, Pallas, Queens Univ Belfast, SHARCNET, Soc Ind & Appl Math, Springer VerlagThe model-based approach to diagnosis is one of the important approach to the system diagnosis, and the main problem for the approach is that how to generate the diagnoses. In this paper, an algorithm for computing all minimal conflicts usin