Abductive Inference Models for Diagnostic Problem-Solving

In the spring of 1990, the American Association for Artificial Intelligence sponsored a symposium on abductive inference, bringing together several dozen researchers (O'Rorke 1990). The term "abduction" as a form of inference originated with C.S. Peirce in the 1890s, and was introduced in artificial intelligence by Pople (1973). In recent years, it has found increasing use by researchers working on a diverse set of topics, particularly medical diagnosis, scientific discovery, and natural language understanding. But what is abductive inference?

[1]  G. Gorry,et al.  Experience with a model of sequential diagnosis. , 2011, Computers and biomedical research, an international journal.

[2]  Verzekeren Naar Sparen,et al.  Cambridge , 1969, Humphrey Burton: In My Own Time.

[3]  Bruce G. Buchanan,et al.  Rediscovering Some Problems of Artificial Intelligence in the Context of Organic Chemistry , 1970 .

[4]  R. Kalaba,et al.  Reducation of digitalis toxicity by computer-assisted glycoside dosage regimens. , 1972, Annals of internal medicine.

[5]  F. T. de Dombal,et al.  Computer-Assisted Diagnosis of Abdominal Pain using “Estimates” Provided by Clinicians , 1972, British medical journal.

[6]  P Davies,et al.  Symptom diagnosis using Bahadur's distribution. , 1972, International journal of bio-medical computing.

[7]  Richard O. Duda,et al.  Pattern classification and scene analysis , 1974, A Wiley-Interscience publication.

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

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

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

[11]  Randolph A. Miller,et al.  DIALOG: A Model Of Diagnostic Logic For Internal Medicine , 1975, IJCAI.

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

[13]  Larry Laudan,et al.  Two Dogmas of Methodology , 1976, Philosophy of Science.

[14]  D H Gustafson,et al.  A probabilistic system for identifying suicide attemptors. , 1977, Computers and biomedical research, an international journal.

[15]  D H Gustafson,et al.  Computers in clinical medicine, a critical review. , 1977, Computers and biomedical research, an international journal.

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

[17]  Edward H. Shortliffe,et al.  Production Rules as a Representation for a Knowledge-Based Consultation Program , 1977, Artif. Intell..

[18]  R. Knapp,et al.  A computer-generated diagnostic decision guide: a comparison of statistical diagnosis and clinical diagnosis. , 1977, Computers in biology and medicine.

[19]  G. Gorry,et al.  Clinical problem solving: a behavioral analysis. , 1978, Annals of internal medicine.

[20]  Paul Thagard,et al.  The Best Explanation: Criteria for Theory Choice , 1978 .

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

[22]  D. Fryback.  Bayes' theorem and conditional nonindependence of data in medical diagnosis. , 1978, Computers and biomedical research, an international journal.

[23]  J. A. Reggia,et al.  A Production Rule System For Neurological Localization , 1978 .

[24]  L. M. Bernstein,et al.  The Hepatitis Knowledge Base Prototype , 1978 .

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

[26]  E.H. Shortliffe,et al.  Knowledge engineering for medical decision making: A review of computer-based clinical decision aids , 1979, Proceedings of the IEEE.

[27]  David L. Post,et al.  Medical Problem Solving: An Analysis of Clinical Reasoning , 1979 .

[28]  W. Rogers,et al.  Computer-aided medical diagnosis: literature review. , 1979, International journal of bio-medical computing.

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

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

[31]  S. Grossberg,et al.  How does a brain build a cognitive code? , 1980, Psychological review.

[32]  Edward H. Shortliffe,et al.  ONCOCIN: An Expert System for Oncology Protocol Management , 1981, IJCAI.

[33]  Richard O. Duda,et al.  Subjective bayesian methods for rule-based inference systems , 1976, AFIPS '76.

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

[35]  James A. Reggia,et al.  Knowledge-based decision support systems: development through kms , 1981 .

[36]  Michael J. Prietula,et al.  Expertise and Error in Diagnostic Reasoning , 1981, Cogn. Sci..

[37]  James L. McClelland,et al.  An interactive activation model of context effects in letter perception: Part 2. The contextual enhancement effect and some tests and extensions of the model. , 1982, Psychological review.

[38]  Hal Shubin,et al.  IDT: An Intelligent Diagnostic Tool , 1982, AAAI.

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

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

[41]  A. Tversky,et al.  Extensional versus intuitive reasoning: the conjunction fallacy in probability judgment , 1983 .

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

[43]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[44]  G Brooks,et al.  Computer assisted medical decision making. , 1983, British medical journal.

[45]  J J Hopfield,et al.  Neurons with graded response have collective computational properties like those of two-state neurons. , 1984, Proceedings of the National Academy of Sciences of the United States of America.

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

[47]  J. Reggia,et al.  Computer-aided assessment of transient ischemic attacks. A clinical evaluation. , 1984, Archives of neurology.

[48]  Jack W. Smith,et al.  Assembling the best explanation , 1984 .

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

[50]  James A. Reggia,et al.  Answer Justification in Diagnostic Expert Systems - Part II: Supporting Plausible Justifications , 1985, IEEE Transactions on Biomedical Engineering.

[51]  Gary S. Kahn,et al.  Strategies for Knowledge Acquisition , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

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

[53]  J A Reggia,et al.  Answer justification in medical decision support systems based on Bayesian classification. , 1985, Computers in biology and medicine.

[54]  Victor R. Basili,et al.  ARROWSMITH-P: A prototype expert system for software engineering management , 1985 .

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

[56]  Geoffrey E. Hinton,et al.  A Learning Algorithm for Boltzmann Machines , 1985, Cogn. Sci..

[57]  Dana H. Ballard,et al.  Parallel Logical Inference and Energy Minimization , 1986, AAAI.

[58]  J A Reggia,et al.  Modelling reading aloud and its relevance to acquired dyslexia. , 1985, Computer methods and programs in biomedicine.

[59]  Henry A. Kautz,et al.  Generalized Plan Recognition , 1986, AAAI.

[60]  James A. Reggia,et al.  A Comparative Analysis of Methods for Expert Systems , 1986, Int. J. Man Mach. Stud..

[61]  William F. Punch,et al.  DESIGN CONSIDERATIONS FOR PEIRCE, A HIGH-LEVEL LANGUAGE FOR HYPOTHESIS ASSEMBLY. , 1986 .

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

[63]  Reid G. Simmons,et al.  Generate, Test and Debug: Combining Associational Rules and Causal Models , 1987, IJCAI.

[64]  Roger T. Hartley,et al.  The MGR Algorithm and its Application to the Generation of Explanations for Novel Events , 1987, Int. J. Man Mach. Stud..

[65]  Stephen Grossberg,et al.  A massively parallel architecture for a self-organizing neural pattern recognition machine , 1988, Comput. Vis. Graph. Image Process..

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

[67]  James A. Reggia,et al.  Self-processing networks and their biomedical implications , 1988, Proc. IEEE.

[68]  Chun-Hung Tzeng,et al.  A Theory of Heuristic Information in Game-Tree Search , 1988, Symbolic Computation.

[69]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[70]  Ashok K. Goel,et al.  Towards a 'neural' architecture for abductive reasoning , 1988, IEEE 1988 International Conference on Neural Networks.

[71]  Helder Coelho,et al.  Prolog by Example: How to Learn, Teach and Use It , 1988, Symbolic computation : Artificial intelligence.

[72]  Jerome A. Feldman,et al.  Connectionist Models and Their Properties , 1982, Cogn. Sci..

[73]  P. Thagard,et al.  Computational Philosophy of Science , 1988 .

[74]  Philippe Besnard,et al.  An Introduction to Default Logic , 1989, Symbolic Computation.

[75]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[76]  George Hripcsak,et al.  Toward Data Analysis Using Connectionist Modules. , 1989 .

[77]  James A. Reggia,et al.  A Data Flow Implementation of a Competition-Based Connectionist Model , 1989, J. Parallel Distributed Comput..

[78]  James A. Reggia,et al.  Parsimonious covering as a method for natural language interfaces to expert systems , 1989, Artif. Intell. Medicine.

[79]  Paul O'Rorke,et al.  Theory Formation by Abduction: Initial Results of a Case Study Based on the Chemical Revolution , 1989, ML.

[80]  Victor Lesser,et al.  The hearsay-II speech understanding system: a tutorial , 1990 .

[81]  Richard E. Neapolitan,et al.  Probabilistic reasoning in expert systems - theory and algorithms , 2012 .