DENDRAL: A Case Study of the First Expert System for Scientific Hypothesis Formation

Lindsay, R.K., B.G. Buchanan, E.A. Feigenbaum and J. Lederberg, DENDRAL: a case study of the first expert system for scientific hypothesis formation, Artificial Intelligence 61 (1993) 209-261. The DENDRAL Project was one of the first large-scale programs to embody the strategy of using detailed, task-specific knowledge about a problem domain as a source of heuristics, and to seek generality through automating the acquisition of such knowledge. This paper summarizes the major conceptual contributions and accomplishments of that project. It is an attempt to distill from this research the lessons that are of importance to artificial intelligence research and to provide a record of the final status of two decades of work.

[1]  Bruce G. Buchanan,et al.  On generality and problem solving: a case study using the DENDRAL program , 1970 .

[2]  Bruce G. Buchanan,et al.  Dendral and Meta-Dendral: Their Applications Dimension , 1978, Artif. Intell..

[3]  D. Dennett.  When philosophers encounter artificial intelligence , 1989 .

[4]  James L. McClelland,et al.  Parallel distributed processing: explorations in the microstructure of cognition, vol. 1: foundations , 1986 .

[5]  J. Lederberg.  DENDRAL-64 - A system for computer construction, enumeration and notation of organic molecules as tree structures and cyclic graphs. Part II - Topology of cyclic graphs Interim report , 1965 .

[6]  Raymond E. Carhart,et al.  Computer-Assisted Structure Elucidation: Modelling Chemical Reaction Sequences Used in Molecular Structure Problems , 1977 .

[7]  A. Newell.  Unified Theories of Cognition , 1990 .

[8]  Douglas B. Lenat,et al.  On the thresholds of knowledge , 1987, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

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

[10]  Dennis H. Smith,et al.  Applications of artificial intelligence for chemical inference. XVII. Approach to computer-assisted elucidation of molecular structure , 1975 .

[11]  Larry Masinter,et al.  Constructive graph labeling using double cosets , 1974, Discret. Math..

[12]  E. Feigenbaum,et al.  Applications of artificial intelligence for chemical inference—X , 1973 .

[13]  Ira P. Goldstein,et al.  Artificial Intelligence, Language, and the Study of Knowledge , 1977, Cogn. Sci..

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

[15]  Anthony C. Hearn,et al.  REDUCE 2: A system and language for algebraic manipulation , 1971, SYMSAC '71.

[16]  Peter D. Karp.  Hypothesis Formation and Qualitative Reasoning in Molecular Biology , 1990, AI Mag..

[17]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[18]  Robert K. Lindsay,et al.  Symbol-Processing Theories and the SOAR Architecture , 1991 .

[19]  James G. Nourse,et al.  APPLICATIONS OF ARTIFICIAL INTELLIGENCE FOR CHEMICAL INFERENCE. 29. EXHAUSTIVE GENERATION OF STEREOISOMERS FOR STRUCTURE ELUCIDATION , 1979 .

[20]  James G. Nourse.  Generalized stereoisomerization modes , 1977 .

[21]  Bruce G. Buchanan,et al.  An application of artificial intelligence to the interpretation of mass spectra. , 1971 .

[22]  Carl Djerassi,et al.  Applications of Artificial Intelligence for Chemical Inference. Part XIX. Computer Generation of Ion Structures , 1976 .

[23]  H. Simon,et al.  Rediscovering Chemistry with the Bacon System , 1983 .

[24]  Yossi Shiloach,et al.  Computer-Assisted Examination of Chemical Compounds for Structural Similarities , 1979, J. Chem. Inf. Comput. Sci..

[25]  H A Simon,et al.  Information-processing analysis of perceptual processes in problem solving. , 1969, Psychological review.

[26]  James G. Nourse,et al.  Application of the Permutation Group to Stereoisomer Generation for Computer Assisted Structure Elucidation , 1979 .

[27]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[28]  Bertram Raphael,et al.  Robot Research at Stanford Research Institute , 1972 .

[29]  John McCarthy,et al.  Programs with common sense , 1960 .

