MMP.Preface:9 - Source use and currentness

Nguyen and Frigg’s Scientific Representation, especially its comparison of inference and representation, helps separate deriving a consequence within a model from using it about a subject. This is a useful philosophical account of representation; the language’s practical operations do not require adopting it as the only account of models.

The historical SIMULA account by Nygaard and Dahl, printed pages 457-458, connects system description with simulation programming and reasoning from a description. Modelica’s equations and initialization provide a maintained example in which simultaneous relations and their computational treatment are distinct. These contributions support recovering the interpretation and obtaining operation rather than imposing one representation medium or execution order.

The individual bodies keep the operative sources for their mathematical construction. MMP.10 compares direct constraints with representation and refinement work in MiniZinc and Conjure. MMP.7 uses statistical workflow and observation/selection constructions. MMP.8 compares fixed and information-dependent choices. MMP.9 uses closure and reduction research. MMP.11 compares constrained construction with data-driven discovery and hybrid known/unknown relations. MMP.12 compares regularization constructions with unregularized recovery and learned restrictions. MMP.13 and MMP.14 use statistical workflow to connect inference, consequential prediction checks and localized revision; they distinguish mathematical calibration from agreement with the modeled subject. MMP.15 distinguishes identification from estimation using causal identification and population-transfer constructions. MMP.16 combines discrimination and decision-valued observation design. MMP.8.SD develops decision-sufficient state and continuation; MMP.17 compares surrogate and correction constructions; MMP.18 connects interface-preserving maps with coherent shared information. Their bodies give the operative sources and limits. Each source contributes at its stated scope; the resulting organization and elementary cross-practice examples are conceptual synthesis.

Source changes matter when they alter an operation, its assumptions, its practical cost or the conclusion it supports. Return to the affected body’s comparison in that case. A new implementation can change how cheaply a result is obtained while leaving the mathematical relation intact; a newly recognized observation or intervention effect can instead require a different model.