Exploring the Duality in Conflict-Directed Model-Based Diagnosis

Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012

Volumn , Issue , 2012, Pages 828-834

  Stern, Roni ^a   Kalech, Meir ^a   Feldman, Alexander ^b   Provan, Gregory ^b  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

CARDINALITIES; CONFLICT DIAGNOSIS; DIAGNOSIS ALGORITHMS; DIAGNOSIS PROBLEM; HITTING SETS; MODEL-BASED DIAGNOSIS; PROPERTY;

ARTIFICIAL INTELLIGENCE;

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

References (16)

1. Abreu, R., and van Gemund, A. J. C. 2010. Diagnosing multiple intermittent failures using maximum likelihood estimation. Artif. Intell. 174:1481-1497.
2. Darwiche, A. 1998. Model-based diagnosis using structured system descriptions. Journal of Artificial Intelligence Research 8:165-222.
3. de Kleer, J., and Williams, B. 1987. Diagnosing multiple faults. Artificial Intelligence 32(1):97-130.
4. de Kleer, J., and Williams, B. C. 1989. Diagnosis with behavioral modes. In IJCAI, 1324-1330.
5. de Kleer, J.; Mackworth, A.; and Reiter, R. 1992. Characterizing diagnoses and systems. Artificial Intelligence 56(2-3):197-222.
6. de Kleer, J. 1986. An assumption-based TMS. Artificial Intelligence 28(2):127-162.
7. de Kleer, J. 2009. Minimum cardinality candidate generation. In Proc. DX'09, 397-402.
8. de Kleer, J. 2011. Hitting set algorithms for model-based diagnosis. In 22th International Workshop on Principles of Diagnosis (DX-11).
9. Feldman, A.; Provan, G.; and van Gemund, A. 2009. The Lydia approach to combinational model-based diagnosis. In Proc. DX'09, 403-408.
10. Feldman, A.; Provan, G.; and van Gemund, A. 2010. Approximate model-based diagnosis using greedy stochastic search. Journal of Artificial Intelligence Research 38:371-413.
11. Garey, M. R., and Johnson, D. S. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman.
12. Reiter, R. 1987. A theory of diagnosis from first principles. Artificial Intelligence 32(1):57-95.
13. Siddiqi, S., and Huang, J. 2007. Hierarchical diagnosis of multiple faults. In Proc. IJCAI'07, 581-586.
14. Siddiqi, S. A. 2011. Computing minimum-cardinality diagnoses by model relaxation. In IJCAI, 1087-1092.
15. Torasso, P., and Torta, G. 2003. Computing minimum-cardinality diagnoses using OBDDs. KI 2003: Advances in Artificial Intelligence 224-238.
16. Williams, B., and Ragno, R. 2007. Conflict-directed A* and its role in model-based embedded systems. Journal of Discrete Applied Mathematics 155(12):1562-1595.