Electronic circuit diagnostic expert systems—A survey

Abstract The electronic circuit diagnostic problem is roughly formulated and subdivided into six subproblems. Current literature and patents are surveyed with respect to the above six subproblems. Some of the existing expert diagnostic systems as well as expert diagnostic shells are described and their limitations are outlined. A review of the relevant terms from AI is included. The bibliography list contains some 300 references.

[1]  J. Barclay Adams,et al.  A probability model of medical reasoning and theMYCIN model , 1976 .

[2]  Roger T. Hartley.  CRIB: Computer Fault-finding Through Knowledge Engineering , 1984, Computer.

[3]  Kenneth D. Forbus.  Interpreting Observations of Physical Systems , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[4]  Benjamin Kuipers,et al.  Qualitative Simulation as Causal Explanation , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[5]  Casimir A. Kulikowski,et al.  EXPERT: A System for Developing Consultation Models , 1979, IJCAI.

[6]  John Seely Brown,et al.  SOPHIE: A Step Toward Creating a Reactive Learning Environment , 1975, Int. J. Man Mach. Stud..

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

[8]  James A. Reggia,et al.  Diagnostic Expert Systems Based on a Set Covering Model , 1983, Int. J. Man Mach. Stud..

[9]  Victor R. Lesser,et al.  The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty , 1980, CSUR.

[10]  Pamela K. Fink,et al.  Expert Systems and Diagnostic Expertise in the Mechanical and Electrical Domains , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[11]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[12]  Michael J. Prietula,et al.  Expertise and error in diagnostic reasoning , 1981 .

[13]  Robert L. Moore,et al.  Expert Systems in Process Control: Applications Experience , 1986 .

[14]  J. Paul Roth,et al.  Computer Logic Testing And Verification , 1980 .

[15]  Chuck Rieger,et al.  The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms , 1977, IJCAI.

[16]  Ethan A. Scarl,et al.  Diagnosis and Sensor Validation through Knowledge of Structure and Function , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[17]  W. A. Perkins,et al.  LES: A General Expert System And Its Applications , 1984, Other Conferences.

[18]  John Mingers,et al.  Expert Systems—Experiments with Rule Induction , 1986 .

[19]  D. A. Scharnhorst,et al.  Sensor-Based Fault Diagnosis in a Flight Expert System , 1985, CAIA.

[20]  B. Chandrasekaran,et al.  Reasoning about structure, behavior and function , 1985, SGAR.

[21]  William van Melle,et al.  A Domain-Independent Production-Rule System for Consultation Programs , 1979, IJCAI.

[22]  Yun Peng,et al.  A Probabilistic Causal Model for Diagnostic Problem Solving Part I: Integrating Symbolic Causal Inference with Numeric Probabilistic Inference , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[23]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[24]  Randall Davis,et al.  Expert Systems: Where Are We? And Where Do We Go from Here? , 1982, AI Mag..

[25]  J. Ross Quinlan,et al.  Learning Efficient Classification Procedures and Their Application to Chess End Games , 1983 .

[26]  Harry E. Pople,et al.  The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning , 1977, IJCAI.

[27]  Gerald J. Sussman,et al.  Electrical Design: A Problem for Artificial Intelligence Research , 1977, IJCAI.

[28]  Louis-François Pau.  Failure detection processes by an expert system and hybrid pattern recognition , 1984, Pattern Recognit. Lett..

[29]  Clifford R. Hollander,et al.  DART: An Expert System for Computer Fault Diagnosis , 1981, IJCAI.

[30]  Judea Pearl,et al.  Convince: A Conversational Inference Consolidation Engine , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[31]  Keinosuke Matsumoto Toshiaki Sakaguchi Tomoomi Wake.  Fault diagnosis of a power system based on a description of the structure and function of the relay system , 1985 .

[32]  C. A. Kulikowski,et al.  Artificial intelligence methods and systems for medical consultation , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[33]  Alan Sobel,et al.  Decision-Making in Time-Critical Situations , 1983, IJCAI.

[34]  A. Gerson Greenburg,et al.  *Neurologist*: A Computer Program for Diagnosis in Neurology , 1979 .

[35]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[36]  J. Paul Roth,et al.  A Heuristic Algorithm for the Testing of Asynchronous Circuits , 1971, IEEE Transactions on Computers.

[37]  Leonard Friedman,et al.  Extended Plausible Inference , 1981, IJCAI.

