Scientific discovery is a complex process, and in this paper we consider three of its many facets - discovering laws of qualitative structure, finding quantitative relations between variables, and formulating sfructural models of reactions. We describe three discovery systems - GLAUBER, BACON, and DALTON - that address these three aspects of the scientific process. GLAUBER forms classes of objects based on regularities in qualitative data, and states abstract laws in terms of these classes. BACON includes heuristics for finding numerical laws, for postulating intrinsic properties, and for noting common divisors. DALTON formulates molecular models that account for observed reactions, taking advantage of theoretical assumptions to direct its search if they are available. We show how each of the programs is capable of rediscovering laws or models that were found in the early days of chemistry. Finally, we consider some possble interactions between these systems, and the need for an integrated theory of discovery.
[1]
Ryszard S. Michalski,et al.
An Application of AI Techniques to Structuring Objects into an Optimal Conceptual Hierarchy
,
1981,
IJCAI.
[2]
Herbert A. Simon,et al.
Data-driven and expectation-driven discovery of empirical laws
,
1982
.
[3]
Bruce G. Buchanan,et al.
On generality and problem solving: a case study using the DENDRAL program
,
1970
.
[4]
John Seely Brown,et al.
Session 6 Theorem Proving and Logic : I I STEPS TOWARD AUTOMATIC THEORY FORMATION
,
2006
.
[5]
Pat Langley,et al.
Data-Driven Discovery of Physical Laws
,
1981,
Cogn. Sci..
[6]
Douglas B. Lenat,et al.
Automated Theory Formation in Mathematics
,
1977,
IJCAI.
[7]
Donald Gerwin,et al.
Information processing, data inferences, and scientific generalization
,
1974
.