Focusing on Probable Diagnoses

Proceedings of the 9th National Conference on Artificial Intelligence, AAAI 1991

Volumn 2, Issue , 1991, Pages 842-848

  de Kleer, Johan ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOURAL SPECIFICATIONS; COMBINATORIAL EXPLOSION; COMPUTATIONAL ARCHITECTURE; FIRST PRINCIPLES; MODEL-BASED DIAGNOSIS; MODEL-BASED REASONING; ORDERS OF MAGNITUDE; PAPER ANALYSIS; PERFORMANCE; REASONING ENGINE;

ARTIFICIAL INTELLIGENCE;

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

References (19)

1. Brglez, F., and H. Fujiwara, A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN, distributed on a tape to participants of the Special Session on ATPG and Fault Simulation, Int. Symposium on Circuits and Systems, June 1985; partially characterized in F. Brglez, P. Pownall, and R. Hum, Accelerated ATPG and fault grading via testability analysis, Proc. IEEE Int. Symposium on Circuits and Systems, (June, 1985) 695-698.
2. Davis, R., and Hamscher, W., Model-based reasoning: Troubleshooting, in Exploring artificial intelligence, edited by H.E. Shrobe and the American Association for Artificial Intelligence, (Morgan Kaufman, 1988), 297-346.
3. de Kleer, J., An assumption-based truth maintenance system, Artificial Intelligence 28 (1986) 127-162. Also in Readings in NonMonotonic Reasoning, edited by Matthew L. Ginsberg, (Morgan Kaufman, 1987), 280-297.
4. de Kleer, J., Extending the ATMS, Artificial Intelligence 28 (1986) 163-196.
5. de Kleer, J., Problem solving with the ATMS, Artificial Intelligence 28 (1986) 197-224.
6. de Kleer, J. and Williams, B.C., Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97-130. Also in Readings in NonMonotonic Reasoning, edited by Matthew L. Ginsberg, (Morgan Kaufman, 1987), 372-388.
7. de Kleer, J. and Williams, B.C., Diagnosis with behavioral modes, in: Proceedings IJCAI-89, Detroit, MI (1989) 104-109.
8. de Kleer, J., Using crude probability estimates to guide diagnosis, Artificial Intelligence 45 (1990) 381-391.
9. de Kleer, J., A hybrid TMS, submitted for publication, 1990.
10. Dressier, O., and Farquhar, A., Focusing ATMS-based problem solvers, Siemens Report INF-2-ARM 13, 1989.
11. Forbus, K.D., de Kleer, J., Focusing the ATMS, Proceedings AAAI-88, Saint Paul, MN (August 1988), 193-198.
12. Genesereth, M.R., The use of design descriptions in automated diagnosis, Artificial Intelligence 24 (1984) 411-436.
13. Goldstone, D.J., Managing bookkeeping for analog diagnosis, Proceedings A.AAI-91, Anaheim, CA, (August, 1991).
14. Hamscher, W.C., Model-based troubleshooting of digital systems, Artificial Intelligence Laboratory, TR-1074, Cambridge: M.I.T., 1988.
15. Raiman, O., Diagnosis as a trial: The alibi principle, IBM Scientific Center, 1989.
16. Raiman, O., de Kleer, J., Shirley, M.H., and Saraswat, V., Characterizing Non-Intermittency, Proceedings AAAI-91, Anaheim, CA, (August, 1991).
17. Shirley, M.H., Generating Tests By Exploiting Designed Behavior. PhD thesis, MIT, January 1989.
18. Struss, P., Extensions to ATMS-based Diagnosis, in: J.S. Gero (ed.), Artificial Intelligence in Engineering: Diagnosis and Learning, Southampton, 1988.
19. Struss, P., and Dressier, O., "Physical negation" - Integrating fault models into the general diagnostic engine, in: Proceedings IJCAI-89 Detroit, MI (1989) 1318-1323.