[38]  William R. Swartout,et al.  Explaining and Justifying Expert Consulting Programs , 1981, IJCAI.

[39]  B. J. Flehinger,et al.  HEME: a self-improving computer program for diagnosis-oriented analysis of hematologic diseases , 1975 .

[40]  RICHARD 0. DUDA,et al.  Subjective bayesian methods for rule-based inference systems , 1899, AFIPS '76.

[41]  Richard Fikes,et al.  Deductive Retrieval Mechanisms for State Description Models , 1975, IJCAI.

[42]  Glenn Edgar,et al.  Location Of Multiple Faults By Diagnostic Expert Systems , 1984, Other Conferences.

[43]  William R. Nelson,et al.  REACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents , 1982, AAAI.

[44]  Oscar H. Ibarra,et al.  Polynomially Complete Fault Detection Problems , 1975, IEEE Transactions on Computers.

[45]  Patrick Henry Winston,et al.  Problem Solving about Electrical Circuits , 1982 .

[46]  William J. Clancey,et al.  Strategic Explanations for a Diagnostic Consultation System , 1983, Int. J. Man Mach. Stud..

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

[48]  David T. Wang.  An Algorithm for the Generation of Test Sets for Combinational Logic Networks , 1975, IEEE Transactions on Computers.

[49]  Sergio Guarro,et al.  The logic flowgraph: A new approach to process failure modeling and diagnosis for disturbance analysis applications , 1984 .

[50]  Balakrishnan Chandrasekaran,et al.  On evaluating ai systems for medical diagnosis , 1989 .

[51]  Yun Peng,et al.  A Probabilistic Causal Model for Diagnostic Problem Solving Part II: Diagnostic Strategy , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[52]  R. A. Kisner,et al.  Survey of methods for improving operator acceptance of computerized aids , 1982 .

[53]  Earl David Sacerdoti,et al.  A Structure for Plans and Behavior , 1977 .

[54]  S. Hakiel,et al.  Diagnostic heuristics and perspectives , 1987 .

[55]  Walter Hamscher,et al.  Using Structural and Functional Information in Diagnostic Design , 1983, AAAI.

[56]  Nandakurnar N. Tendolkar,et al.  Automated diagnostic methodology for the IBM 3081 processor complex , 1982 .

[57]  Gerald Jay Sussman,et al.  Propagation of constraints applied to circuit synthesis , 1980 .

[58]  Gerald Jay Sussman,et al.  SLICES: At the Boundary Between Analysis and Synthesis , 1977 .

[59]  Victor R. Lesser,et al.  Modeling and Diagnosing Problem-Solving System Behavior , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[60]  Nelleke Aiello,et al.  AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs , 1979, IJCAI.

[61]  Thomas W. Williams,et al.  Design for Testability - A Survey , 1982, IEEE Trans. Computers.

[62]  Victor R. Lesser,et al.  Meta-Level Control Through Fault Detection and Diagnosis , 1984, AAAI.

[63]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..

[64]  K. Konolige.  A deduction model of belief , 1986 .

[65]  A. Jesse Wilkinson.  A Method for Test System Diagnostics Based on the Principles of Artificial Intelligence , 1984, ITC.

[66]  A. L. Samuel,et al.  Some studies in machine learning using the game of checkers. II: recent progress , 1967 .

[67]  Jack Mostow,et al.  A Problem-Solver for Making Advice Operational , 1983, AAAI.

[68]  James A. Reggia,et al.  Computer-Assisted Medical Decision Making , 1985, Computers and Medicine.

[69]  John Seely Brown,et al.  Artificial Intelligence and Learning Strategies. , 1978 .

[70]  John D. Lowrance,et al.  An Inference Technique for Integrating Knowledge from Disparate Sources , 1981, IJCAI.

[71]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[72]  Johan de Kleer,et al.  Causal and Teleological Reasoning In Circuit Recognition , 1979 .

[73]  John Seely Brown,et al.  MULTIPLE REPRESENTATIONS OF KNOWLEDGE FOR TUTORIAL REASONING , 1975 .

[74]  M. R. Herbert.  A review of on-line diagnostic aids for nuclear power plant operators , 1984 .

[75]  Fernando Gomez,et al.  Knowledge Organization and Distribution for Medical Diagnosis , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[76]  J. Rasmussen,et al.  Mental procedures in real-life tasks: a case study of electronic trouble shooting. , 1974, Ergonomics.

