CHRONOS: A Causally-Constrained Architecture for Scientifically Defensible Counterfactual History

Resumo Técnico: CHRONOS – Uma Arquitetura com Restrições Causais para História Contrafactual Cientificamente Defensável

Definição do Problema
As propostas existentes para simulações históricas de "e se" assistidas por IA (ex: Rafi, 2024) permaneceram amplamente qualitativas, focando no potencial educacional de narrativas interativas sem especificar uma arquitetura computacional capaz de rigor científico. Esses sistemas sofrem de cinco lacunas metodológicas críticas:

1. Falta de Consistência Causal: Eles geram saídas narrativamente fluentes, mas causalmente arbitrárias, pois carecem de um mecanismo formal para propagar intervenções através de um sistema histórico sem contradições.
2. Ausência de Representação de Incerteza: Eles tipicamente produzem uma narrativa determinística única em vez de um espaço de resultados plausíveis ponderados por probabilidade com confiança calibrada.
3. Ausência de Representação de Conhecimento Integrada: Eles não utilizam representações estruturadas (como grafos de conhecimento temporais) para vincular fatos históricos heterogêneos (políticos, militares, econômicos) em um formato consultável.
4. Falta de Estrutura de Avaliação: Não há benchmarks para plausibilidade causal ou concordância de especialistas, tratando "insights de IA" como afirmações terminais em vez de hipóteses testáveis.
5. Comportamento de Agente Não Restrito: Eles falham em modelar respostas de múltiplos agentes estratégicas e adaptativas ou em restringir as ações dos agentes contra as restrições históricas conhecidas, levando a padrões de escalada imprevisíveis (conforme documentado por Rivera et al., 2024).

Além disso, a literatura sobre história contrafactual permanece um debate epistemológico não resolvido em relação à falta de vestígios empíricos para passados contrafatuais. Qualquer sistema computacional deve abordar isso distinguindo entre evidência estabelecida, extrapolação fundamentada e propostas arquiteturais especulativas.

Metodologia: A Arquitetura CHRONOS
O artigo propõe o CHRONOS (Causal Historical Reasoning Over Networked Ontologies and Simulation), uma arquitetura híbrida projetada para fechar as lacunas identificadas. Ela integra seis estágios de processamento sequenciais/paralelos:

1. Camada de Dados Históricos: Ingesta fontes primárias e secundárias, aplicando rotulagem de proveniência-confiança para representar a historiografia contestada como distribuições em vez de fatos colapsados.
2. Grafo de Conhecimento Temporal (TKG): Constrói 12 subgrafos de domínio vinculados (Político, Militar, Econômico, etc.) estendendo o TKGR padrão para suportar consultas contrafatuais (intervenções) em vez de apenas previsões.
3. Modelo Causal Estrutural (SCM) de Grão Grosso: Mapeia o TKG para um Grafo Acíclico Dirigido (DAG) de nós de eventos. Utiliza o do-calculus de Pearl para realizar "cirurgia de grafo" (cortar arestas de entrada para um nó intervindo) e amostragem direta via métodos de Monte Carlo.
4. Camada de Simulação de Multi-Agentes baseada em LLM: Atores institucionais são instanciados como agentes movidos por LLM com pilhas de objetivos e memória episódica. Crucialmente, seus espaços de ação são restritos pelo SCM: um agente não pode selecionar uma ação se o grafo causal marcar suas precondições como falsas. Isso evita os modos de falha de "escalada imprevisível" observados em wargames de LLM não restritos.
5. Sub-Solucionador Combinatório: Um módulo plugável para resolver problemas de partição de coalizão (formulados como MaxCut). Ele utiliza por padrão solvers clássicos, mas inclui uma interface condicional para o Algoritmo de Otimização Quântica Aproximada (QAOA) ou o Eigensolver Variacional Quântico (VQE) para maturação futura do hardware.
6. Camada de Saída Explicável e Auditoria: Gera árvores de ramificação com pontuações de confiança, rastros completos de caminhos causais, etiquetas de proveniência e logs de contradição.

Principais Contribuições

