Model-Based Diagnosis or Reasoning from First Principles

IEEE Intelligent Systems

Volumn 18, Issue 3, 2003, Pages 32-37

  Peischl, Bernhard ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; FORMAL LOGIC; LOGIC GATES;

COMPUTER SUPPORTED DIAGNOSIS;

COMPUTER AIDED ANALYSIS;

EID: 0141495079     PISSN: 15411672     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIS.2003.1200725     Document Type: Article

References (8)

1. R. Davis and W. Hamscher, “Model-Based Reasoning: Troubleshooting,” Exploring Artificial Intelligence, H.E. Shrobe, ed., Morgan Kaufmann, 1988, pp. 297-346.
2. J. de Kleer and B.C. Williams, “Diagnosing Multiple Faults,” Artificial Intelligence, vol. 32, no. 1, Apr. 1987, pp. 97-130.
3. R. Reiter, “A Theory of Diagnosis from First Principles,” Artificial Intelligence, vol. 32, no. 1, Apr. 1987, pp. 57-95.
4. D. Poole, “Representing Diagnosis Knowledge,” Annals Math. and Artificial Intelligence, vol. 11, nos. 1-4, 1994, pp. 33-50.
5. L. Console, D.T. Dupré, and P. Torasso, “On the Relationship between Abduction and Deduction,” J. Logic and Computation, vol. 1, no. 5, Oct. 1991, pp. 661-690.
6. P. Fröhlich and W. Nejdl, “A Static Model-Based Engine for Model-Based Reasoning,” Proc. 15th Int'l Joint Conf. Artificial Intelligence (IJCAI 97), Morgan Kaufmann, 1997, pp. 466-473.
7. M. Minoux, “LTUR: A Simplified Linear-Time Unit Resolution Algorithm for Horn Formulae and Computer Implementation,” Information Processing Letters, vol. 29, no. 1, Sept. 1988, pp. 1-12.
8. A. Malik, P. Struss, and M. Sachenbacher, “Case Studies in Model-Based Diagnosis and Fault Analysis of Car-Subsystems,” Proc. 1st Int'l Workshop Model-Based Systems and Qualitative Reasoning (ECAI 96 Workshop W23), European Coordinating Committee for Artificial Intelligence, 1996, pp. 17-25.