MMP.8:12 - Relations

B.5.FM and C.29 connect the work’s question to its mathematical formulation. A.22.CGUS exposes allowed continuations; A.3.3.TR constructs the behavior relation. MMP.7 supplies a missing observation law for probabilistic uses. MATH.2 explains the identification of cases that preserve a requested answer; here grouping by available information determines which actions a policy can distinguish. C.29.2 obtains a computation for the formulated question and C.29.3 examines realization. C.28 governs causal claims when acting changes the represented world. ME uses the result to compose observation, decision and action methods with their needed contributions and timing.

MMP.8.SD refines this formulation for continuing decisions. It constructs a decision-sufficient state or belief, transitions and observations, and the relation between a present choice and its later consequences. Use that refinement when the one-step formulation leaves a consequential continuation unresolved.