# Problem Formulation — Interrupted Engineering > Markdown (GEO/AEO) version of . Author: **Mauricio Yokoyama Issei** · en-BR · Published: 2026-08-20 · Updated: 2026-08-21. ## In short Formulating a complex problem is **Decision-oriented uncertainty reduction engineering** — and this engineering needs to be **aborted**. Without explicit stopping rule, continuous refinement ceases to reduce relevant uncertainty and proceeds to produce cost, confirmation bias and unjustified trust. The hypothesis is sustained **partially**: the reduction of uncertainty is not monotonic, it is not universal and it is not enough alone. - **Six uncertainties, not one** — random, epistemic, structural, semantic, frontier and values; four of them no probability distribution solves. - **Six states of knowledge (S0–S5)** — the situation disaggregated to decision-making and learning, with a quality gate before any solution can be derived. - **Stop rule** — stop when EVSI + decision-making gain + new frame value are below cost + delay cost + cognitive cost. - **Overresolution penalty (λ)** — when confidence grows faster than accuracy, refining worsens decision; λ is an experimental variable, not a known constant. ## The thesis and its condition The structured formulation produces decisions that are more robust than ad hoc formulations when it reduces uncertainties relevant to action, explains assumptions, preserves traceability, tests competing frameworks and reaches sufficiency before cost, bias and complexity overcome the expected benefit of information. The word that carries the argument is "when": the hypothesis is conditional and sustained only partially. It does not say that all additional information improves the decision, that all uncertainty must be eliminated, that there is a true and unique formulation, or that the stop admits universal metric. ## What is synthesis and what is proposed not validated They are a synthesis of literature: the bridge between Problem Structuring Methods and Decision Analysis, the use of EVSI to reason on further research, the quality attributes of Requirements Engineering, the cognitive limits documented by Slovic and Kahneman, the separation between parametric and structural uncertainty, and the use of ontologies for representation. They are original proposals not yet validated: the ontology of formulation states, frontier uncertainty as first class dimension, the model of formulation regression, the penalty of hyper-resolution λ, negotiated sufficiency, the benchmark of ten cases and the experimental protocol. ## Where the approach does not apply Routine problems, tactical crises, chaotic and non-ergodic environments, deep political conflicts and decisions with extreme urgency. In wicked problems, reducing factual uncertainty does not solve disagreement, because disagreement is normative: forcing the mathematicalization of immeasurable values gives an appearance of objectivity to a choice that is not factual. The framework needs to name the state "unresolved normative disagreement" rather than treat it as a failure to eliminate. ## Frequently Asked Questions **What is problem formulation?** It is the process of building a sufficiently explicit representation of a situation to support reasoning, comparison, investigation or action — objectives, alternatives, restrictions, evidence, values, uncertainties and actors. It is not a preliminary step to the analysis: it is the subject of engineering by its own right, with versioned artifacts, traceability and quality criteria. **What does "interrupted engineering" mean of uncertainty?** It means treating the formulation as an engineering process deliberately subject to stopping rules. The reduction of uncertainty is a means to improve the decision, never autonomous end: without explicit interruption, additional refinement produces complexity, confirmation bias and false confidence rather than better decision. **When you stop investigating a problem?** When what the next investigation promises — expected value of the information sample (EVSI), decision-making utility gain and chance to discover a new framework — is less than what it charges: direct cost, cost of deciding later and cognitive cost of additional complexity. In problems with conflict of values, negotiated sufficiency applies instead of a mathematical criterion. **What is decisional sufficiency?** It is a contextual property, not absolute: explicit critical objectives, identifiable main alternatives, represented relevant restrictions, treated high impact uncertainties, robust decision to plausible variations of assumptions, perspectives of stakeholders considered and expected gain of additional research no longer compensating the cost. **What is the penalty for hyperresolution (λ)?** It is a proposed construct to penalize disproportionate confidence growth to accuracy growth. When adding variables elevates the decision maker's conviction without raising the correctness — an effect documented by Slovic (1974) — λ increases and makes negative the usefulness of the next investigation. The article is explicit: λ should start as an experimental variable calibrated in a controlled study, not be embedded in high-risk decision-making systems. **When does this framework not apply?** In five families of situation: routine and well-defined problems, in which formalizing generates bureaucracy; tactical crises, in which modeling time exceeds the time available; chaotic and non-ergodic environments; profound political conflicts, in which the problem is power and not knowledge; and decisions with extreme urgency, in which the cost of delay dominates any additional information value. ## Glossary - **Formulation** — Construct an explicit representation enough to support reasoning, investigation or action; it is transformation, not preliminary stage. - **Engineering aborted** — Engineering of the formulation subject to stopping rules, so that refinement does not degenerate in cost, bias and false trust. - **Decisional sufficient** — Contextual condition in which the formulation already supports the decision and investigating more does not compensate the cost. - **Negotiated efficiency** — Stop criterion when there is no mathematical rule: Interim agreement on what to decide, what to open and when to review. - **EVSI** — Expected value of a specific and partial investigation; presupposes alternatives, states and already specified utility. - **Overresolution penalty (λ)** — Penalty that grows when trust rises faster than accuracy; experimental proposal, not validated. - **Border uncertainty** — Uncertainty about the adequacy of the identified scope and stakeholders; measured by omissions discovered after the decision. - **Ecological validity** — the degree to which the formulation corresponds to the relevant functioning of the real domain, distinct from internal and predictive validity. *© 2026 Mauritius Yokoyama Issei. Citable content with assignment (fair use educational).*