Artificial Intelligence
MOMO—model-based diagnosis for everybody
Proceedings of the sixth conference on Artificial intelligence applications
Some results concerning the computational complexity of abduction
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Problem Solver Control Over the ATMS
GWAI '89 Proceedings of the 13th German Workshop on 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
Approximate model-based diagnosis using greedy stochastic search
Journal of Artificial Intelligence Research
Dynamic theorem proving algorithm for consistency-based diagnosis
Expert Systems with Applications: An International Journal
Maximal-confirmation diagnoses
Knowledge-Based Systems
Multiple representations and multi-modal reasoning in medical diagnostic systems
Artificial Intelligence in Medicine
Personalized diagnoses for inconsistent user requirements
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
On classification and modeling issues in distributed model-based diagnosis
AI Communications - Intelligent Engineering Techniques for Knowledge Bases
Hi-index | 0.00 |
In this paper we describe the concept of physical impossibility as an alternative to the specification of fault models. These axioms can be used to exclude impossible diagnoses similar to fault models. We show for Horn clause theories while the complexity of finding a first diagnosis is worst-case exponential for fault models, it is polynomial for physical impossibility axioms. Even for the case of finding all diagnoses using physical impossibility axioms instead of fault models is more efficient, although both are exponential in the worst case. These results are used for a polynomial diagnosis and measurement strategy which finds a final sufficient diagnosis.