Proceedings

The Route to Success - A Performance Comparison of Diagnosis Algorithms

Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa

Download BibTeX Cite

Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Pages 1039-1044.

Abstract

Diagnosis, i.e., the identification of root causes for failing or unexpected system behavior, is an important task in practice. Within the last three decades, many different AI-based solutions for solving the diagnosis problem have been presented and have been gaining in attraction. This leaves us with the question of which algorithm to prefer in a certain situation. In this paper we contribute to answering this question. In particular, we compare two classes of diagnosis algorithms. One class exploits conflicts in their search, i.e., sets of system components whose correct behavior contradicts given observations. The other class ignores conflicts and derives diagnoses from observations and the underlying model directly. In our study we use different reasoning engines ranging from an optimized Horn-clause theorem prover to general SAT and constraint solvers. Thus we also address the question whether publicly available general reasoning engines can be used for an efficient diagnosis.

Iulia Nica, Ingo Pill, Thomas Quaritsch, and Franz Wotawa. 2013. The Route to Success - A Performance Comparison of Diagnosis Algorithms. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, IJCAI-13. IJCAI, 1039–1044. https://ijcai.org/proceedings/2013/158
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards