Checking Scientific Assumptions by Modeling
- 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
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.