Checking Scientific Assumptions by Modeling

  • Joseph Phillips
  • Ronald Edwards
  • Raghuveer Kumarakrishnan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4265)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Goodman, N.: The New Riddle of Induction. J. of Philosophy 63, 281–331 (1966)CrossRefGoogle Scholar
  2. 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. 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. 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)CrossRefGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. 6.
    Thagard, P.: Computational Philosophy of Science. MIT, Cambridge (1988)Google Scholar

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