[77]  M. S. Blois.  Clinical judgment and computers. , 1980, The New England journal of medicine.

[78]  Douglas B. Armstrong,et al.  A Deductive Method for Simulating Faults in Logic Circuits , 1972, IEEE Transactions on Computers.

[79]  Takushi Tanaka,et al.  Representation and Analysis of Electrical Circuits in a Deductive System , 1983, IJCAI.

[80]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[81]  Janice Sue Aikins,et al.  Prototypes and production rules : a knowledge representation for computer consultations , 1980 .

[82]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[83]  David Okrent,et al.  A deterministic methodology for application to a diagnosis oriented disturbance analysis system , 1982 .

[84]  Sundaram Seshu,et al.  The Diagnosis of Asynchronous Sequential Switching Systems , 1962, IRE Trans. Electron. Comput..

[85]  Mark S. Fox,et al.  Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled Domains , 1977, IJCAI.

[86]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..

[87]  Melvin A. Breuer,et al.  Diagnosis and Reliable Design of Digital Systems , 1977 .

[88]  Robert Mullis.  An Expert System for VLSI Tester Diagnostics , 1984, ITC.

[89]  J. E. Ramsey.  Diagnosis - Using automatic test equipment and artificial intelligence expert systems , 1985 .

[90]  John Seely Brown,et al.  Diagnostic Models for Procedural Bugs in Basic Mathematical Skills , 1978, Cogn. Sci..

[91]  John Gaschnig,et al.  MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION , 1981 .

[92]  Gerald J. Sussman,et al.  A Computational Model of Skill Acquisition , 1973 .

[93]  Judea Pearl,et al.  Heuristics : intelligent search strategies for computer problem solving , 1984 .

[94]  K. L. Gimmy,et al.  Automatic diagnosis of multiple alarms for reactor-control rooms , 1981 .

[95]  Raymond Reiter.  A theory of diagnosis from first principles , 1986 .

[96]  Herbert Y. Chang,et al.  Comparison of Parallel and Deductive Fault Simulation Methods , 1974, IEEE Transactions on Computers.

[97]  William J. Clancey,et al.  Guidon-Watch: A Graphic Interface for Viewing a Knowledge-Based System , 1985, IEEE Computer Graphics and Applications.

[98]  Douglas B. Lenat,et al.  PRINCIPLES OF PATTERN-DIRECTED INFERENCE SYSTEMS , 1978 .

[99]  Randall Davis,et al.  Representing Structure and Behavior of Digital Hardware , 1983, Computer.

[100]  Frank J. Pipitone,et al.  The FIS Electronics Troubleshooting System , 1986, Computer.

[101]  F. P. Lees.  Process computer alarm and disturbance analysis: review of the state of the art , 1983 .

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

[103]  Victor R. Lesser,et al.  A Multi-Level Organization For Problem Solving Using Many, Diverse, Cooperating Sources Of Knowledge , 1975, IJCAI.

[104]  B. Chandrasekaran,et al.  A Mechanism for Forming Composite Explanatory Hypotheses , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[105]  Joshua Lederberg,et al.  Applications of Artificial Intelligence for Organic Chemistry: The DENDRAL Project , 1980 .

[106]  Jon Doyle,et al.  Truth Maintenance Systems for Problem Solving , 1977, IJCAI.

[107]  J. S. Brown,et al.  Pedagogical, natural language, and knowledge engineering techniques in SOPHIE-I, II and III , 1982 .

[108]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[109]  Prabhakar Goel.  Test generation costs analysis and projections , 1980, DAC '80.

[110]  David H. D. Warren,et al.  Generating Conditional Plans and Programs , 1976, AISB.

[111]  J. Josephson.  Explanation and induction , 1982 .

[112]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[113]  Kazuko Takahashi,et al.  A Description and Reasoning of Plant Controllers in Temporal Logic , 1983, IJCAI.

[114]  Edward H. Shortliffe,et al.  A rule-based computer program for advising physicians regarding antimicrobial therapy selection , 1974, ACM '74.

[115]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[116]  James A. Reggia,et al.  A formal model of diagnostic inference. I. Problem formulation and decomposition , 1985, Inf. Sci..

[117]  Stephen S. Yau,et al.  Multiple Fault Detection for Combinational Logic Circuits , 1975, IEEE Transactions on Computers.

[118]  Michael R. Genesereth,et al.  Diagnosis Using Hierarchical Design Models , 1982, AAAI.