1. Arquitetura Formal: A primeira especificação de uma arquitetura híbrida combinando grafos de conhecimento temporal, SCMs parciais e LLMs de múltiplos agentes com recuperação aumentada (RAG).
2. Algoritmo de Propagação: Um algoritmo formal (CHRONOS-Propagate) que adapta o do-calculus para grafos de eventos históricos discretos, lidando explicitamente com regras de consistência e resolução de contradições.
3. Estrutura de Avaliação: Um conjunto de benchmarks proposto (Tabela 4) adaptando métricas de Quantificação de Incerteza (UQ) (ex: Erro de Calibração Esperada) ao cenário contrafatual, onde a "verdade fundamental" é substituída pela concordância de historiadores da área.
4. Avaliação Honesta de Utilidade Quântica: Uma análise condicional e não exagerada da computação quântica. O artigo identifica a partição de coalizões como o único subproblema potencialmente adequado para otimização quântica, mas conclui que, dadas as limitações atuais da era NISQ (planaltos estéreis, taxas de erro), os solvers clássicos permanecem a única opção viável.

Resultados Experimentais e Descobertas
O artigo implementa e executa os mecanismos centrais em instâncias sintéticas de "brinquedo" para validar a viabilidade, evitando explicitamente a fabricação de validações do mundo real.

• Propagação Causal (grafo de 9 nós): A propagação de Monte Carlo (20.000 amostras) demonstrou que o sistema produz distribuições de probabilidade calibradas em vez de narrativas únicas. No entanto, a taxa de contradição (incoerência lógica em amostras brutas) foi significativa (~30–34%), ressaltando a necessidade do motor explícito de regras de consistência.
• Otimização Quântica (MaxCut de 6 qubits): Uma simulação de estado vetorial de QAOA mostrou que as razões de aproximação melhoraram com a profundidade do circuito, mas não atingiram o ótimo clássico dentro das profundidades testadas (p=1 a p=3). O hill-climbing clássico resolveu a instância imediatamente, confirmando que a vantagem quântica próxima não está presente atualmente para esta classe de problema.
• Verificação Computacional Escalonada (30 nós; 12 qubits):
  • Taxa de Contradição: Ao escalar o grafo causal de 9 para 30 nós, a taxa bruta de contradição saltou de 30% para **90%**. Isso indica que regras de consistência escritas à mão não escalam; um processo de geração de restrições derivado de esquema e sistemático é necessário para grafos maiores.
  • Desempenho do QAOA: Em 12 qubits, a razão de aproximação tornou-se não-monotônica com a profundidade do circuito (p=2 superou p=3), consistente com a dinâmica conhecida de planaltos estéreis (barren plateaus) e a dificuldade de otimizar os parâmetros clássicos do circuito quântico.

Significância e Alegações
O artigo posiciona o CHRONOS não como um sistema implantado e validado, mas como uma proposta arquitetural falsificável e avaliável. Sua principal significância reside na:

• Honestidade Epistêmica: Ele separa rigorosamente alegações apoiadas em literatura citada de propostas originais e especulativas. Admite explicitamente que a validação empírica do mundo real (KGs históricos povoados, implantação de múltiplos agentes ao vivo, revisão independente de historiadores) é necessária para um sistema pronto para publicação e não foi fabricada aqui.
• Defensabilidade Científica: Ao fundamentar o raciocínio contrafatual em modelos causais estruturais e propagação explícita de incerteza, o CHRONOS move o campo dos "jogos de salão" de plausibilidade narrativa em direção a simulações auditáveis e cientificamente defensáveis.
• Abordagem de Modos de Falha: Ele aborda diretamente o modo de falha documentado de agentes de LLM que escalam imprevisivelmente em wargames, ao impor a legalidade de ação restrita pelo grafo, uma característica ausente em trabalhos anteriores como WarAgent ou BattleAgent.

O artigo conclui que, embora o desempenho total do sistema contra dados históricos reais permaneça uma questão empírica aberta, os mecanismos computacionais centrais (propagação de do-calculus com detecção de contradição e incerteza calibrada) são implementáveis e produzem saídas interpretáveis e quantificáveis, representando um passo concreto além das abordagens baseadas apenas em narrativa.