Abstract
One of the major goals of 18th century chemistry was to determine the components of substances. In this paper we describe STAHL, a system that models significant portions of 18th century reasoning about compositional models. The system includes a number of heuristics for generating componential models from reactions, as well as error recovery mechanisms for dealing with inconsistent results. STAHL processes chemical reactions incrementally, and is therefore capable of reconstructing extended historic episodes, such as the century-long development of the phlogiston theory. We evaluate STAHL’s heuristics in the light of historical data, and conclude that the same reasoning mechanisms account for a variety of historical achievements, including Black’s models of mild alkali and Lavoisier’s oxygen theory. STAHL explains the generation of competing accounts of the same reactions, since the system’s reasoning chain depends on knowledge it has accumulated at earlier stages.
Article PDF
Similar content being viewed by others
References
Berthollet, M. (1897). Memoir on Dephlogisticated Marine Acid. In The early history of chlorine, alembic dub reprints, No. 13London.
Black, J. (1756). Experiments upon Magnesia alba, Quicklime, and some other Alkaline Substances. In Essays and observations, physical and literary...Edinburgh.
Cavendish, H. (1766). Three papers, containing experiments of factitious air. Philosophical Transactions, 56141–184.
Cavendish, H. (1784). Experiments on Air. Philosophical Transactions, 74119–153.
Cavendish, H. (1785). Experiments on Air. Philosophical Transactions, 75372–384.
Doyle, J. (1979). A truth maintenance system. Artificial intelligence, 12231–272.
Gay-Lussac, L.P., & Thenard, L.J. (1808). Sur les metaux de la potasse et de la soude. Annalesde chimie, 66205–217.
Gay-Lussac, L.P., & Thenard, L.J. (1810). Observations. Annales de chimie, 75290–316.
Kirwan R. (1789). An essay on phlogiston and the constitution of acids.London: J. Johnson.
Koertge, N. (1969). A study of relations between scientific theories:A test of the general correspondence principle.PhD thesis, University of London.
Krajewski, W. (1977). Correspondence principle and growth of science.Dordrecht, Holland: Reidel.
Langley, P. (1981). Data-driven discovery of physical laws. Cognitive Science, 531–54.
Langley, P., Zytkow, J.M., Simon, H.A., & Bradshaw, G.L. (1986). The search for regularity:Four aspects of scientific discovery. In R.S. Michalski, J.G.Carbonell & T.M. Mitchell (Eds.), Machine learning, Vol. 2.Los Altos, CA: Morgan Kaufmann Publishers.
Lavoisier, A. (1789). Traite elementaire de chimie.Paris: Chez Cuchet.
Lenat, D.B. (1977). Automated theory formation in mathematics. Proceedings of the Fifth International Joint Conference on Artificial Intelligence(pp. 833–842). Cambridge, Mass.: Morgan Kaufmann.
Musgrave, A. (1976). Why did oxygen supplant phlogiston? Research programmes in the chemical revolu-tion. In Method and appraisal in the physical sciences.Cambridge, England: Cambridge University Press.
Partington, J.R. (1961). A history of chemistry.London: Macmillan.
Parlington, J.R. (1962). A history of chemistry.London: Macmillan.
Priestley, J. Experiments and observations on different kinds of air. 3 Vols.London: J. Johnson 1774–5–7.
Scheelc, C.W. (1786). On Manganese, Manganesium or Magnesia Vilrariorum. In The chemical essays of Charles-William Scheele.London.
Stahl, G.E. (1730). Philosophical principles of universal chemistry.London: Osborn & Longman.
Stallman, R.M., & Sussman, G.J. (1977). Lorward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9135–196.
Zytkow, J.M., & Levenstam, A. (1982). Czy tlenowa teoria Lavoisiera byta lepszaod teorii flogistonowej? Przyczynek do analizy rewolucji naukowej. Was the oxygen theory of Lavoisier better than the phlogiston theory? A contribution to the analysis of the scientific revolution. Studia Filozoficzne, (9–10)39–65.
Rights and permissions
About this article
Cite this article
Zytkow, J.M., Simon, H.A. A Theory of Historical Discovery: The Construction of Componential Models. Mach Learn 1, 107–137 (1986). https://doi.org/10.1023/A:1022695221716
Issue Date:
DOI: https://doi.org/10.1023/A:1022695221716