Abstract
In this paper we distinguish between two computational paradigms for knowledge discovery that share the notion of heuristic search, but differ in the importance they place on using scientific formalisms to state discovered knowledge. We also report progress on computational methods for discovering such communicable knowledge in two domains, one involving the regulation of photosynthesis in phytoplankton and the other involving carbon production by vegetation in the Earth ecosystem. In each case, we describe a representation for models, methods for using data to revise existing models, and some initial results. In closing, we discuss related work on the computational discovery of communicable scientific knowledge and outline directions for future research.
This is a preview of subscription content, log in via an institution to check access.
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
Chown, E. and Dietterich, T.G., 2000, A divide and conquer approach to learning from prior knowledge, in: Proceedings of the Seventeenth International Conference on Machine Learning, Morgan Kaufmann, Morgan Kaufmann, San Francisco, CA, pp. 143–150.
Džeroski, S., and Todorovski, L., 1993, Discovering dynamics, in: Proceedings of the Tenth International Conference on Machine Learning, Morgan Kaufmann, San Francisco, CA, pp. 97–103.
Fayyad, U., Haussler, D., and Stolorz, P., 1996, KDD for science data analysis: Issues and examples, in: Proceedings of the Second International Conference of Knowledge Discovery and Data Mining, AAAI Press, Menlo Park, CA, pp. 50–56.
Forbus, K.D., 1984, Qualitative process theory, Artificial Intelligence 24:85–168.
Glymour, C., Scheines, R., Spirtes, P., and Kelly, K., 1987, Discovering Causal Structure: Artificial Intelligence, Philosophy of Science, and Statistical Modeling, Academic Press, New York.
Karp, P.D., 1990, Hypothesis formation as design, in: Computational Models of Scientific Discovery and Theory Formation, J. Shrager and P. Langley, eds., Morgan Kaufmann, San Francisco, CA, pp. 275–317.
Kocabas, S., 1991, Conflict resolution as discovery in particle physics, Machine Learning 6: 277–309.
Kuhn, T.S., 1962, The Structure of Scientific Revolutions, University of Chicago Press, Chicago, IL.
Kulkarni, D. and Simon, H.A., 1990, Experimentation in machine discovery, in: Computational Models of Scientific Discovery and Theory Formation, J. Shrager and P. Langley, eds., Morgan Kaufmann, San Francisco, CA, pp. 255–274.
Langley, P., 1979, Rediscovering physics with Bacon.3, in: Proceedings of the Sixth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, San Francisco, CA, pp. 505–507.
Langley, P., 2000, The computational support of scientific discovery, International Journal of Human-Computer Studies 53:393–410.
Langley, P., Simon, H.A., Bradshaw, G.L., and Żytkow, J.M., 1987, Scientific Discovery: Computational Explorations of the Creative Processes, MIT Press, Cambridge, MA.
Lenat, D.B., 1977, Automated theory formation in mathematics, in: Proceedings of the Fifth International Joint Conference on Artificial Intelligence, Morgan Kaufmann, San Francisco, CA, pp. 833–842.
Lindsay, R.K., Buchanan, B.G., Feigenbaum, E.A., and Lederberg, J., 1980, Applications of Artificial Intelligence for Organic Chemistry: The DENDRAL project, McGraw-Hill, New York.
Mitchell, F., Sleeman, D., Duffy, J.A., Ingram, M.D., and Young, R.W., 1997, Optical basicity of metallurgical slags: A new computer-based system for data visualisation and analysis, Ironmaking and Steelmaking 24:306–320.
Newell, A., and Simon, H.A., 1956, The logic theory machine, IRE Transactions on Information Theory IT-2:61–79.
O’Rorke, P., Morris, S., and Schulenberg, D., 1990, Theory formation by abduction: A case study based on the chemical revolution, in: Computational Models of Scientific Discovery and Theory Formation, J. Shrager and P. Langley, eds., Morgan Kaufmann, San Francisco, CA, pp. 197–224.
Ourston, D. and Mooney, R., 1990, Changing the rules: a comprehensive approach to theory refinement, in: Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, CA, pp. 815–820.
Polanyi, M., 1958, Personal Knowledge: Towards a Post-Critical Philosophy, University of Chicago Press, Chicago, IL.
Potter C.S. and Klooster, S.A., 1997, Global model estimates of carbon and nitrogen storage in litter and soil pools: Response to change in vegetation quality and biomass allocation, Tellus 49B:1–17.
Potter, C.S. and Klooster, S.A., 1998, Interannual variability in soil trace gas (CO2, N2O, NO) fluxes and analysis of controllers on regional to global scales, Global Biogeochemical Cycles 12:621–635.
Rajamoney, S., 1990, A computational approach to theory revision, in: Computational Models of Scientific Discovery and Theory Formation, J. Shrager and P. Langley, eds., Morgan Kaufmann, San Francisco, CA, pp. 225–254.
Rogers, S., Langley, P., and Wilson, C., 1999, Learning to predict lane occupancy using GPS and digital maps, in: Proceedings of the Fifth International Conference on Knowledge Discovery and Data Mining, ACM Press, San Diego, pp. 104–113.
Rose, D., and Langley, P., 1986, Chemical discovery as belief revision, in: Machine Learning 1:423–451.
Saito, K., Langley, P., Grenager, T., Potter, C, Torregrosa, A., and Kiooster, S.A., 2001, Computational revision of quantitative scientific models, in: Proceedings of the Fourth International Conference on Discovery Science, Springer, Heidelberg, Germany, pp. 336–349.
Saito, K. and Nakano, R., 1997, Law discovery using neural networks, in: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence Morgan Kaufmann, San Francisco, CA, pp. 1078–1083.
Simon, H.A., 1954, Spurious correlation: A causal interpretation, Journal of the American Statistical Association 49:467–479.
Simon, H.A., 1966, Scientific discovery and the psychology of human problem solving, in: Mind and Cosmos: Essays in Contemporary Science and Philosophy, R.G. Colodny, ed., University of Pittsburgh Press, Pittsburgh, PA.
Shrager, J., and Langley, P., eds., 1990, Computational Models of Scientific Discovery and Theory Formation, Morgan Kaufmann, San Francisco, CA.
Shrager, J., Langley, P., and Pohorille, A., 2002, Guiding revision of regulatory models with expression data, in: Proceedings of the Pacific Symposium on Biocomputing, Lihue, Hawaii, pp. 486–497.
Todorovski, L., and Džeroski, S., 2001, Theory revision in equation discovery, in: Proceedings of the Fourth International Conference on Discovery Science, Springer, Heidelberg, Germany, pp. 389–400.
Washio, T. and Motoda, H., 1998, Discovering admissible simultaneous equations of large scale systems, in: Proceedings of the Fifteenth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, CA, pp. 189–196.
Żytkow, J.M. and Simon, H.A., 1986, A theory of historical discovery: The construction of componential models, Machine Learning 1:107–137.
Żytkow, J.M., Zhu, J., and Hussam, A., 1990, Automated discovery in a chemistry laboratory, in: Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI Press, Menlo Park, CA, pp. 889–894.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Langley, P., Shrager, J., Saito, K. (2002). Computational Discovery of Communicable Scientific Knowledge. In: Magnani, L., Nersessian, N.J., Pizzi, C. (eds) Logical and Computational Aspects of Model-Based Reasoning. Applied Logic Series, vol 25. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-0550-0_10
Download citation
DOI: https://doi.org/10.1007/978-94-010-0550-0_10
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-0791-0
Online ISBN: 978-94-010-0550-0
eBook Packages: Springer Book Archive