Speeding up model-based diagnosis by a heuristic approach to solving sat

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, AIA 2006

Volumn , Issue , 2006, Pages 273-278

  Stein, Benno ^a   Niggemann, Oliver ^b   Lettmann, Theodor ^c  

^a BAUHAUS UNIVERSITY WEIMAR   (Germany)

^b DSPACE GMBH   (Germany)

^c UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Diagnosis; Machine learning; Model based reasoning; Qualitative reasoning; SAT problem

Indexed keywords

CASE BASED REASONING; COMPUTER SIMULATION; LEARNING SYSTEMS; MAXIMUM LIKELIHOOD; MODEL CHECKING;

MODEL-BASED REASONING; QUALITATIVE REASONING; QUALITATIVE SIMULATION; SIMULATION MACHINERY;

HEURISTIC ALGORITHMS;

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

References (20)

1. Kenneth D. Forbus and Johan de Kleer. Building Problem Solvers. MIT Press, Cambridge, MA, 1993.
2. Raymond Reiter. A Theory of Diagnosis from First Principles. Artificial Intelligence, 32(1):57-95, April 1987.
3. Johan deKleer and Brian C. Williams. Diagnosing Multiple Faults. Artificial Intelligence, 32:97-130, 1987.
4. Johan de Kleer and Brian C. Williams. Diagnoses with Behavioral Models. In Proc. of 11th IJCAI, pages 1324-1330, 1989.
5. Peter Struss and Oskar Dressler. "Physical Negation" - Integrating Fault Models into the General Diagnostic Engine. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, Michigan, USA, volume 2, pages 1304-1321, 1989.
6. Johan de Kleer, Alan K. Mackworth, and Raymond Reiter. Characterizing Diagnoses and Systems. Artificial Intelligence, 56:197-222, 1992.
7. Mark Stefik. Introduction to Knowledge Systems. Morgan Kaufmann Publishers, Inc., 1995. pp. 670-771.
8. Hermann Stamm-Wilbrandt. Programming in propositional logic or reductions: Back to the roots (satisfiability). Technical Report IAI-TR-93-3, Department of Computer Science, University of Bonn, March 1 1993. Tue, 10 Oct 98 00:00:00 GMT.
9. Christian B. Suttner and Geoff Sutcliffe. The TPTP problem library - v2.1.0. Technical Report JCU-CS-97/8, Department of Computer Science, James Cook University, 15 December 1997.
10. F. Ferguson and T. Larrabee. Test pattern generation for realistic bridge faults in CMOS ICs. In International Test Conference, pages 492-499, Altoona, Pa., USA, October 1991. IEEE Computer Society Press.
11. Sun Kim and Hantao Zhang. ModGen: Theorem proving by model generation. In Proceedings of the 12th National Conference on Artificial Intelligence. Volume 1, pages 162-167, Menlo Park, CA, USA, July 31-August 4 1994. AAAI Press.
12. Hantao Zhang. SATO: An efficient propositional prover. In William McCune, editor, Proceedings of the 14th International Conference on Automated deduction, volume 1249 of LNAI, pages 272-275, Berlin, July 13-17 1997. Springer.
13. E. Goldberg and Y. Novikov. Berkmin: A fast and robust sat solver, 2002.
14. R. Beale and T. Jackson. Neural Computing, an introduction. Institute of Physical Publishing, Bristol and Philadelphia, 1994.
15. Warren S. Sarle. Neural Networks and Statistical Models. In Proceedings of the Nineteenth Annual SAS Users Group International Conference, pages 1538-1550, Cary, NC, USA, 1994. SAS Institute Inc.
16. R. H. Myers. Classical and Modern Regression with Applications. Duxbury Press, Boston, 1986.
17. D. W. Hosmer and S. Lemeshow. Applied Logistic Regression. John Wiley & Sons, New York, 1989.
18. Hussein Almuallim and Thomas G. Dietterich. Efficient Algorithms for Identifying Relevant Features. In Proceedings of the 9th Canadian Conference on Artificial Intelligence, pages 38-45, Vancouver, 1992. Morgan Kaufmann.
19. M. Dash and H. Liu. Feature Selection for Classification. Intelligent Data Analysis, 1 (3), 1997.
20. George H. John, Ron Kohavi, and Karl Pfleger. Irrelevant Features and the Subset Selection Problem. In William W. Cohen and Haym Hirsh, editors, Machine Learning: Proceedings of the Eleventh International Conference, pages 121-129, San Francisco, CA, 1994. Morgan Kaufmann.