AB  - 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. © 2003 SRCE University Computing Centre.
AU  - Cheng, X
AU  - Ouyang, D
AU  - Zhang, C
DA  - 2003/01/01
DO  - 10.1109/ITI.2003.1225413
EP  - 632
JO  - Proceedings of the International Conference on Information Technology Interfaces, ITI
PY  - 2003/01/01
SP  - 627
TI  - A general model-based diagnosis
Y1  - 2003/01/01
Y2  - 2026/06/11
ER  -