Scilog: A Language for Scientific Processes and Scales
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and querying knowledge about scientific processes, (2) the different scales at which processes may be manifested, and (3) the domains to which values belong. Scilog is meant to invoke more specialized algorithms and to be called by high-level discovery routines. We test Scilog’s ability to support such routines with a simple search through the space of geophysical models.
KeywordsReasoning System Process Instance Composite Process Geophysical Model Process Class
Unable to display preview. Download preview PDF.
- 1.Collier, M.: A Land in Motion: California’s San Andreas Fault. University of California Press, Berkeley (1999)Google Scholar
- 3.Jordan, B.: Global Plate Motion Models (2002), http://people.whitman.edu/~jordanbt/platemo.html
- 4.Jordan, T.H., Minster, J.B.: Measuring Crustal Deformation in the AmericanWest. Scientific American (August 1988)Google Scholar
- 5.Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge (1994)Google Scholar
- 6.Langley, P., Sanchez, J., Todorovski, L., Dzeroski, S.: Inducing Process Models from Continuous Data. In: ICML (2002)Google Scholar
- 7.Phillips, J.: Representation Reducing Heuristics for Semi-Automated Scientific Discovery. Ph.D. Thesis, University of Michigan (2000)Google Scholar