Abstract
The “scientific method” involves two very different kinds of intelligent behavior, sometimes called induction and deduction respectively. A theory is somehow “induced”, sometimes out of sheer speculation, in order to account for some hitherto baffling or provocative observations of nature. Then, the theory is applied deductively, i.e., logically or mathematically rigorous conclusions are made. If the theory is true, then certain results must be obtained. Philosophers of science are now generally agreed that a theory can never be proven or logically derived from factual data. We accept a theory as true when it has made some new predictions, different from the predictions of other theories, which survive the test of experimental measurement.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Buchanan, B.G., Sutherland, G.L., and Feigenbaum, E.A., “HEURISTIC DENDRAL: A Program for Generating Explanatory Hypotheses in Organic Chemistry”. In Machine Intelligence 4 (B. Meltzer and D. Michie, eds.) Edinburgh University Press (1969), (also Stanford Artificial Intelligence Project Memo No. 62)
Buchanan, B.G., Sutherland, G.L., Feigenbaum, E.A., “Toward an Understanding of Information Processes of Scientific Inference in the Context of Organic Chemistry”, in Machine Intelligence 5, (B. Meltzer and D. Michie, eds.) Edinburgh University Press (in press), (also Stanford Artificial Intelligence Project Memo no. 99)
Churchman, C.W., Buchanan, B.G., “On the Design of Inductive Systems: Some Philosophical Problems”. British Journal for the Philosophy of Science, (Autumn 1969)
Duffield, A.M., Robertson, A.V., Djerassi, C, Buchanan, B.G., Sutherland, G.L., Feigenbaum, E.A., Lederberg, J., “Application of Artificial Intelligence for Chemical Inference II: Interpretation of Low Resolution Mass Spectra of Ketones”. Journal of the American Chemical Society, 91:11 (May 21, 1969)
Feigenbaum, E.A., “Artificial Intelligence: Themes in the Second Decade”. Proceedings of the IFIP 68 International Congress, Edinburgh, August 1968 (in press), (also Stanford Artificial Intelligence Project Memo No. 67)
Lederberg, J., “Computation of Molecular Formulas for Mass Spectrometry”, Holden-Day, Inc. (1964)
Lederberg, J., “DENDRAL-64 - A System for Computer Construction, Enumeration and Notation of Organic Molecules as Tree Structures and Cyclic Graphs”, (technical reports to NASA, also available from the author and summarized in (10))
Part I. Notational algorithm for tree structures (1964) CR.57029
Part II. Topology of cyclic graphs (1965) CR.68898
Part III. Complete chemical graphs; embedding rings in trees (1969)
Lederberg, J., “Online computation of molecular formulas from mass number.” NASA CR-94977 (1968)
Lederberg, J., “Systematics of organic molecules, graph topology and Hamilton circuits. A General outline of the DENDRAL system.” NASA CR-48899 (1965)
Lederberg, J., “Topology of Molecules”, in The Mathematical Sciences — A Collection of Essays, (ed.) Committee on Support of Research in the Mathematical Sciences (COSRIMS), National Academy of Sciences -National Research Council, M.I.T. Press, (1969), pp. 37–51
Lederberg, J., Feigenbaum, E.A., “Mechanization of Inductive Inference in Organic Chemistry”, in B. Kleinmuntz (ed.) Formal Representations for Human Judgment, (Wiley, 1969) (also Stanford Artificial Intelligence Project Memo No. 54)
Lederberg, J., Sutherland, G.L., Buchanan, B.G., Feigenbaum, E.A., Robertson, A.V., Duffield, A.M., Djerassi, C, “Applications of Artificial Intelligence for Chemical Inference I. The Number of Possible Organic Compounds: Acyclic Structures Containing C, H, O and N”. Journal of the American Chemical Society, 91:11 (May 21, 1969)
Schroll, G., Duffield, A.M., Djerassi, C, Buchanan, B.G., Sutherland, G.L., Feigenbaum, E.A., Lederberg, J., “Application of Artificial Intelligence for Chemical Inference III. Aliphatic Ethers Diagnosed by Their Low Resolution Mass Spectra and NMR Data”. Journal of the American Chemical Society (in press)
Sutherland, G., “HEURISTIC DENDRAL: A Family of LISP Programs”, to appear in D. Bobrow (ed.), LISP Applications (also Stanford Artificial Intelligence Project Memo No. 80)
Waterman, D.A., “Machine Learning of Heuristics”, Ph.D. Dissertation (Stanford University Computer Science Department), (Also Stanford Artificial Intelligence Project Memo No. 74)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1970 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Lederberg, J., Sutherland, G.L., Buchanan, B.G., Feigenbaum, E.A. (1970). A Heuristic Program for Solving a Scientific Inference Problem: Summary of Motivation and Implementation. In: Banerji, R.B., Mesarovic, M.D. (eds) Theoretical Approaches to Non-Numerical Problem Solving. Lecture Notes in Operations Research and Mathematical Systems, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-99976-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-99976-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-04900-5
Online ISBN: 978-3-642-99976-5
eBook Packages: Springer Book Archive