Diagnostic problem‐solving with causal chaining

Parsimonious covering theory is a formal model of abductive diagnostic problem‐solving, Diagnostic knowledge is represented as a network of causal associations, and inferences are made using a sequential hypothesize‐and‐test procedure. In this article, we extend the methods available in parsimonious covering theory and related models to handle causal chaining (situations where multistep causal associations exist between disorders and manifestations). These extensions make parsimonious covering theory capable of representing a much broader range of real‐world diagnostic problems.

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

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

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

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

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

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

[7]  Ronald R. Yager Explanatory Models in Expert Systems , 1985, Int. J. Man Mach. Stud..

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

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

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

[11]  Yun Peng,et al.  Plausibility of Diagnostic Hypotheses: The Nature of Simplicity , 1986, AAAI.

[12]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

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

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