[119]  Gregory F. Cooper,et al.  NESTOR: A Computer-Based Medical Diagnostic Aid That Integrates Causal and Probabilistic Knowledge. , 1984 .

[120]  L. F. Pau,et al.  An adaptive signal classification procedure. Application to aircraft engine condition monitoring , 1977, Pattern Recognit..

[121]  J. Hardy,et al.  Mechanical correlation of data in differential diagnosis of hematological diseases. , 1958, Journal of the American Medical Association.

[122]  William J. Clancey,et al.  Tutoring rules for guiding a case method dialogue , 1979 .

[123]  A. Jesse Wilkinson.  Benchmarking an Expert System for Electronic Diagnosis , 1986, ITC.

[124]  B. Chandrasekaran,et al.  Design considerations for Picture Production in a Natural Language graphics system , 1981, COMG.

[125]  D. W. Miller,et al.  The application of knowledge-based systems to reactor operations , 1982 .

[126]  Richard W. Carlson,et al.  Pattern-Based Interactive Diagnosis of Multiple Disorders: The MEDAS System , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[127]  Daniel P. Siewiorek,et al.  Functional Testing of Digital Systems , 1983, 20th Design Automation Conference Proceedings.

[128]  Stephen A. Szygenda,et al.  Modeling and Digital Simulation for Design Verification and Diagnosis , 1976, IEEE Transactions on Computers.

[129]  Peter Szolovits,et al.  Causal Understanding of Patient Illness in Medical Diagnosis , 1981, IJCAI.

[130]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[131]  Harry E. Pople,et al.  Session 6 Theorem Proving and Logic: I I ON THE MECHANIZATION OF ABDUCTIVE LOGIC , 2006 .

[132]  Janet L. Kolodner,et al.  Using Experience in Clinical Problem Solving: Introduction and Framework , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[133]  Louis I. Steinberg,et al.  The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications , 1982, AAAI.

[134]  Casimir A. Kulikowski,et al.  A Model-Based Method for Computer-Aided Medical Decision-Making , 1978, Artif. Intell..

[135]  Edward B. Eichelberger,et al.  Hazard Detection in Combinational and Sequential Switching Circuits , 1965, IBM J. Res. Dev..

[136]  Paul Morris,et al.  Representing Actions with an Assumption-Based Truth Maintenance System , 1986, AAAI.

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

[138]  Sundaram Seshu,et al.  On an Improved Diagnosis Program , 1965, IEEE Trans. Electron. Comput..

[139]  Bruce G. MacAloney.  Fault Spectrum: An Analysis of System Level Test with Proposed Solutions , 1981, ITC.

[140]  Randall Davis,et al.  Diagnosing Circuits With State: An Inherently Underconstrained Problem , 1984, AAAI.

[141]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[142]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[143]  L. Shulman,et al.  Medical Problem Solving: An Analysis of Clinical Reasoning , 1978 .

[144]  James A. Reggia,et al.  An Overview of Methods for Computer-Assisted Medical Decision Making , 1985 .

[145]  Brian C. Williams,et al.  Reasoning about Multiple Faults , 1986, AAAI.

[146]  Mark S. Fox,et al.  Techniques for Sensor-Based Diagnosis , 1983, IJCAI.

[147]  D. R. Towill.  Automatic testing of control systems - past, present, and future , 1987 .

[148]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[149]  Stanley J. Rosenschein,et al.  Plan Synthesis: A Logical Perspective , 1981, IJCAI.

[150]  Richard C. T. Lee,et al.  Application of game tree searching techniques to sequential pattern recognition , 1971, CACM.

[151]  John Seely Brown,et al.  Reactive Learning Environment for Computer Assisted Electronics Instruction. , 1976 .

[152]  D. Bobrow.  Qualitative Reasoning about Physical Systems , 1985 .

[153]  L. F. Pau,et al.  Integrated Testing and Algorithms for Visual Inspection of Integrated Circuits , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[154]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[155]  Eugene Charniak,et al.  The Bayesian Basis of Common Sense Medical Diagnosis , 1983, AAAI.

[156]  Norman Landis,et al.  Computer-Guided Probing Techniques , 1981, ITC.

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

[158]  Patrick Henry Winston,et al.  Amplifying Expertise with Expert Systems , 1986 .

[159]  Peter Szolovits,et al.  Categorical and Probabilistic Reasoning in Medical Diagnosis , 1990, Artif. Intell..

