Characterizing Non-Intermittent Faults

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

Volumn 2, Issue , 1991, Pages 849-854

  Raiman, Olivier ^a   de Kleer, Johan ^a   Saraswat, Vijay ^a   Shirley, Mark ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

FORMAL FRAMEWORK; INTERMITTENCY; INTERMITTENT FAULT; REAL-WORLD; SIMPLE++; SYSTEM BEHAVIORS;

ELECTRIC FAULT CURRENTS;

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

References (13)

1. Davis, R., Diagnostic Reasoning Based on Structure and Behavior, Artificial Intelligence 24 (1984) 347-410.
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 Kaufmann, 1987), 280-297.
4. de Kleer, J., Problem solving with the ATMS, Artificial Intelligence 28 (1986) 197-224.
5. 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.
6. de Kleer, J. and Williams, B.C., Diagnosis with behavioral modes, in: Proceedings IICAI-89, Detroit, MI (1989) 104-109.
7. de Kleer, J., Mackworth A., and Reiter R., Characterizing Diagnoses and Systems, in: Proceedings AAAI-90, Boston, MA (1990).
8. Genesereth, M.R., The use of design descriptions in automated diagnosis, Artificial Intelligence 24 (1984) 411-436.
9. Hamscher, W.C., Model-based troubleshooting of digital systems, Artificial Intelligence Laboratory, TR-1074, Cambridge: M.I.T., 1988.
10. Poole, D.L., Default Reasoning and Diagnosis as Theory Formation, Technical Report CS-86-02, University of Waterloo.
11. Raiman, O., Diagnosis as a trial: The alibi principle, IBM Scientific Center, 1989.
12. Reiter, R., A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57-95. Also in Readings in Non-Monotonic Reasoning, edited by Matthew L. Ginsberg, (Morgan Kaufmann, 1987), 352-371.
13. Struss, P., and Dressier, O., "Physical negation" - Integrating fault models into the general diagnostic engine, in: Proceedings IJCAI-89 Detroit, MI (1989) 1318-1323.