A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Model-based diagnosis in SOPHIE III
Readings in model-based diagnosis
A general diagnosis method for ontologies
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
| Hi-index | 0.00 |
Model-based diagnosis algorithms face a combinatorial explosion. To combat this explosion, this paper presents a fundamentally new architecture, IMPLODE, which constructs an abstract representation of the environment, the conflict, and the diagnosis spaces using a sensitivity analysis of assumptions. Experimental results show that the most dramatic improvement is obtained for circuits which are the most difficult to diagnose using previous algorithms. Moreover, typical sources of combinatorial explosion, such as reconvergent fanout, are a source of combinatorial implosion for IMPLODE.