Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A formal model of diagnostic inference. I. Problem formulation and decomposition
Information Sciences: an International Journal - Special issue on expert systems
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
A polynomial-time algorithm for model-based diagnosis
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Characterizing diagnoses and systems
Artificial Intelligence
Artificial intelligence: a new synthesis
Artificial intelligence: a new synthesis
Model-based diagnosis of hardware designs
Artificial Intelligence
Diagnosing tree-structured systems
Artificial Intelligence
Generating Diagnoses from Conflict Sets
Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference
The Complexity of Restricted Consequence Finding and Abduction
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Model-based diagnosis using structured system descriptions
Journal of Artificial Intelligence Research
Model-based diagnosis using causal networks
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Complexity results for structure-based causality
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Diagnosing tree-decomposable circuits
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
The 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 using structured description system is introduced, then the diagnoses can be generated from all the minimal conflicts. Furthermore, an algorithm for computing diagnoses straightforwardly from the structured description is presented. The correctness of the algorithm is proved, and the time complexity of the algorithm is also analyzed. At last, the algorithms are compared with related works. The algorithms will terminate in polynomial time for some special system.