Solving strong-fault diagnostic models by model relaxation

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 785-790

  Feldman, Alexander ^a   Provan, Gregory ^b   Van Gemund, Arjan ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

BELT DRIVES; DISTRIBUTED COMPUTER SYSTEMS; POLYNOMIAL APPROXIMATION; RANDOM ACCESS STORAGE;

FAULT DIAGNOSTICS; FAULT MODEL; GREAT DEPTH; MINIMAL DIAGNOSIS; MODEL BASED DIAGNOSIS; NP-HARD; POLYNOMIAL-TIME; WEAK FAULTS;

FAULT DETECTION;

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

References (18)

1. Franc Brglez and Hideo Fujiwara. A neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran. In Proc. ISCAS'85, pages 695-698, 1985.
2. Tom Bylander, Dean Allemang, Michael Tanner, and John Josephson. The computational complexity of abduction. Artificial Intelligence, 49:25-60, 1991.
3. Luca Chittaro and Roberto Ranon. Hierarchical model-based diagnosis based on structural abstraction. Artificial Intelligence, 155(1-2):147-182, 2004.
4. Luca Console and Pietro Torasso. A spectrum of logical definitions of model-based diagnosis 1. Computational Intelligence, 7(3):133-141, 1991.
5. Johan de Kleer and Brian Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97-130, 1987.
6. Johan de Kleer, Alan Mackworth, and Raymond Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2-3):197-222, 1992.
7. Johan de Kleer. An improved approach for generating Max-Fault Min-Cardinality diagnoses. In Proc. DX'08, pages 247-252, 2008.
8. Alvaro del Val. The complexity of restricted consequence finding and abduction. In Proc. AAAI'00, pages 337-342, 2000.
9. Kenneth Forbus and Johan de Kleer. Building Problem Solvers. MIT Press, 1993.
10. Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Physical impossibility instead of fault models. In Proc. AAAI, 1990.
11. Paul Maier and Martin Sachenbacher. Constraint optimization and abstraction for embedded intelligent systems. In Proc. CPAIOR'08, pages 338-342, 2008.
12. Igor Mozetič and Christian Holzbaur. Controlling the complexity in model-based diagnosis. Annals of Mathematics and Artificial Intelligence, 11(1):297-314, 1994.
13. Gustav Nordh and Bruno Zanuttini. What makes propositional abduction tractable. Artificial Intelligence, 172(10):1245-1284, 2008.
14. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
15. Bart Selman and Henry Kautz. Knowledge compilation and theory approximation. Journal of the ACM, 43(2):193-224, 1996.
16. Sajjad Siddiqi and Jinbo Huang. Hierarchical diagnosis of multiple faults. In Proc. IJCAI' 07, pages 581-586, 2007.
17. Peter Struss and Oskar Dressler. Physical negation: Integrating fault models into the general diagnosis engine. In Proc. IJCAI'89, pages 1318-1323, 1989.
18. Brian Williams and Robert Ragno. Conflict-directed A* and its role in model-based embedded systems. Journal of Discrete Applied Mathematics, 155(12):1562-1595, 2007.