Approximate model-based diagnosis using greedy stochastic search

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4612 LNAI, Issue , 2007, Pages 139-154

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

^a Department of Microelectronics   (Netherlands)

^b UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; SEARCH ENGINES; STOCHASTIC PROGRAMMING;

CARDINALITY-MINIMAL DIAGNOSES; COMPONENT FAILURE MODES; GREEDY STOCHASTIC SEARCH; WEAK FAULT MODELS;

ALGORITHMS;

EID: 34548079043     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-73580-9_13     Document Type: Conference Paper

References (15)

1. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
2. Bylander, T., Allemang, D., Tanner, M., Josephson, J.: The computational complexity of abduction. Artificial Intelligence 49, 25-60 (1991)
3. Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: Proc. AAAI (1990)
4. Williams, B., Ragno, R.: Conflict-directed A* and its role in model-based embedded systems. Journal of Discrete Applied Mathematics (2004)
5. Vatan, F., Barrett, A., James, M., Williams, C., Mackey, R.: A novel model-based diagnosis engine: Theory and applications. In: IEEE Aerospace Conf., IEEE Computer Society Press, Los Alamitos (2003)
6. Freuder, E.C., Dechter, R., Ginsberg, B., Selman, B., Tsang, E.P.K.: Systematic versus stochastic constraint satisfaction. In: Proc. IJCAI 95, vol. 2 (1995)
7. Kask, K., Dechter, R.: Stochastic local search for Bayesian networks. In: Proc. AISTAT'99 (1999)
8. de Kleer, J., Mackworth, A., Reiter, R.: Characterizing diagnoses and systems. Artificial Intelligence 56(8), 197-222 (1992)
9. McAllester, D.: Truth maintenance. In: Proc. AAAI'90, vol. 2 (1990)
10. Forbus, K., de Kleer, J.: Building Problem Solvers. MIT Press, Cambridge (1993)
11. Feldman, A., Provan, G., van Gemund, A.: On the performance of Safari algorithms. Technical Report TUD-SERG-2007-011, TU Delft (2007)
12. Mozetič, I.: A polynomial-time algorithm for model-based diagnosis. In: Proc. ECAI'92, pp. 729-733 (1992)
13. Zabih, R., McAllester, D.: A rearrangement search strategy for determining propcsitional satisfiability. In: Proc. AAAI'88, pp. 155-160 (1988)
14. Feldman, A., van Gemund, A.: A two-step hierarchical algorithm for model-based diagnosis. In: Proc. AAAI'06 (July 2006)
15. Feldman, A., Provan, G., van Gemund, A.: Generating manifestations of max-fault min-cardinality diagnoses. In: Proc. DX'07 (May 2007)