Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:25:20 UTC
MMP.13:12 - Relations
Uses MMP.7 for the law of recorded outcomes and MMP.11 for the model family when that family needs construction.
Uses MMP.12 and C.16.IR for unresolved recovery distinctions and sufficient target bounds. Adds estimator or posterior construction and the meaning of inferential uncertainty.
Uses CMP.8 and CMP.9 to obtain numerical consequences of the selected inference, with computational error separate from inferential uncertainty.
Supplies prediction and model criticism with conditional consequences that can be compared with relevant observations. A causal interpretation additionally needs its identification argument under C.28.
Supplies MMP.8 with estimates or distributions used in a decision; C.11.DUA compares the value of further information or computation when needed.
Uses B.5.RR to propagate a changed premise. Method Engineering can use the resulting inference when revising how a working method obtains or interprets records.