[30]  Neil Gray,et al.  Applications of Artificial Intelligence for Organic Chemistry: Analysis of C-13 Spectra , 1984, Artif. Intell..

[31]  R. K. Lindsay.  Images and inference , 1988, Cognition.

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

[33]  W. A. Martin,et al.  The MACSYMA system , 1971, SYMSAC '71.

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

[35]  James G. Nourse,et al.  APPLICATIONS OF ARTIFICIAL INTELLIGENCE FOR CHEMICAL INFERENCE. 29. EXHAUSTIVE GENERATION OF STEREOISOMERS FOR STRUCTURE ELUCIDATION , 1979 .

[36]  Dennis H. Smith,et al.  Applications of artificial intelligence for chemical inference—XXI: Chemical studies of marine invertebrates—XVII. The computer-assisted identification of [+]-palustrol in the marine organism Cespitularia sp., aff. subviridis☆☆☆ , 1976 .

[37]  F. McLafferty.  Interpretation of Mass Spectra , 1966 .

[38]  J. Lederberg.  Systematics of Organic Molecules, Graph Topology, and Hamilton Circuits , 1966 .

[39]  Herbert A. Simon,et al.  BACON.5: The Discovery of Conservation Laws , 1981, IJCAI.

[40]  D. H. Smith,et al.  Applications of artificial intelligence for chemical inference. IX. Analysis of mixtures without prior separation as illustrated for estrogens. , 1973, Journal of the American Chemical Society.

[41]  E. A. Feigenbaum,et al.  An Initial Problem Statement for a Machine Induction Research Project , 1965 .

[42]  Joshua Lederberg.  DENDRAL-64: A System for Computer Construction, Enumeration and Notation of Organic Molecules as Tree Structures and Cyclic Graphs. Part I. Notational Algorithm for Tree Structures , 1964 .

[43]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[44]  D. H. Smith,et al.  Applications of artificial intelligence for chemical inference. 8. An approach to the computer interpretation of the high resolution mass spectra of complex molecules. Structure elucidation of estrogenic steroids. , 1972, Journal of the American Chemical Society.

[45]  B. Chait,et al.  High-accuracy molecular mass determination of proteins using matrix-assisted laser desorption mass spectrometry. , 1990, Analytical chemistry.

[46]  Tom M. Mitchell,et al.  MODEL-DIRECTED LEARNING OF PRODUCTION RULES1 , 1978 .

[47]  James G. Nourse,et al.  Conformation specification of chemical structures in computer programs , 1983, J. Chem. Inf. Comput. Sci..

[48]  Larry Masinter,et al.  An algorithm for the construction of the graphs of organic molecules , 1974, Discret. Math..

[49]  Bruce G. Buchanan,et al.  Heuristic DENDRAL - A program for generating explanatory hypotheses in organic chemistry. , 1968 .

[50]  Joshua Lederberg,et al.  Applications of Artificial Intelligence for Chemical Inference. Part VI. Approach to a General Method of Interpreting Low Resolution Mass Spectra with a Computer , 1970 .

[51]  Raymond E. Carhart,et al.  Structure Elucidation Based on Computer Analysis of High and Low Resolution Mass Spectral Data , 1978 .

[52]  G. Kane.  Parallel Distributed Processing: Explorations in the Microstructure of Cognition, vol 1: Foundations, vol 2: Psychological and Biological Models , 1994 .

[53]  George W. Ernst,et al.  GPS : a case study in generality and problem solving , 1971 .

[54]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[55]  Dennis H. Smith,et al.  Structural isomerism of mono- and sesquiterpenoid skeletons☆☆☆ , 1976 .

[56]  D. Rittenberg,et al.  Interpretation of mass spectra of organic compounds , 1965 .

[57]  K. VanLehn.  Architectures for Intelligence: The Twenty-Second Carnegie Symposium on Cognition , 1990 .

[58]  Edward A. Feigenbaum,et al.  Artificial intelligence: themes in the second decade , 1968, IFIP Congress.

[59]  J. G. Nourse.  Applications of the Permutation Group in Dynamic Stereochemistry , 1979 .

[60]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .