Skip to main content
Springer Nature Link
Log in

Checking Scientific Assumptions by Modeling

  • Conference paper
Discovery Science (DS 2006)

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

Included in the following conference series:

  • 1261 Accesses

Abstract

We describe extensions to the science querying system Scilog to enable it to make efficient simulators. Given a scientific model’s details and assumptions Scilog can create a C++ simulator to check assumption consistency. We used extended Scilog to test claims that Intelligent Design makes about Evolution and found them to be at odds with basic Biology.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Goodman, N.: The New Riddle of Induction. J. of Philosophy 63, 281–331 (1966)

    Article  Google Scholar 

  2. Lakatos, I.: Falsification and the methodology of scientific research programmes. In: Lakatos, I., Musgrave, A. (eds.) Criticism and the growth of knowledge. Cambridge University Press, Cambridge (1970)

    Google Scholar 

  3. Langley, P., Sanchez, J., Todorovski, L., Dzeroski, S.: Inducing process models from continuous data. In: Proc. of 19th Int’l. Conf. of Machine Learning, pp. 347–354. Morgan Kaufmann, San Francisco (2002)

    Google Scholar 

  4. Phillips, J.: Towards a method of searching a diverse theory space for scientific discovery. In: Jantke, K.P., Shinohara, A. (eds.) DS 2001. LNCS, vol. 2226, pp. 304–322. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Phillips, J.: Scilog: A language for scientific processes and scales. In: Grieser, G., Tanaka, Y., Yamamoto, A. (eds.) DS 2003. LNCS, vol. 2843, pp. 442–451. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Thagard, P.: Computational Philosophy of Science. MIT, Cambridge (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, Telecommunications and Information Systems, DePaul University, 243 S. Wabash Ave., Chicago, IL, 60604

    Joseph Phillips & Raghuveer Kumarakrishnan

  2. Department of Biological Sciences, DePaul University, 2325 N. Clifton Ave., Chicago, IL, 60614

    Ronald Edwards

Authors
  1. Joseph Phillips
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ronald Edwards
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Raghuveer Kumarakrishnan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Jozef Stefan Institute, Jamova 39, 1000, Ljubljana, Slovenia

    Ljupčo Todorovski

  2. University of Nova Gorica, Nova Gorica, Slovenia

    Nada Lavrač

  3. Meme Media Laboratory, Hokkaido University Sapporo, Kita 13, Nishi 8, Kita-ku, P.O. Box, 060-8628, Sapporo, Japan

    Klaus P. Jantke

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Phillips, J., Edwards, R., Kumarakrishnan, R. (2006). Checking Scientific Assumptions by Modeling. In: Todorovski, L., Lavrač, N., Jantke, K.P. (eds) Discovery Science. DS 2006. Lecture Notes in Computer Science(), vol 4265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893318_41

Download citation

  • DOI: https://doi.org/10.1007/11893318_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-46491-4

  • Online ISBN: 978-3-540-46493-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics