Artigo · Fundamentação multidisciplinar e programa de validação
Formulação de problemas como engenharia interrompida da incerteza
A parte mais consequente de uma decisão raramente é resolver o problema. É descobrir qual é o problema, quem tem legitimidade para defini-lo — e quando parar de investigar.
Formular é engenharia da redução de incerteza orientada à decisão. E toda engenharia de formulação precisa de regra de parada: sem ela, o refinamento vira custo, viés de confirmação e confiança injustificada.
Figura 1 · O arco do refinamento
Por onde você entra?
O critério de parada: benefício marginal contra custo, atraso e carga cognitiva.
Ir à regra de parada → "Cada área descreve um problema diferente."Incerteza não é uma coisa só: são seis, e quatro delas nenhuma probabilidade resolve.
Ver as seis incertezas → "Quanto mais estudamos, mais confiantes ficamos — e não mais certos."O paradoxo da sobreinformação e a penalidade de hiper-resolução.
Ver o descolamento → "Como sei que isto não é papelada nova?"Oito critérios que, se observados, enfraquecem a própria hipótese deste artigo.
Ver como refutar →- A tese
- Formular é engenharia da redução de incerteza orientada à decisão, e precisa de regra de parada. O próprio artigo conclui que a hipótese tem sustentação parcial: a redução de incerteza não é monotônica, não é universal e não basta sozinha.
- Formato
- Artigo
- Profundidade
- Leitura aprofundada · ~5 min para a ideia central · ~25 min completo
Prefere o essencial antes? Ler a síntese (~1 min)
A hipótese Síntese
O que a tese afirma — e o que ela não afirma
Em problemas complexos, a formulação orientada por um processo estruturado de elicitação, representação, validação e investigação produz decisões mais robustas do que formulações ad hoc quando reduz incertezas relevantes para a ação, explicita premissas, preserva rastreabilidade, testa enquadramentos concorrentes e atinge uma condição de suficiência operável antes que custo, viés e complexidade superem o benefício esperado da informação.
A palavra que carrega o argumento é quando. A hipótese é condicional, e o artigo a sustenta apenas parcialmente. É por isso que a página inteira carrega selos: o que é síntese da literatura, o que é proposta original e o que ainda não foi validado empiricamente aparecem separados, nunca embaralhados.
Cinco coisas que a hipótese não afirma
- que toda informação adicional melhora a decisão;
- que toda incerteza deve ser eliminada;
- que existe uma formulação verdadeira e única para o mesmo problema;
- que toda formulação deve ser quantitativa;
- que a parada pode ser definida por uma métrica universal, válida em qualquer domínio.
As quatro subperguntas
- Como representar estados de conhecimento ao longo da formulação?
- Como medir incertezas de naturezas distintas?
- Como avaliar a suficiência de uma formulação para uma decisão específica?
- Como detectar o ponto em que refinar deixa de reduzir incerteza relevante e passa a produzir complexidade, viés ou confiança injustificada?
Este é o mesmo princípio que governa um agente de IA confiável em outra escala: parar num ponto seguro em vez de promover um palpite. Ver Engenharia de Agentes de IA.
Delimitação conceitual Síntese
Seis incertezas, não uma
Reduzir incerteza a uma distribuição de probabilidade é conveniente e enganoso. O que trava uma decisão real quase nunca é a variância: é não saber o que os objetivos significam, quem deveria estar na sala, ou qual mecanismo causal ficou de fora do modelo. O artigo decompõe a incerteza em seis dimensões — cada uma com a sua pergunta definidora, a sua métrica candidata e a sua limitação.
Figura 2 · Cobertura por dimensão de incerteza
Dimensão 1 Estabelecida
Aleatória
O que varia mesmo quando o modelo está correto?
- Métrica candidata
- Entropia, variância, intervalos.
- Limitação
- Requer uma distribuição apropriada — que já pressupõe o modelo.
Dimensão 2 Estabelecida
Epistêmica
O que ainda não sabemos sobre o fenômeno?
- Métrica candidata
- Belief-plausibility, conjuntos credais.
- Limitação
- Depende da atribuição inicial de crenças.
Dimensão 3 Promissora
Estrutural
Quais relações, variáveis ou mecanismos causais podem estar ausentes do modelo?
- Métrica candidata
- Model averaging; divergência entre modelos causais concorrentes.
- Limitação
- Custo computacional elevado — simulações aninhadas de Monte Carlo.
Dimensão 4 Promissora
Semântica
O que os conceitos e objetivos, tal como enunciados, realmente significam?
- Métrica candidata
- Taxa de interpretações divergentes; acordo interavaliadores.
- Limitação
- Acordo pode refletir conformidade, não convergência de entendimento.
Dimensão 5 Proposta
De fronteira
O escopo do sistema e os stakeholders identificados são adequados?
- Métrica candidata
- Omissão ex post de stakeholders, objetivos ou variáveis.
- Limitação
- Exige observação posterior à decisão: só se mede o que já custou.
Dimensão 6 Promissora
De valores
Quais objetivos, preferências e critérios devem governar a decisão?
- Métrica candidata
- Distância entre rankings de preferências (correlação de Kendall).
- Limitação
- Não resolve incomensurabilidade genuína entre valores.
- Pesquisa Operacional clássica
- Framework proposto
Descrição longa da Figura 2. Numa escala de zero a um, a Pesquisa Operacional clássica cobre 0,95 da incerteza aleatória e 0,72 da epistêmica, mas apenas 0,30 da estrutural, 0,15 da semântica, 0,10 da de fronteira e 0,10 da de valores. O framework proposto distribui a cobertura de forma mais uniforme: 0,80 aleatória, 0,76 epistêmica, 0,66 estrutural, 0,62 semântica, 0,72 de fronteira e 0,55 de valores.
Framework proposto Proposta original
Do desagregado à decisão: seis estados
O estado da formulação num instante t é uma tupla de doze componentes — frames, objetivos, valores, alternativas, restrições, evidências, hipóteses, modelos, incertezas, rastreabilidade, legitimidade e proveniência. Uma investigação transforma esse estado, e a transformação não é monotônica: uma entrevista pode esclarecer objetivos e, no mesmo movimento, expor um conflito de valores que estava oculto.
Leitura da fórmula: o estado de conhecimento K no instante t é a tupla de doze componentes — frames, objetivos, valores, alternativas, restrições, evidências, hipóteses, modelos, incertezas, rastreabilidade, legitimidade e proveniência. O estado seguinte, K em t mais um, é o resultado de aplicar o operador de transformação T ao estado atual, à ação de investigação a e à observação y obtidas em t.
Uma ação de investigação a produz uma observação y e leva o estado de conhecimento K ao estado seguinte. O operador T é não determinístico e não monotônico: pode reduzir a incerteza numa dimensão e aumentá-la em outra.
Figura 3 · Estados do conhecimento e o portão de qualidade
- S₀ situação desagregada
- S₁ enquadramentos concorrentes
- S₂ representação estruturada
- S₃ modelo validado
- S₄ prontidão restrita
- S₅ decisão e aprendizagem
Portão mínimo antes de derivar qualquer solução (entre S₃ e S₄): frame explícito · objetivos identificados · restrições classificadas · incertezas registradas · evidências citadas · desacordos visíveis · decisão explícita sobre o que ficou fora do escopo.
Estado 0
S₀ · Situação desagregada
Descrições fragmentadas, vocabulário inconsistente, objetivos implícitos, stakeholders não identificados, causalidade incerta.
- Para sair daqui
- Nomear os atores e separar o que é observação do que é interpretação.
Estado 1
S₁ · Enquadramentos concorrentes
Múltiplos frames explícitos, conflitos de fronteira identificados, objetivos e valores já separados analiticamente, divergências documentadas.
- Para sair daqui
- Registrar a divergência de enquadramento em vez de dissolvê-la cedo demais.
Estado 2
S₂ · Representação estruturada
Entidades e relações principais identificadas, objetivos operacionalizados, alternativas enumeradas, evidências rastreadas.
- Para sair daqui
- Cada afirmação carrega status epistêmico: fato, evidência, consenso, hipótese, inferência, opinião, valor ou premissa.
Estado 3
S₃ · Modelo validado
Hipóteses testáveis, modelos causais concorrentes explicitados, análise de consistência realizada, incerteza quantificada ou ao menos qualificada.
- Para sair daqui
- Passar pelo portão de qualidade — é aqui que o solutioneering costuma entrar sem ser convidado.
Estado 4
S₄ · Prontidão restrita
Decisão robusta em cenários plausíveis, riscos residuais explícitos, legitimidade mínima alcançada, custo de investigação adicional já superior ao benefício esperado.
- Para sair daqui
- Declarar a parada — e registrar a razão específica de ter parado ali.
Estado 5
S₅ · Decisão e aprendizagem
Decisão registrada, premissas preservadas, outcomes monitorados, discrepâncias retroalimentando o modelo.
- O retorno
- Daqui sai a regressão da formulação: o mundo muda, a representação envelhece e o ciclo recomeça em S₀ ou S₁ — mudança legítima e degradação genuína precisam ser distinguidas.
Combinação (⊗)
Funde nova evidência à base anterior. Quando o resultado é uma contradição irreconciliável, isso é sinal de revisão explícita — não de descarte silencioso.
Focalização (↓)
Extrai o conhecimento relevante para o domínio da decisão e descarta o marginal. Formaliza o fechamento de fronteiras de atenção: sempre uma escolha, com custo, nunca uma descoberta neutra.
O movimento S₀ → S₂ é o mesmo de tornar explícito um sistema legado que ninguém documentou — ver Engenharia Reversa assistida por IA.
Complemento em vídeo
Da Teoria à Prática: O Pipeline da Decisão Computacional
Até aqui a incerteza foi tratada como objeto de teoria: seis dimensões, seis estados, uma regra de parada. Executar isso num sistema real é outro problema. Exige traduzir o rigor conceitual para engenharia — contratos, esquemas, pontos de decisão auditáveis — sem que a tradução dissolva justamente aquilo que tornava a formulação defensável.
Três pontos do vídeo conversam diretamente com o que está acima. O primeiro é a Armadilha do Solucionismo: a mesma solutioneering que o portão entre S₃ e S₄ existe para expor — quando a solução preferida chega antes do problema, o resto do processo vira justificativa. O segundo é a transformação da narrativa humana em formulação mensurável pelo PFQi (Índice de Qualidade de Formulação): a passagem do relato ambíguo para algo que se compara, versiona e audita. Vale lê-la com a ressalva de Painel, não índice único — o índice é resumo diagnóstico, nunca corte de decisão.
O terceiro é o limite inegociável: a supervisão humana na fronteira das máquinas. Um pipeline reduz incerteza factual, ordena evidências e recusa a inferência que não alcança o limiar; não decide quais consequências contam, nem assume a responsabilidade por elas. É o princípio do fail-closed da Engenharia de Agentes de IA aplicado a quem responde pela decisão: quando não se pode concluir com segurança, o sistema para e devolve a escolha a um humano.
Vídeo · O Pipeline da Decisão Computacional
A regra de parada Não validado
Quando parar de investigar
A versão ingênua da regra — investigar enquanto o valor esperado da informação exceder o custo — ignora duas coisas que decidem o resultado na prática: o custo do atraso e o valor específico de investigações que não reduzem incerteza paramétrica, mas descobrem um enquadramento inteiramente novo.
Leitura da fórmula: pare de investigar quando a soma de três ganhos esperados da próxima rodada — o valor da amostra de informação (EVSI), o ganho de utilidade decisória (DUG) e o valor de descobrir um enquadramento novo — for menor que a soma de três custos: o custo direto da próxima investigação, o custo de atraso da decisão e o custo de sobrecarga cognitiva.
Pare quando o que a próxima investigação promete — valor da amostra de informação (EVSI), ganho de utilidade decisória e chance de descobrir um enquadramento novo — for menor que o que ela cobra: custo direto, custo de decidir mais tarde e custo cognitivo da complexidade adicional.
Figura 4 · Onde as curvas se cruzam
- Benefício marginal (EVSI′ + valor de novo enquadramento)
- Custo marginal (direto + atraso)
- Custo total com carga cognitiva (λ)
- Ponto de parada
- Ponto de parada
- 4,0 rodadas
- Benefício líquido acumulado
- 164unidades didáticas
- Regime
- investigação curta — parar antes do detalhe
Descrição longa da Figura 4. Três séries ao longo de dez rodadas de investigação. O benefício marginal começa em 130 unidades na rodada zero e cai continuamente: 55 na rodada 2, 27 na rodada 4, 15 na rodada 6 e 8 na rodada 10. O custo marginal direto mais atraso começa em 16 e sobe em linha reta até 36 na rodada 10. O custo total, somando a carga cognitiva governada por lambda, começa em 16 e chega a 53 na rodada 10, com crescimento acelerado. As curvas se cruzam na rodada 4, que é o ponto de parada do cenário padrão: antes dela investigar compensa, depois dela não.
Ver os números do cenário padrão (λ = 0,4 · custo de atraso = 2)
| Rodada | Benefício | Custo total | Líquido |
|---|---|---|---|
| 0 | 130,0 | 16,0 | 114,0 |
| 1 | 83,0 | 18,4 | 64,6 |
| 2 | 55,5 | 21,4 | 34,0 |
| 3 | 38,2 | 24,8 | 13,3 |
| 4 | 26,8 | 28,6 | -1,8 |
| 5 | 19,1 | 32,8 | -13,7 |
| 6 | 13,7 | 37,3 | -23,5 |
| 7 | 9,9 | 42,0 | -32,1 |
| 8 | 7,2 | 47,1 | -39,9 |
Suficiência decisional
Sete condições: objetivos críticos explícitos; alternativas principais identificáveis; restrições relevantes representadas; incertezas de alto impacto tratadas; decisão robusta a variações plausíveis; perspectivas relevantes consideradas; e ganho esperado de investigar mais já não compensando o custo.
Suficiência negociada Proposta
Quando não existe regra de parada puramente matemática: os participantes reconhecem suas perspectivas na representação, as divergências principais estão explícitas, as consequências são compreensíveis e continuar investigando já não se justifica. Não é consenso — é acordo provisório sobre o que será decidido, o que fica em aberto e quando será revisto.
Uma restrição honesta do próprio aparato: EVSI só é calculável quando alternativas, estados e função de utilidade já estão especificados — isto é, a partir de S₂. Antes disso, a decisão de investigar se apoia em heurística qualitativa, não em cálculo exato.
Evidência contrária Evidência
O paradoxo da sobreinformação
A hipótese forte de que "mais informação melhora a decisão" é rejeitada pela evidência. No estudo clássico de Slovic (1974) com prognosticadores especializados, o aumento do número de variáveis disponibilizadas estabilizava rapidamente a acurácia — enquanto a confiança subjetiva dos julgadores continuava subindo. Peng et al., com medidas neurofisiológicas em ambiente de compras online, encontraram efeito compatível: mais informação, mais tempo de decisão, menos atenção por item e sinais de arrependimento.
Figura 5 · Acurácia satura, confiança não
- Acurácia da previsão
- Confiança subjetiva
Leitura da fórmula: a penalidade de hiper-resolução lambda no instante t é a soma de quatro parcelas. Primeira, uma penalidade basal lambda zero. Segunda, o coeficiente lambda um multiplicado pelo maior valor entre zero e a razão entre a variação de confiança e a variação de acurácia, subtraída da razão máxima aceitável rho — ou seja, só há penalidade quando a confiança cresce proporcionalmente mais rápido que a acurácia. Terceira, o coeficiente lambda dois multiplicado pela complexidade marginal X. Quarta, o coeficiente lambda três multiplicado pelos indicadores de viés B.
Quando a confiança cresce mais rápido que a acurácia acima da razão aceitável ρ, a penalidade sobe; X é a complexidade marginal introduzida e B são indicadores de viés detectados. A utilidade da próxima investigação passa a ser EVSI(a) − C(a) − λt · ΔX(a).
A formalização não prova que confiança e acurácia tenham relação linear, que a confiança possa ser medida sem viés, nem que λ seja transferível entre domínios. O artigo é explícito: λ deve começar como variável experimental e não ser incorporado a sistemas de apoio à decisão de alto risco antes de validação. É a mesma disciplina do Crash Silencioso, aplicada ao processo decisório: o perigo não é o erro barulhento, é a confiança sem lastro.
Medição Proposta original
Painel, não índice único
É tentador reduzir a qualidade de uma formulação a um número. O artigo constrói esse número — e depois argumenta contra ele: um índice composto esconde exatamente o trade-off que interessa ao decisor. Uma formulação pode pontuar alto em completude e baixo em legitimidade, e a soma ponderada apaga essa informação. A alternativa defensável é o painel, com portão mínimo por dimensão.
| Dimensão | Métrica candidata | Maturidade | Limitação |
|---|---|---|---|
| Aleatória | Entropia, variância, intervalos | estabelecida | Requer distribuição apropriada |
| Epistêmica | Belief-plausibility, conjuntos credais | estabelecida | Depende da atribuição inicial de crenças |
| Estrutural | Model averaging, divergência entre modelos causais | promissora | Custo computacional elevado |
| Semântica | Taxa de interpretações divergentes; acordo interavaliadores | promissora | Acordo pode refletir conformidade, não verdade |
| De fronteira | Omissão ex post de stakeholders, objetivos ou variáveis | proposta | Exige observação posterior à decisão |
| De valores | Distância entre rankings de preferências | promissora | Não resolve incomensurabilidade genuína |
| Consistência | Violações lógicas entre objetivos e restrições | estabelecida | Consistência não implica validade |
| Rastreabilidade | Cobertura de vínculos entre objetivos, evidências e decisões | moderada | Pode incentivar documentação superficial |
| Legitimidade | Participação, contestabilidade, reconhecimento de perspectivas | qualitativa | Difícil quantificar sem reduzir a votação |
| Validade ecológica | Acurácia de outcomes e estabilidade contextual | promissora | Requer dados longitudinais |
O portão mínimo sugerido não agrega: exige consistência lógica integral e cobertura de stakeholders acima de um limiar, deixando as demais dimensões visíveis lado a lado. Toda métrica aqui está sujeita ao risco de Goodhart — vira alvo, deixa de medir — e por isso o artigo exige indicadores adversariais junto de cada uma.
Estado da arte Síntese
Sete tradições, sete fronteiras
A lacuna não é ausência de componentes: eles existem, maduros. É ausência de uma camada que os ligue. Cada tradição opera num trecho do processo e termina onde a seguinte pressupõe que o trabalho já foi feito — e ninguém cobre o último trecho, o da aprendizagem após a decisão.
Figura 7 · Onde cada tradição começa e termina
- Problem Structuring Methods
- Estruturam situações plurais por diálogo (SSM, SODA, Strategic Choice, Value-Focused Thinking). Avaliados por consenso e aprendizagem percebida, raramente por desfechos decisórios comparáveis entre casos.
- Decision Analysis
- Alternativas, estados, consequências, utilidade esperada, EVPI/EVSI/ENBS. Toma como dado o espaço de alternativas, o modelo causal e a lista de objetivos.
- Teoria da Informação
- Entropia, informação mútua, descrição mínima; álgebras de informação dão o aparato formal para combinar e focalizar conhecimento. Não mede a qualidade do enquadramento nem detecta a variável que ninguém pensou em incluir.
- Bayesian Decision Theory
- Formular é desenhar um experimento; o ganho de informação esperado orienta o que investigar. Mede redução de entropia de parâmetros dentro de um modelo já especificado — a incerteza sobre o próprio modelo permanece a fronteira mais cara.
- Ciência Cognitiva
- Fronteiras de atenção (Simon), quadros mentais (Klein), forrageamento de informação (Pirolli), descolamento entre confiança e acurácia (Kahneman, Slovic). Explica por que a parada é necessária — e avisa que o modelador nunca é observador neutro.
- Engenharia de Requisitos e de Sistemas
- Completude, consistência, verificabilidade, rastreabilidade (ISO/IEC/IEEE 29148); processos de missão, arquitetura e validação. Recebe o problema já delimitado: qualidade documental não equivale a qualidade decisória.
- Knowledge Engineering
- Ontologias e grafos tornam a formulação auditável, com pressuposto de mundo aberto — ausência de afirmação é desconhecimento, não negação. Organiza significado, mas não pondera preferências nem estabelece autoridade decisória.
Ver a matriz completa da literatura (12 trabalhos, contribuição e limitação)
| Autores | Contribuição | Limitação |
|---|---|---|
| Simon (1973) | Problemas mal estruturados tratáveis por fechamento de fronteiras cognitivas | Orientado a quebra-cabeças formais, não a decisões sociotécnicas |
| Checkland (2000); Eden & Ackermann (2001) | Estruturação participativa de situações plurais | Recusa deliberada de formalização matemática |
| Montibeller & Franco (2010) | Iteração, diálogo e riscos de estruturação prematura | Estudo de caso único; não valida métricas nem efeito causal |
| Cinelli et al. (2020) | Taxonomia do processo de MCDA | Taxonomia, não teoria de estados epistêmicos |
| Rothery et al. (2020); Keisler et al. (2014) | Boas práticas de EVPI/EVPPI/EVSI/ENBS | Condicional à especificação do modelo, priors e alternativas |
| Montgomery et al. (2022) | Mapeamento sistemático de atributos de qualidade de requisitos | Qualidade do requisito não equivale a qualidade decisória |
| Russell & Wefald (1991) | Metaraciocínio: valor da computação e parada ótima | Depende de utilidade marginal calculável a priori |
| Gettinger et al. | Efeito da representação no processo decisório | Restrito à representação visual |
| Peng et al. | Sobrecarga informacional reduz atenção e eleva arrependimento | Domínio transacional; mede processo, não acerto normativo |
| Slovic (1974) | Descolamento entre acurácia e confiança à medida que a informação cresce | Domínio específico de prognóstico especializado |
| Hoppe (2018/2024) | Regras práticas de estruturação; questiona a reificação de wickedness | Ainda sem métrica geral comparável |
| Browne & Pitts (2004) | Regras cognitivas de parada na busca de informação | Busca online; não necessariamente decisões complexas |
Evidências contrárias Síntese
Onde isto não se aplica
Em problemas sociais e de planejamento, a própria formulação é o problema: não há critério unívoco de parada porque os atores divergem sobre quais consequências contam, não apenas sobre fatos. Reduzir incerteza factual não resolve um desacordo normativo — e forçar a matematização de valores incomensuráveis pode alienar as partes, dando aparência de objetividade a uma escolha que é normativa. A formulação defensável precisa nomear o estado "desacordo normativo não resolvido" sem tratá-lo como falha de engenharia.
Cinco domínios de inaplicabilidade
Problemas rotineiros
Bem definidos: formalizar gera burocracia sem benefício.
Crises táticas
O tempo disponível é menor que o tempo de modelar; a intuição especializada tende a vencer.
Ambientes caóticos
As regras mudam mais rápido do que o artefato de formulação pode ser atualizado.
Conflitos políticos profundos
O problema central é de poder e reconhecimento, não de conhecimento.
Urgência extrema
O custo do atraso domina qualquer valor esperado de informação adicional.
Quatro críticas filosóficas não neutralizadas
Reificação
Chamar de "engenharia" sugere um objeto pronto, separável dos atores e instituições que o constituem. O vocabulário empurra nessa direção; usá-lo exige consciência disso.
Risco de Goodhart
Métrica adotada como alvo deixa de medir: completude vira itens irrelevantes; consenso vira silenciamento; confiança vira persuasão; estabilidade vira rigidez.
Incomensurabilidade
Segurança contra autonomia, eficiência contra equidade: divergências que podem não admitir agregação numérica legítima.
Viés na elicitação
A ordem das perguntas e a escolha de quem é entrevistado primeiro moldam o resultado. O modelador nunca é observador neutro.
Programa empírico Não validado
Como refutar esta hipótese
Um framework que não diz como pode ser derrubado não é um programa de pesquisa — é uma preferência. A hipótese central será considerada enfraquecida se, em estudos controlados e pré-registrados, qualquer um dos oito resultados abaixo for observado.
A formulação estruturada apenas igualar métodos ad hoc em qualidade decisória, depois de equalizar tempo e treinamento.
O processo aumentar custo e tempo sem melhoria decisória compensatória.
Ganho de confiança subjetiva não vier acompanhado de ganho em calibração ou desempenho real.
Os efeitos desaparecerem sob replicação em múltiplos domínios heterogêneos.
A intervenção aumentar exclusão de stakeholders, fechamento prematuro do enquadramento ou sobrecarga cognitiva.
Um protocolo mínimo, sem o aparato formal, produzir resultados estatisticamente indistinguíveis.
Estimar validade ecológica ou incerteza estrutural custar mais recursos do que o risco que pretende mitigar.
A formalização reduzir contestabilidade ou produzir aceitação superficial sem representar os grupos afetados.
A sustentação forte exigiria o contrário: efeito replicado, com tamanho relevante e intervalo de confiança informado, em pelo menos três domínios heterogêneos, contra controle ativo e prática convencional — e com o mediador previsto explicando parte do ganho, sem que o efeito se reduza a mais tempo de contato com o problema ou a mais confiança injustificada.
Ver o benchmark proposto (dez casos parametrizados)
| Caso | Domínio | Complexidade | Stakeholders | Urgência | Dados |
|---|---|---|---|---|---|
| B1 | Alocação de capacidade de servidor | Baixa | Baixa | Alta | Alta |
| B2 | Priorização de backlog técnico | Média | Média | Média | Alta |
| B3 | Escolha de fornecedor crítico | Média | Alta | Média | Média |
| B4 | Expansão de infraestrutura | Alta | Média | Baixa | Média |
| B5 | Gestão hídrica | Alta | Alta | Média | Baixa |
| B6 | Política de mobilidade urbana | Alta | Alta | Baixa | Média |
| B7 | Resposta a incidente cibernético | Alta | Média | Muito alta | Média |
| B8 | Adoção de IA em atendimento | Média | Alta | Média | Alta |
| B9 | Priorização de políticas sociais | Muito alta | Muito alta | Média | Baixa |
| B10 | Adaptação climática | Muito alta | Muito alta | Baixa | Baixa |
Cada caso exige descrição inicial deliberadamente incompleta, stakeholders simulados com objetivos conflitantes, alternativas ocultas, modelos causais concorrentes, ground truth parcial e desfechos retardados no tempo — sem isso, valida-se apenas a capacidade de produzir documentos mais completos.
Implicações institucionais
O direito de formular
Formular um problema é um ato de poder: define o que será contado, quem será ouvido, quais danos entram na conta, quais alternativas existem e quais consequências permanecem invisíveis. Tratar a formulação como etapa técnica preliminar oculta essa dimensão — e naturaliza assimetrias sob aparência de neutralidade metodológica.
Responsabilidade
Registrar autores, stakeholders consultados, grupos conscientemente excluídos e a justificativa da exclusão. Em decisão irreversível, o custo do atraso precisa ser comparado ao custo do erro — nunca assumido como dominante.
Transparência
Não é revelar o aparato matemático: é permitir que quem é afetado entenda como o problema foi enquadrado e como contestar. Sistema auditável sem mecanismo de contestação não é transparente — é apenas documentado.
Aprendizagem
A formulação é memória organizacional. Sem preservar estado, alternativas rejeitadas e razão de ter parado, a organização não consegue distinguir erro de execução, de modelo, de enquadramento ou mudança legítima de contexto.
Conclusão
Veredito: sustentação parcial
A formulação de problemas pode ser modelada como processo de redução de incertezas relevantes para a decisão. Mas essa redução não é monotônica, não é universal e não é suficiente por si só. Precisa ser interrompida antes que custo, viés e complexidade superem o benefício informacional esperado — e precisa acomodar situações em que o problema central não é factual, mas normativo.
A contribuição potencial não está em substituir Problem Structuring Methods, Decision Analysis ou Engenharia de Requisitos, mas em oferecer a camada que representa como uma formulação muda ao longo do tempo, quais incertezas ela reduz e quais cria, quando a decisão se torna defensável e — o ponto mais negligenciado — quando o próprio refinamento passa a degradar a qualidade do processo decisório.
O que é síntese Síntese
A ponte entre PSM e Decision Analysis; o uso de EVSI para raciocinar sobre investigação adicional; os atributos de qualidade da Engenharia de Requisitos; os limites cognitivos documentados; a separação entre incerteza paramétrica e estrutural; ontologias e modelos causais como representação.
O que é proposta não validada Não validado
A ontologia de estados de formulação; a incerteza de fronteira como dimensão de primeira classe; validade ecológica e suficiência decisional no mesmo vetor; o modelo de regressão da formulação; a penalidade λ; a suficiência negociada; o benchmark de dez casos; e o protocolo experimental.
Agenda, em ordem de precedência: estabilizar a ontologia mínima; operacionalizar cobertura, rastreabilidade, validade ecológica e legitimidade; testar λ em condições controladas; publicar um benchmark inicial, ainda que reduzido; rodar o primeiro estudo controlado; acompanhar casos reais longitudinalmente; e comparar o framework com PSM e prática ad hoc — em vez de assumir sua superioridade a priori.
Vocabulário
Glossário
- Formulação
- Processo de construir uma representação suficientemente explícita para apoiar raciocínio, comparação, investigação ou ação. É transformação, não etapa preliminar.
- Engenharia interrompida
- Engenharia da formulação deliberadamente sujeita a regras de parada, para que o refinamento contínuo não degenere em custo, viés de confirmação e falsa confiança.
- Suficiência decisional
- Propriedade contextual: objetivos críticos explícitos, alternativas identificáveis, restrições representadas, incertezas de alto impacto tratadas, decisão robusta, perspectivas consideradas e ganho de investigar mais já não compensando o custo.
- Suficiência negociada
- Critério de parada para problemas em que não existe regra matemática: acordo provisório sobre o que será decidido, quais divergências ficam abertas e quando haverá revisão.
- EVSI
- Expected Value of Sample Information — valor esperado de uma investigação específica e parcial. Pressupõe alternativas, estados e utilidade já especificados; o EVPI é o caso limite da informação perfeita, e o ENBS desconta o custo da própria investigação.
- Penalidade de hiper-resolução (λ)
- Penalidade proposta que cresce quando a confiança sobe mais rápido que a acurácia, quando a complexidade marginal aumenta e quando há indicadores de viés. Variável experimental, não constante conhecida.
- Belief-plausibility
- Par de medidas da teoria da evidência: a crença é o suporte mínimo que as evidências dão a uma hipótese e a plausibilidade é o máximo ainda compatível com elas. O intervalo entre as duas mede o quanto se ignora, em vez de forçar uma probabilidade única.
- Conjuntos credais
- Conjunto de distribuições de probabilidade tratadas como igualmente admissíveis quando a evidência não basta para eleger uma. Representam incerteza epistêmica sem fingir precisão que não existe.
- Model averaging
- Em vez de eleger um único modelo causal, pondera as previsões de modelos concorrentes pela credibilidade de cada um. É assim que se estima incerteza estrutural — e o custo computacional é o preço dessa honestidade.
- Correlação de Kendall (τ)
- Mede a concordância entre dois ordenamentos contando os pares que aparecem na mesma ordem em ambos. Aqui serve para medir a distância entre os rankings de preferências de stakeholders diferentes — a incerteza de valores.
- Incerteza de fronteira
- Incerteza sobre a adequação do escopo do sistema e dos stakeholders identificados. Medida por omissões descobertas depois da decisão.
- Validade ecológica
- Grau em que a formulação corresponde ao funcionamento relevante do domínio real — distinta de validade interna, preditiva, de construção e de legitimidade.
- Solutioneering
- Permitir que uma solução pré-selecionada defina silenciosamente o problema. O portão entre S₃ e S₄ existe para tornar esse movimento visível.