Title :
A general model-based diagnosis
Author :
Cheng, Xiaochun ; Ouyang, Dantong ; Zhang, Chengqi
Author_Institution :
Dept. of Comput. Sci., Reading Univ., UK
Abstract :
A general method for model-based diagnosis is developed, which can handle multiple faulty modes, and will enable users to analyze the completeness of the system model, and to choose the observation subset appropriately, in order to have small diagnostic space with the right solutions in. The existent consistency-based diagnosis and abductive diagnosis are special cases of this method. The relationship between the diagnostic procedure and corresponding prime implication is analyzed for implementation.
Keywords :
diagnostic expert systems; diagnostic reasoning; fault diagnosis; model-based reasoning; truth maintenance; abductive diagnosis; abductive reasoning; consistency-based diagnosis; faulty modes handling; model-based diagnosis; prime implication; Circuit faults; Computer aided manufacturing; Computer science; Design automation; Diagnostic expert systems; Fault diagnosis; Humans; Information technology; Kernel; Virtual manufacturing;
Conference_Titel :
Information Technology Interfaces, 2003. ITI 2003. Proceedings of the 25th International Conference on
Print_ISBN :
953-96769-6-7
DOI :
10.1109/ITI.2003.1225413
