Checking Scientific Assumptions by Modeling

  • Joseph Phillips
  • Ronald Edwards
  • Raghuveer Kumarakrishnan
Conference paper

DOI: 10.1007/11893318_41

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4265)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Joseph Phillips
    • 1
  • Ronald Edwards
    • 2
  • Raghuveer Kumarakrishnan
    • 1
  1. 1.School of Computer Science, Telecommunications and Information SystemsDePaul UniversityChicago
  2. 2.Department of Biological SciencesDePaul UniversityChicago

Personalised recommendations