Abstract
In this paper I shall sketch one way that scientific knowledge or information might be stored in a digital computer and used to model the problem solving activity of empirical scientists. Among the types of problem solving activity that might be modeled in this way is that which is a part of some systematically informed “research program” associated with a scientific community. Thus, what I am proposing is, in part at least, a way of making a computer model the kind of scientific activity first described by Imre Lakato.[13] This, I hope, makes the paper an appropriate contribution to a conference in his honor.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Balzer, W., and Sneed, J. D., ‘Generalized Net Structures of Empirical Theories, I and II’ Studia Logic XXX (3), 1977,195–212;
Studia LogicXXXVII (2), 1978, 168–194.
Balzer, W., Moulines, C.-U. and Sneed, J. D., ‘The Structure of Empirical Science: Local and Global’, to appear in Proceedings of the 7th International Congress of Logic, Methodology and Philosophy of Science, 1983. North Holland, Amsterdam.
Balzer, W., Moulines, C.-U. and Sneed, J. D., An Architectonic for Science. Reidel, Dordrecht, 1987.
Bradshaw, G., Langley, P., Simon, H., ‘Studying Scientific Discovery by Computer Simulation’, Science, 2 December 1983, 222, No. 4627, 917–975.
Bradshaw, G., Langley, P., Simon, H., ‘Rediscovering Chemistry with the BACON System’, in R. Michalski, J. Carbonell, and T. Mitchell (eds.) Machine Learning: An Artificial Intelligence Approach.Tioga, Palo Alto, CA., 1983.
Clocksin, W. and Mellish, C., Programming in PROLOG. 2nd ed., Springer, Berlin, 1985.
Duda, R., and Shortliff, E., ‘Expert Systems Research”, Science, 15 April 1983, 220, No. 4594, 261–268.
Gasching, J., ‘Application of the PROSPECTOR System to Geological Exploration Problems’, Machine Intelligence, 10,1988, 301–323.
Hogger, C., ‘Concurrent Logic Programming’, in K. Clark and S.-A. Taernlund (eds.) Logic Programming. Academic Press, New York, 1982.
Kornfeld, W. and Hewitt, C., ‘The Scientific Community Metaphor’, IEEE Transactions on Systems, Man and Cybernetics. SMC-11,1,1981.
Kuhn, T. S., ‘Theory-Change as Structure-Change: Comments on the Sneed Formalism’, Erkenntnis, 10,1976,179–199.
Kuhn, T. S., The Structure of Scientific Revolutions. University of Chicago Press, Chicago, 1962.
Lakatos, I., ‘Falsification and the Methodology of Scientific Research Programmes’, in I. Lakatos and A. Musgrave (eds.), Criticism and the Growth of Knowledge. Cambridge, 1970, pp. 91–195.
Langley, P., Bradshaw, G., and Simon, H., BACON.5: The Discovery of Conservation Laws. CIP Working Paper No. 430, Department of Psychology, Carnegie Mellon University, Pittsburgh, PA, 1981.
Moulines, C.-U., ‘Theory-Nets and the Evolution of Theories: The Example of Newtonian Mechanics’, Synthese, 4,1979,417.
Sneed, J. D., The Logical Structure of Mathematical Physics, revised edition. Reidel, Dordrecht, 1979.
Sneed, J. D., ‘Invariance Principles and Theoretization’, in I. Niiniluoto and R. Tuomela (eds.), The Logic and Epistemology of Scientific Change. North Holland, Amsterdam, 1979.
Sowa, J. F., Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA., 1984.
Stegmueller, W., Theorienstrukturen und Theoriendynamik. Springer, Berlin, 1973.
Stegmueller, W., Theorie und Erfahrung. Springer, Berlin, 1970. English translation by W. Wohlhutter, The Structure and Dynamics of Theories. 1976.
Stegmueller, W., Theorie und Erfahrung: Band II, Dritter Teilband; Die Entwicklung des neuen Strukturalismus seit 1973. Springer, Berlin, 1986.
van Emden, M., and de Lucena Filho, G., ‘Predicate Logic as a Language for Parallel Programming’, in K. Clark and S.-A. Taernlund (eds.), Logic Programming. Academic Press, New York, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Kluwer Academic Publishers
About this chapter
Cite this chapter
Sneed, J.D. (1989). Machine Models for the Growth of Knowledge: Theory Nets in Prolog. In: Gavroglu, K., Goudaroulis, Y., Nicolacopoulos, P. (eds) Imre Lakatos and Theories of Scientific Change. Boston Studies in the Philosophy of Science, vol 111. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-3025-4_19
Download citation
DOI: https://doi.org/10.1007/978-94-009-3025-4_19
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-7860-3
Online ISBN: 978-94-009-3025-4
eBook Packages: Springer Book Archive