Chapter 6 – Diagnostic Abduction in AI

[1]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[2]  A. M. Turing,et al.  Checking a large routine , 1989 .

[3]  Dov M. Gabbay,et al.  The New Logic , 2001, Log. J. IGPL.

[4]  S. Read,et al.  Explanatory coherence in social explanations : a parallel distributed processing account , 1993 .

[5]  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..

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

[7]  Leon Henkin,et al.  Completeness in the theory of types , 1950, Journal of Symbolic Logic.

[8]  P. Thagard,et al.  Explanatory coherence , 1993 .

[9]  Benjamin Kuipers,et al.  Model-Based Monitoring of Dynamic Systems , 1989, IJCAI.

[10]  J. Pearl.  Causality: Models, Reasoning and Inference , 2000 .

[11]  J. Reggia,et al.  Abductive Inference Models for Diagnostic Problem-Solving , 1990, Symbolic Computation.

[12]  Judea Pearl,et al.  Distributed Revision of Composite Beliefs , 1987, Artif. Intell..

[13]  Robert G. Burton,et al.  A Neurocomputational Approach to Abduction , 1999, Minds and Machines.

[14]  Gregory F. Cooper,et al.  The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , 1990, Artif. Intell..

[15]  Theo A.F. Kuipers,et al.  Abduction aiming at empirical progress or eventruth approximationleading to a challenge for computational modelling , 1999 .

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

[17]  Dov M. Gabbay,et al.  Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics , 2002, Log. J. IGPL.

[18]  P. Churchland.  A Neurocomputational Perspective: The Nature of Mind and the Structure of Science , 1989 .

[19]  John R. Josephson,et al.  Abductive inference : computation, philosophy, technology , 1994 .

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

[21]  Dov M. Gabbay,et al.  Controlled Revision - An Algorithmic Approach for Belief Revision , 2003 .

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

[23]  Dale Jacquette.  Assumption and Mechanical Simulation of Hypothetical Reasoning , 2004 .

[24]  G. W. Strong,et al.  A solution to the tag-assignment problem for neural networks , 1989, Behavioral and Brain Sciences.

[25]  B. Westerink,et al.  Striatal dopamine–glutamate interactions reflected in substantia nigra reticulata firing , 1998, Neuroreport.

[26]  Dale Jacquette,et al.  Intentionality and Intensionality: Quotation Contexts and the Modal Wedge , 1986 .

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

[28]  P. Thagard,et al.  Making sense of people: Coherence mechanisms , 1997 .

[29]  Tomas Hrycej,et al.  Gibbs Sampling in Bayesian Networks , 1990, Artif. Intell..

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

[31]  Artur S. d'Avila Garcez,et al.  Reasoning about Time and Knowledge in Neural Symbolic Learning Systems , 2003, NIPS.

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

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

[34]  Paul Thagard,et al.  Coherence as Constraint Satisfaction , 2019, Cogn. Sci..

[35]  G. Gorry,et al.  Towards the simulation of clinical cognition. Taking a present illness by computer. , 1976, The American journal of medicine.

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

[37]  Herbert A. Simon,et al.  The Structure of Ill Structured Problems , 1973, Artif. Intell..

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

[39]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

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