Abstract
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.
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
Arons, A. B., Development of Concepts of Physics: The Rationalization of Mechanics to the First Theory of Atomic Structure, Addison-Wesley, Reading, MA, 1965.
Bradshaw, G. L., Langley, P. and Simon, H. A., `BACON.4: The discovery of intrinsic properties,“ Proceedings of the Third National Conference of the Canadian Society for Computational Studies of Intelligence, Victoria, pp. 19–25, May 1980.
Buchanan, B. G., Feigenbaum, E. A., and Sridharan, N. S. S., “Heuristic theory formation,” Machine Intelligence 7, D. Michie (Ed.), American Elsevier Publishing Co., New York, pp. 267–290, 1972.
Forgy, C. L., “OPS4 User’s Manual”, Technical Report CMU-CS-79–132, Carnegie-Mellon University, Dept. of Computer Science, July 1979.
Langley, P., `BACON.1: A general discovery system,“ Proceedings of the Second National Conference of the Canadian Society for Computational Studies in Intelligence, Toronto, pp. 173–180, July 1978.
Langley, P. W., Descriptive Discovery Processes: Experiments in Baconian Science, Ph.D. dissertation, Carnegie-Mellon University, Dept. of Psychology, December 1979.
Langley, P., “Data-driven discovery of physical laws,” Cognitive Science, No. 5, pp. 31–54, 1981.
Langley, P., Bradshaw, G., and Simon, H. A., “BACON.5: The discovery of conservation laws,” Proceedings of the Seventh International Joint Conference on Artificial Intelligence, Vancouver, pp. 121–126, August 1981.
Langley, P., Bradshaw, G., and Simon, H. A., “Data-driven and expectation-driven discovery of empirical laws,” Proceedings of the Fourth National Conference of the Canadian Society for Computational Studies of Intelligence, Saskatoon, pp. 137–143, May 1982.
Lenat, D. B., “Automated theory formation in mathematics,” Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI, Cambridge, MA, pp. 833–842, August 1977.
Simon, H. A. and Lea, G., “Problem solving and rule induction: A unified view,” Knowledge and Cognition, L. Gregg (Ed.), Lawrence Erlbaum Associates, Hillsdale, N.J., 1974.
Tuomela, R., Theoretical Concepts, Springer-Verlag, New York, 1973.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Langley, P., Bradshaw, G.L., Simon, H.A. (1983). Rediscovering Chemistry with the Bacon System. In: Michalski, R.S., Carbonell, J.G., Mitchell, T.M. (eds) Machine Learning. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-12405-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-662-12405-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-12407-9
Online ISBN: 978-3-662-12405-5
eBook Packages: Springer Book Archive