Skip to main content

Computational Revision of Quantitative Scientific Models

  • Conference paper
  • First Online:
Discovery Science (DS 2001)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2226))

Included in the following conference series:

Abstract

Research on the computational discovery of numeric equations has focused on constructing laws from scratch, whereas work on theory revision has emphasized qualitative knowledge. In this paper, we describe an approach to improving scientific models that are cast as sets of equations. We review one such model for aspects of the Earth ecosystem, then recount its application to revising parameter values, intrinsic properties, and functional forms, in each case achieving reduction in error on Earth science data while retaining the communicability of the original model. After this, we consider earlier work on computational scientific discovery and theory revision, then close with suggestions for future research on this topic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Chown, E., & Dietterich, T. G. (2000). A divide and conquer approach to learning from prior knowledge. Proceedings of the Seventeenth International Conference on Machine Learning (pp. 143–150). San Francisco: Morgan Kaufmann.

    Google Scholar 

  • Durbin, R. & Rumelhart, D. E. (1989). Product units: A computationally powerful and biologically plausible extension. Neural Computation, 1, 133–142.

    Article  Google Scholar 

  • Kokar, M. M. (1986). Determining arguments of invariant functional descriptions. Machine Learning, 1, 403–422.

    Google Scholar 

  • Langley, P. (1979). Rediscovering physics with Bacon.3. Proceedings of the Sixth International Joint Conference on Artificial Intelligence (pp. 505–507). Tokyo, Japan: Morgan Kaufmann.

    Google Scholar 

  • Langley, P. (1998). The computer-aided discovery of scientific knowledge. Proceedings of the First International Conference on Discovery Science. Fukuoka, Japan: Springer.

    Google Scholar 

  • Langley, P., Simon, H. A., Bradshaw, G. L., & Å»ytkow, J. M. (1987). Scientific discovery: Computational explorations of the creative processes. Cambridge, MA: MIT Press.

    Google Scholar 

  • Lenat, D. B. (1977). Automated theory formation in mathematics. Proceedings of the Fifth International Joint Conference on Artificial Intelligence (pp. 833–842). Cambridge, MA: Morgan Kaufmann.

    Google Scholar 

  • Ourston, D., & Mooney, R. (1990). Changing the rules: A comprehensive approach to theory refinement. Proceedings of the Eighth National Conference on Artificial Intelligence (pp. 815–820). Boston: AAAI Press.

    Google Scholar 

  • Potter C. S., & 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.

    Google Scholar 

  • Potter, C. S., & 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.

    Article  Google Scholar 

  • Saito, K., & Nakano, R. (1997). Law discovery using neural networks. Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (pp. 1078–1083). Yokohama: Morgan Kaufmann.

    Google Scholar 

  • Saito, K., & Nakano, R. (2000). Discovery of nominally conditioned polynomials using neural networks, vector quantizers and decision trees. Proceedings of the Third International Conference on Discovery Science (pp. 325–329). Kyoto: Springer.

    Google Scholar 

  • Schwabacher, M., & Langley, P. (2001). Discovering communicable scientific knowledge from spatio-temporal data. Proceedings of the Eighteenth International Conference on Machine Learning (pp. 489–496). Williamstown: Morgan Kaufmann.

    Google Scholar 

  • Thornthwaite, C. W. (1948) An approach toward rational classification of climate. Geographic Review, 38, 55–94.

    Article  Google Scholar 

  • Todorovski, L., & Džeroski, S. (1997). Declarative bias in equation discovery. Proceedings of the Fourteenth International Conference on Machine Learning (pp. 376–384). San Francisco: Morgan Kaufmann.

    Google Scholar 

  • Towell, G. (1991). Symbolic knowledge and neural networks: Insertion, refinement, and extraction. Doctoral dissertation, Computer Sciences Department, University of Wisconsin, Madison.

    Google Scholar 

  • Washio, T. & Motoda, H. (1998). Discovering admissible simultaneous equations of large scale systems. Proceedings of the Fifteenth National Conference on Artificial Intelligence (pp. 189–196). Madison, WI: AAAI Press.

    Google Scholar 

  • Å»ytkow, J. M., Zhu, J., & Hussam, A. (1990). Automated discovery in a chemistry laboratory. Proceedings of the Eighth National Conference on Artificial Intelligence (pp. 889–894). Boston, MA: AAAI Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saito, K., Langley, P., Grenager, T., Potter, C., Torregrosa, A., Klooster, S.A. (2001). Computational Revision of Quantitative Scientific Models. In: Jantke, K.P., Shinohara, A. (eds) Discovery Science. DS 2001. Lecture Notes in Computer Science(), vol 2226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45650-3_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-45650-3_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42956-2

  • Online ISBN: 978-3-540-45650-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics