Subclass of:

• crmsci:S5 Inference Making

Scope note:

This class comprises activities of executing algorithms or software for simulating the behavior and the properties of a system of interacting components that form part of reality or not by using a mathematical model of the respective interactions. In particular it implies making predictions about the future behaviors of a system of interacting components of reality by starting simulation from an actually observed state, such as weather forecasts. Simulations may also be used to understand the effects of a theory, to compare theoretical predictions with reality, or to show differences with another theory.

Examples:

• the forecasting of the imminent flooding of Venice in November 2012 by the Hellenic Centre for Marine Research using the Poseidon Sea Level Forecast System, 72 hours before its actual occurrence (S7) (slide 18 in Kores et al., 2013).
• predicting the required temperature to maintain a target RH(%) of 50 based on monthly average temperature and RH in Birmingham, UK (S7) [using the ‘Calculator for conservation heating’] (Padfield, no date).

In First Order Logic:

• S7(x) ⇒ S5(x)