A Modular Approach to Multiple Faults Diagnosis

[1]  Thomas P. Hamilton,et al.  HELIX: A helicopter diagnostic system based on qualitative physics , 1988, Artif. Intell. Eng..

[2]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[3]  Herbert A. Simon,et al.  Causality in Device Behavior , 1989, Artif. Intell..

[4]  Sargur N. Srihari,et al.  A strategy for diagnosis based on empirical and model knowledge , 1987 .

[5]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[6]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[7]  H. Simon,et al.  Causal Ordering and Identifiability , 1977 .

[8]  Robert Milne,et al.  Fault Diagnosis Through Responsibility , 1985, IJCAI.

[9]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[10]  J. Dekleer.  An assumption-based TMS , 1986 .

[11]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[12]  Johan De Kleer,et al.  Local Methods for Localizing Faults in Electronic Circuits , 1976 .

[13]  Randall Davis,et al.  Diagnosis Based on Description of Structure and Function , 1982, AAAI.

[14]  Michael J. Pazzani,et al.  Failure-Driven Learning of Fault Diagnosis Heuristics , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[15]  Robert Milne,et al.  Strategies for Diagnosis , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[16]  Michael R. Genesereth,et al.  The Use of Design Descriptions in Automated Diagnosis , 1984, Artif. Intell..

[17]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[18]  Gerald Jay Sussman,et al.  CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions , 1980, Artif. Intell..

[19]  Ryszard S. Michalski,et al.  On the Quasi-Minimal Solution of the General Covering Problem , 1969 .

[20]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[21]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..

[22]  Ivan Bratko,et al.  Automatic synthesis and compression of cardiological knowledge , 1988 .