MMP.8.SD:12 - Relations

• MMP.8 - Formulate Information-Dependent Choices Mathematically supplies choices, uncertainty, information timing and admissible policies. This nested refinement constructs their sequential state and continuation.
• A.3.3.PI - Retain the Information Needed for Prediction, especially :4.4, supplies prediction and hidden-state belief updates. This method consumes them in action and accumulated-consequence comparisons.
• MMP.7 supplies the recording law and available observations. MMP.13 can supply inferred model quantities with their uncertainty; neither contribution alone establishes the effect of a new action policy.
• C.28.MR supplies intervention through a changed mechanism. A subject method supplies or justifies the resulting action and observation relations used here.
• MMP.14 supplies criticism and repair when comparable predictions fail. A detected failure here identifies which state, information or consequence premise must return to modeling.
• C.29.2 - Computational Formulation specifies the computational answer or continuing response and the procedure needed to obtain it.
• CMP.3 - Share and Schedule Repeated Subcomputations organizes repeated evaluations of the continuation. CMP.9 - Construct a Randomized Estimator or Sampling Procedure estimates expectations with a computational error account. CMP.5 - Bound an Optimum or Recover a Feasible Candidate through a Relaxed Problem supplies relaxation, candidate recovery and improvement bounds for the chosen formulation.
• C.11.DUA helps decide whether further information or computation is worth obtaining. FPF choice and portfolio methods and the applicable DOCA, Strategy or Method Engineering practice supply criteria, compare the returned alternatives and organize their practical use.