Automated scientific discovery

We investigate the bidirectional links between knowledge discovery in databases (KDD) and automated scientific discovery. Both are concerned with discovery of knowledge, but they differ in many ways. We contrast them and explain why they differ. Then we propose the interchange of ideas and ways of thinking between automated scientific discovery and KDD, so that results in each area can influence the other.

[1]  Herbert A. Simon,et al.  The Processes of Scientific Discovery: The Strategy of Experimentation , 1988, Cogn. Sci..

[2]  Daniel N. Osherson,et al.  A universal inductive inference machine , 1991, Journal of Symbolic Logic.

[3]  Daniel N. Osherson,et al.  Identification in the limit of first order structures , 1986, Journal of Philosophical Logic.

[4]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, CACM.

[5]  R. Harré,et al.  Probability and Confirmation , 1970 .

[6]  H. Simon,et al.  Fitness Requirements for Scientific Theories Containing Recursive Theoretical Terms , 1993, The British Journal for the Philosophy of Science.

[7]  Jan M. Zytkow,et al.  Constructing Models of Hidden Structure , 1991, ISMIS.

[8]  Cullen Schaffer.  Bivariate Scientific Function Finding in a Sampled, Real-Data Testbed , 1993, Mach. Learn..

[9]  Daniel N. Osherson,et al.  Paradigms of truth detection , 1989, J. Philos. Log..

[10]  Donald Rose.  Using Domain Knowledge to Aid Scientific Theory Revision , 1989, ML.

[11]  Wolfgang Maass,et al.  On the complexity of learning from counterexamples , 1989, 30th Annual Symposium on Foundations of Computer Science.

[12]  Vladimir Vapnik,et al.  Chervonenkis: On the uniform convergence of relative frequencies of events to their probabilities , 1971 .

[13]  Ray J. Solomonoff,et al.  A Formal Theory of Inductive Inference. Part I , 1964, Inf. Control..

[14]  Manuel Blum,et al.  Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..

[15]  Jieming Zhu,et al.  Automated Discovery in a Chemistry Laboratory , 1990, AAAI.

[16]  Herbert A. Simon,et al.  Scientific discovery: compulalional explorations of the creative process , 1987 .

[17]  Ray J. Solomonoff,et al.  A Formal Theory of Inductive Inference. Part II , 1964, Inf. Control..

[18]  Jan M. Zytkow,et al.  Scientific Model-Building as Search in Matrix Spaces , 1993, AAAI.

[19]  David Haussler,et al.  Learnability and the Vapnik-Chervonenkis dimension , 1989, JACM.

[20]  Marjorie Moulet.  A Symbolic Algorithm for Computing Coefficients' Accuracy in Regression , 1992, ML.

[21]  Herbert A. Simon,et al.  The Right Representation for Discovery: Finding the Conservation of Momentum , 1992, ML.

[22]  E. Feigenbaum,et al.  Applications of artificial intelligence for chemical inference. 22. Automatic rule formation in mass spectrometry by means of the meta-DENDRAL program , 1976 .

[23]  Ehud Y. Shapiro.  An Algorithm that Infers Theories from Facts , 1981, IJCAI.

[24]  Daniel N. Osherson,et al.  On approximate truth , 1989, COLT '89.

[25]  Jan M. Zytkow,et al.  Automated Discovery of Empirical Equations from Data , 1991, ISMIS.

[26]  P. Langley,et al.  Computational Models of Scientific Discovery and Theory Formation , 1990 .

[27]  Clark Glymour.  Inductive inference in the limit , 1985 .

[28]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[29]  Jan M. Zytkow,et al.  Combining many searches in the FAHRENHEIT discovery system , 1987 .

[30]  Leslie G. Valiant,et al.  A general lower bound on the number of examples needed for learning , 1988, COLT '88.