How Can Computer Programs Reason ?

Computer programs are increasingly being called on to suggest or to make decisions in medical applications. Traditional methods of decision making based on flowcharts and probabilistic classification have proven to be too cumbersome to apply to large domains. As a result, programs employing artificial intelligence methods were introduced in the 1970’s. Deficiencies in those methods limited the capabilities of the resulting programs and suggested many research problems now being pursued in medical AI. Current research plans call for progress in research on representing the causal, pathophysiologic basis of disease, temporal evolution of cases, likelihood and utility, and the use of past experience in problem-solving. In addition, efforts to integrate progress in various areas and to demonstrate the applicability of the new methods are also key. A new generation of programs will result, with more sophisticated capabilities to bring to bear on the difficult problems of medical reasoning. The computing elements of health care are becoming more and more significant, and increasing sophistication is demanded of the decision-making components of medical devices. Although this trend is generic to all of medicine, it is perhaps most advanced and clearly visible in the types of instruments that are the focus of the cardiostim meeting. This paper describes developments in the application of artificial intelligence (AI) methods to building programs that reason in a manner approximating the performance of human health practitioners. In addition, it points to some of the current outstanding research problems in medical AI and suggests some promising current research directions.

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

[2]  Douglas B. Lenat,et al.  CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks , 1986, AI Mag..

[3]  Michael P. Wellman.  Probabilistic Semantics for Qualitative Influences , 1987, AAAI.

[4]  A. C. Scott,et al.  Evaluating the performance of a computer-based consultant. , 1979, Computer programs in biomedicine.

[5]  Benjamin Kuipers,et al.  Causal Reasoning in Medicine: Analysis of a Protocol , 1984, Cogn. Sci..

[6]  David A. Evans,et al.  Initial phase in developing representations for mapping medical knowledge : INTERNIST-I QMR, HELP, and MeSH , 1987 .

[7]  Thomas Kaczmarek,et al.  Recent Developments in NIKL , 1986, AAAI.

[8]  Edward H. Shortliffe,et al.  Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .

[9]  Judea Pearl,et al.  How to Do with Probabilities What People Say You Can't , 1985, Conference on Artificial Intelligence Applications.

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

[11]  William J. Long,et al.  A Control Structure for Time Dependent Reasoning , 1983, IJCAI.

[12]  E. Shortliffe.  Mycin: computer-based medical consultations , 1976 .

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

[14]  G. Gorry,et al.  Decision analysis as the basis for computer-aided management of acute renal failure. , 1973, The American journal of medicine.

[15]  G. Gorry,et al.  Capturing clinical expertise. A computer program that considers clinical responses to digitalis. , 1978, The American journal of medicine.

[16]  Kenneth M. Kahn,et al.  Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[17]  Peter Szolovits,et al.  Artificial Intelligence in Medicine , 1982 .

[18]  Michael P. Wellman.  Formulation of tradeoffs in planning under uncertainty , 1988 .

[19]  Sourmitra Dutta,et al.  Temporal reasoning in medical expert systems , 1988, Proceedings of the Symposium on the Engineering of Computer-Based Medical.

[20]  Phyllis Koton,et al.  Reasoning about Evidence in Causal Explanations , 1988, AAAI.

[21]  H. Sacks,et al.  Readings in Medical Artificial Intelligence: The First Decade , 1985 .

[22]  J P Kassirer,et al.  Dealing with uncertainty, risks, and tradeoffs in clinical decisions. A cognitive science approach. , 1988, Annals of internal medicine.

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

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

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

[26]  G A Gorry,et al.  Sequential diagnosis by computer. , 2015, JAMA.

[27]  Arthur Selzer,et al.  CIRCULATORY PHYSIOLOGY: Cardiac Output and Its Regulation , 1964 .

[28]  Peter Szolovits,et al.  Representing Medical Knowledge in a Terminological Language is Difficult , 1988 .

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

[30]  S G Pauker,et al.  Clinical decision consultation service. , 1986, The American journal of medicine.

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

[32]  F. T. de Dombal,et al.  Human and Computer-aided Diagnosis of Abdominal Pain: Further Report with Emphasis on Performance of Clinicians , 1974, British medical journal.

[33]  Elisha Sacks.  Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations , 1988 .

[34]  John K. Tsotsos,et al.  Computer assessment of left ventricular wall motion: the ALVEN expert system. , 1985, Computers and biomedical research, an international journal.

[35]  William J. Long,et al.  The Development and Use of a Causal Model for Reasoning about Heart Failure , 1988 .

[36]  Michael P. Wellman,et al.  Automated Critiquing of Medical Decision Trees , 1989, Medical decision making : an international journal of the Society for Medical Decision Making.

[37]  M. Weinstein,et al.  Clinical Decision Analysis , 1980 .

[38]  F T de Dombal,et al.  Geographical Variation in Disease Presentation , 1981, Medical decision making : an international journal of the Society for Medical Decision Making.

[39]  William J. Long,et al.  Reasoning About State From Causation and Time in a Medical Domain , 1983, AAAI.

[40]  H. E. Pople,et al.  Internist-1, an experimental computer-based diagnostic consultant for general internal medicine. , 1982, The New England journal of medicine.

[41]  Koton Phyllis,et al.  Using experience in learning and problem solving , 1988 .