The route to success - A performance comparison of diagnosis algorithms

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2013, Pages 1039-1045

  Nica, Iulia ^a   Pill, Ingo ^a   Quaritsch, Thomas ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SOLVERS; DIAGNOSIS ALGORITHMS; DIAGNOSIS PROBLEM; PERFORMANCE COMPARISON; REASONING ENGINE; SYSTEM BEHAVIORS; SYSTEM COMPONENTS; THEOREM PROVERS;

ARTIFICIAL INTELLIGENCE; ENGINES; THEOREM PROVING;

LEARNING ALGORITHMS;

EID: 84896062626     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, and Enric Rodríguez-Carbonell. Cardinality networks and their applications. Theory and Applications of Satisfiability Testing, 5584:167-180, 2009.
2. Kenneth Batcher. Sorting networks and their applications. In April 30-May 2, 1968, spring joint computer conference, pages 307-314, 1968.
3. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130, 1987.
4. Johan de Kleer and Brian C. Williams. Diagnosis with behavioral modes. In International Joint Conference on Artificial Intelligence, pages 1324-1330, 1989.
5. Johan de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127-162, 1986.
6. Johan de Kleer. Hitting set al.gorithms for model-based diagnosis. In International Workshop on the Principles of Diagnosis, pages 100-105, 2011.
7. Niklas Eén and Niklas Sörensson. Translating pseudo-Boolean constraints into SAT. Journal on Satisfiability, Boolean Modeling and Computation, 2(3-4):1-25, 2006.
8. Yousri El Fattah and Rina Dechter. Diagnosing tree-decomposable circuits. In International Joint Conference on Artificial Intelligence, pages 1742-1748, 1995.
9. Alexander Feldman, Gregory Provan, Johan de Kleer, Stephan Robert, and Arjan van Gemund. Solving model-based diagnosis problems with Max-SAT solvers and vice versa. In International Workshop on Principles of Diagnosis, 2010.
10. Peter Fröhlich andWolfgang Nejdl. A static model-based engine for model-based reasoning. In International Joint Conference on Artificial Intelligence, 1997.
11. Russell Greiner, Barbara A. Smith, and Ralph W. Wilkerson. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence, 41(1):79-88, 1989.
12. Ulrich Junker. QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In National Conference on Artificial Intelligence, pages 167-172, 2004.
13. Amir Metodi, Roni Stern, Meir Kalech, and Michael Codish. Compiling model-based diagnosis to Boolean satisfaction. In AAAI Conference on Artificial Intelligence, 2012.
14. Michel Minoux. LTUR: A simplified lineartime unit resolution algorithm for Horn formulae and computer implementation. Information Processing Letters, 29:1-12, 1988.
15. Igor Mozetic. A polynomial-time algorithm for model-based diagnosis. In European Conference on Artificial Intelligence, pages 729-733, 1992.
16. P. Pandurang Nayak and Brian C. Williams. Fast context switching in real-time propositional reasoning. In National Conference on Artificial Intelligence, pages 50-56, 1997.
17. Iulia Nica and Franz Wotawa. ConDiag-computing minimal diagnoses using a constraint solver. In International Workshop on Principles of Diagnosis, pages 185-191, 2012.
18. Bernhard Peischl and Franz Wotawa. Computing diagnoses efficiently: A fast theorem prover for propositional Horn clause theories. In International Workshop on Principles of Diagnosis, pages 175-180, 2003.
19. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
20. Martin Sachenbacher and Brian C. Williams. Diagnosis as semiring-based constraint optimization. In European Conference on Artificial Intelligence, pages 873-877, 2004.
21. Monika Schubert, Alexander Felfernig, and Monika Mandl. FastXplain: Conflict detection for constraint-based recommendation problems, pages 621-630, 2010.
22. Sajjad Siddiqi. Computing minimumcardinality diagnoses by model relaxation. In International Joint Conference on Artificial Intelligence, pages 1087-1092, 2011.
23. Roni Stern, Meir Kalech, Alexander Feldman, and Gregory Provan. Exploring the duality in conflict-directed model-based diagnosis. In AAAI Conference on Artificial Intelligence, 2012.
24. Markus Stumptner and Franz Wotawa. Diagnosing tree-structured systems. Artificial Intelligence, 127(1):1-29, 2001.
25. Markus Stumptner and Franz Wotawa. Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems. In International Joint Conference on Artificial Intelligence, pages 388-393, 2003.
26. Jun Wang and Gregory Provan. A benchmark diagnostic model generation system. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, pages 959-981, 2008.
27. Brian C.Williams and Robert J. Ragno. Conflict-directed A and its role in modelbased embedded systems. Discrete Applied Mathematics, 155(12):1562-1595, 2007.
28. FranzWotawa. A variant of Reiter's hittingset al.gorithm. Information Processing Letters, 79(1):45-51, 2001.