[160]  Kenneth D. Forbus.  Qualitative Reasoning about Physical Processes , 1981, IJCAI.

[161]  Johan de Kleer,et al.  A Theory of Plans for Electronic Circuits , 1977 .

[162]  David Florcik,et al.  A Tester-Independent Automated Test Preparation Process for Loaded Boards , 1982, ITC.

[163]  J. Edmonds.  Covers and packings in a family of sets , 1962 .

[164]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[165]  Larry Apfelbaum.  An Expert System for In-Circuit Fault Diagnosis , 1985, ITC.

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

[167]  Fernando Gomez,et al.  An Approach to Medical Diagnosis Based on Conceptual Structures , 1979, IJCAI.

[168]  James A. Reggia,et al.  An Abductive Non-Monotonic Logic , 1984, NMR.

[169]  Gorry Ga,et al.  Computer-assisted clinical decision-making. , 1973 .

[170]  Edward H. Shortliffe,et al.  A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space , 1985, Artif. Intell..

[171]  Melvin A. Breuer,et al.  Functional Partitioning and Simulation of Digital Circuits , 1970, IEEE Transactions on Computers.

[172]  J. Vlach,et al.  Symbolic analysis of analog and digital circuits , 1977 .

[173]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

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

[175]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[176]  J. Pearl,et al.  Causal and diagnostic inferences: A comparison of validity , 1981 .

[177]  William J. Clancey,et al.  NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching , 1981, IJCAI.

[178]  P. R. Schneider,et al.  On the necessity to examine D-chains in diagnostic test generation-an example , 1967 .

[179]  Balakrishnan Chandrasekaran,et al.  Fault diagnosis and expert systems , 1987 .

[180]  J Benbassat,et al.  An approach to teaching the introduction to clinical medicine. , 1976, Annals of internal medicine.

[181]  Ronald L. Rivest,et al.  Constructing Optimal Binary Decision Trees is NP-Complete , 1976, Inf. Process. Lett..

[182]  Barbara Hayes-Roth,et al.  A Cognitive Model of Planning , 1979, Cogn. Sci..

[183]  A. Jesse Wilkinson,et al.  Knowledge Acquisition for ATE Diagnosis , 1986, IEEE Aerospace and Electronic Systems Magazine.

[184]  Edward H. Shortliffe,et al.  A model of inexact reasoning in medicine , 1990 .

[185]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[186]  Douglas B. Lenat,et al.  BEINGS: Knowledge as Interacting Experts , 1975, IJCAI.

[187]  P. K. Andow,et al.  Real-time analysis of process plant alarms using a mini-computer , 1980 .

[188]  Edward A. Patrick,et al.  Review of Pattern Recognition in Medical Diagnosis and Consulting Relative to a New System Model , 1974, IEEE Trans. Syst. Man Cybern..

[189]  Tom M. Mitchell,et al.  Representations for Reasoning about Digital Circuits , 1981, IJCAI.

[190]  S. H. Tsiang,et al.  Automatic trouble diagnosis of complex logic circuits , 1962 .

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

[192]  Robert Milne.  Diagnosing faults through responsibility , 1985, ACM '85.

[193]  A. L. Kidd,et al.  What do users ask? Some thoughts on diagnostic advice , 1986 .

[194]  A. Wilkinson.  MIND: An inside Look at an Expert System for Electronic Diagnosis , 1985, IEEE Design & Test of Computers.

[195]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[196]  W. Bastl,et al.  Disturbance Analysis Systems , 1981 .

[197]  H. E. Pople,et al.  Internist-I, an Experimental Computer-Based Diagnostic Consultant for General Internal Medicine , 1982 .

[198]  Allen L. Brown,et al.  Qualitative Knowledge, Causal Reasoning, and the Localization of Failures , 1976 .

[199]  J. Paul Roth,et al.  Diagnosis of automata failures: a calculus and a method , 1966 .

[200]  Jacek Kitowski,et al.  Fuzzy logic applications for failure analysis and diagnosis of a primary circuit of the HTR nuclear power plant , 1985 .

[201]  James A. Reggia,et al.  Answer Justification in Diagnostic Expert Systems - Part I: Abductive Inference and Its Justification , 1985, IEEE Transactions on Biomedical Engineering.

[202]  Casimir A. Kulikowski,et al.  Pattern Recognition Approach to Medical Diagnosis , 1970, IEEE Trans. Syst. Sci. Cybern..