BACON.4 is a production system that discovers empirical laws. The program represents information at varying levels of description, with higher levels summarizing the levels below them. BACON.4 employs a small set of data-driven heuristics to detect regularities in numeric and nominal data. These heuristics note constancies and trends, causing BACON.4 to formulate hypotheses, to define theoretical terms, and to postulate intrinsic properties. The introduction of intrinsic properties plays an important role in BACON.4’s rediscovery of Ohm’s law for electric circuits and Archimedes’ law of displacement. When augmented with a heuristic for noting common divisors, the system is able to replicate a number of early chemical discoveries, arriving at Proust’s law of definite proportions, Gay-Lussac’s law of combining volumes, Cannizzaro’s determination of the relative atomic weights, and Prout’s hypothesis. The BACON.4 heuristics, including the new technique for finding common divisors, appear to be general mechanisms applicable to discovery in diverse domains.
[1]
Development of Concepts of Physics. From the rationalization of mechanics to the first theory of atomic structure
,
1965
.
[2]
H. Simon,et al.
Problem solving and rule induction: A unified view.
,
1974
.
[3]
Lee W. Gregg,et al.
Knowledge and cognition
,
1974
.
[4]
Douglas B. Lenat,et al.
Automated Theory Formation in Mathematics
,
1977,
IJCAI.
[5]
Charles L. Forgy.
OPS4 user's manual
,
1979
.
[6]
Herbert A. Simon,et al.
BACON.5: The Discovery of Conservation Laws
,
1981,
IJCAI.
[7]
Pat Langley,et al.
Data-Driven Discovery of Physical Laws
,
1981,
Cogn. Sci..
[8]
Herbert A. Simon,et al.
Data-driven and expectation-driven discovery of empirical laws
,
1982
.