The use of design descriptions in automated diagnosis
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Artificial Intelligence
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Model-based reasoning: troubleshooting
Exploring artificial intelligence
Using crude probability estimates to guide diagnosis
Artificial Intelligence
"Physical negation": integrating fault models into the general diagnostic engine
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Diagnosis with behavioral modes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
KNOWLEDGE-BASED VALIDATION FOR HYDROLOGICAL INFORMATION SYSTEMS
Applied Artificial Intelligence
Incremental state based diagnosis
Advanced Engineering Informatics
Maximal-confirmation diagnoses
Knowledge-Based Systems
Approximations for explanations of inconsistency in partially known multi-context systems
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
An Agent-Based Architecture for Model-Based Diagnosis Using Observation Cost
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Efficient enumeration of instantiations in Bayesian networks
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Incremental probabilistic inference
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
The use of conflicts in searching Bayesian networks
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
The probability of a possibility: adding uncertainty to default rules
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Efficient query processing with compiled knowledge bases
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Approximate model-based diagnosis using preference-based compilation
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
| Hi-index | 0.00 |
Model-based diagnosis is based on first-principles reasoning using the behavioral specifications of the primitive components of a device. Unless the computational architecture of the model-based reasoning engine is carefully designed, combinatorial explosion renders the approach useless for devices consisting of more than a handful of components. This paper analyzes the diverse origins of this combinatorial explosion a,nd outlines strategies to cope with each one. The resulting computational architecture for model-based diagnosis provides orders of magnitude performance improvement on large examples, making model-based approach practical for devices consisting of on the order of 3000 components.