Resumo Técnico: Determinização em Teorias de Estrutura

1. Enunciado do Problema

O artigo aborda o problema formal de canonicalização dentro de teorias de estrutura plurais, especificamente motivado por falhas em sistemas de raciocínio e decisão assistidos por Large Language Models (LLMs). Nesses sistemas, um modelo de linguagem propõe interpretações candidatas enquanto uma teoria de estrutura simbólica define o conjunto de interpretações admissíveis.

A questão central é a alucinação, definida aqui como "canonicalização não suportada": o sistema emitindo uma resposta determinante quando o conjunto subjacente de interpretações admissíveis não colapsou para um singleton. O artigo questiona: Sob quais condições estruturais uma teoria de estrutura está licenciada a produzir uma interpretação única?

A maioria das estruturas de mercado (e, por extensão, muitas teorias formais) é não-determinística, permitindo que múltiplas interpretações válidas coexistam na mesma posição. O artigo busca formalizar condições estruturais suficientes sob as quais uma leitura canônica pode ser construída e classificar os mecanismos pelos quais isso ocorre.

2. Metodologia e Estrutura

2.1 Teorias de Estrutura

O autor formaliza uma Teoria de Estrutura como uma terna $T = (\Sigma, A, I)$, onde:

• $\Sigma$ é uma assinatura.
• $A$ é um conjunto de axiomas.
• $I = I_{core} \cup I_{ext}$ é uma política de inferência (o artigo foca em $I_{core}$).

A teoria opera sobre entradas $(N, \Theta, \Pi)$ representando realizações de mercado, parâmetros e evidência estrutural. A família de interpretações admissíveis $P_T$ é o conjunto de todas as atribuições consistentes com os axiomas $A$ e a política de inferência.

Restrições sobre $I_{core}$:
A política de inferência é restrita à inferência positiva e não-retrativa:

• (R1) Forma de Regra Positiva: Regras apenas adicionam conclusões; nenhuma remove conclusões.
• (R2) Ausência de Negação-como-Falha: As premissas são conjunções positivas; nenhuma regra depende da ausência de um predicado derivado.
• (R3) Sem Retração: Nenhuma regra retira conclusões previamente derivadas.

2.2 Taxonomia da Não-Determinismo

O artigo classifica a não-determinismo em dois tipos baseados em como a pluralidade se comporta sob o refinamento da evidência:

• Tipo E (Pluralidade Epistêmica): A pluralidade desaparece conforme a evidência é refinada. Se $|P_T| > 1$, existe um conjunto de evidência refinado $\Pi'$ tal que $|P_T(\Pi')| = 1$. (Exemplo: Teoria ICT).
• Tipo S (Pluralidade Estrutural): A pluralidade persiste mesmo na evidência máxima ($\Pi_{full}$).
  • Tipo S-forte: Uma subclasse de Tipo S onde interpretações admissíveis distintas em $\Pi_{full}$ não possuem um limite superior comum sob a ordem de especificação $\preceq_{spec}$. (Exemplo: Teoria Wyckoff).

2.3 Forças de Canonicalização

O framework distingue três níveis de canonicalização:

1. Estabilização de Fechamento (Propriedade 4'): Cada semente admissível converge sob um operador para algum ponto fixo (dependente da semente).
2. Completude Global (Propriedade 4): Todas as sementes convergem para um único ponto fixo.
3. Determinização (AC-6): O ponto fixo único é a única interpretação admissível.

3. Contribuições Principais e Resultados

3.1 Mecanismos Duais para Canonicalização

O artigo estabelece que a canonicalização não é um processo monotônico de operador, mas divide-se em dois processos fundamentalmente diferentes:

• Completude Baseada em Operador (Tipo E):

  • Aplicável a teorias de Tipo E.
  • Utiliza um operador de completude ($D_{comp}$) que iterativamente adiciona conclusões até que um ponto fixo seja alcançado.
  • Requer: Fechamento, comparabilidade (N4-comp) e extensão compatível (C5-E).
  • Resultado: Estabelece a Estabilização de Fechamento (4'). Alcançar a Completude Global (4) ou AC-6 requer um resultado adicional de confluência global (Open Question OQ-GC-1 para ICT).

• Construção Baseada em Seletor (Tipo S-forte):

  • Aplicável a teorias de Tipo S-forte.
  • Utiliza um seletor canônico ($\phi$) que escolhe um elemento único de conjuntos locais com base em uma ordem intrínseca da teoria.
  • Requer: Comparabilidade intrínseca da teoria (N4-sel) e compatibilidade global das escolhas selecionadas (C5-S).
  • Resultado: Alcança diretamente AC-6.
  • Resultado de Impossibilidade: Para teorias de Tipo S-forte, a Completude Global (Propriedade 4) via um operador extensivo é provadamente impossível porque as interpretações incomparáveis carecem de um limite superior comum.

3.2 Lema de Construção (Teorema 6b)

O artigo fornece um lema de construção estabelecendo condições suficientes para a existência desses mecanismos:

• Ramo de Completude: $N0 + N3 + N4\text{-comp} + C5\text{-E} \implies D_{comp}$ existe com força (4').
• Ramo de Seleção: $N0 + N1 + N4\text{-sel} + C5\text{-S} \implies PhaseClassify$ existe em AC-6.

Um achado crítico é que a comparabilidade intrínseca da teoria (N4) é necessária. Um contraexemplo mínimo ($T_{ce}$) demonstra que o fechamento sozinho (sem comparabilidade) é insuficiente para a canonicalização.

3.3 Classificação de Mecanismos (Teorema U3)

Condicional à uma suposição de cobertura de realização (OQ-Realization), o artigo classifica cada mecanismo intrínseco da teoria realizado dentro de uma gramática específica em:

• Classe C (Completude): Realizada via fechamento saturado de regras elementares (3a) ou fechamento saturado guardado (3c). Estas satisfazem as propriedades (1)–(4').
• Classe S (Seleção): Realizada via seleção induzida por axiomas (3b).

Distinção Chave sobre Monotonicidade:

• Mecanismos puramente computáveis por $I_{core}$ (Classe C, 3a) são monótonos sob a ordem de especificação $\preceq_{spec}$ (Lema C).
• Mecanismos guardados (Classe C, 3c) são genericamente não-monótonos. Adicionar um predicado pode ativar uma guarda que suprime uma derivação, bloqueando uma conclusão que dispararia em um estado menor. O artigo fornece um testemunho concreto ($D_{comp}^{HTF}$) onde a monotonicidade falha.

3.4 Operadores de Múltiplos Timeframes e Estagiados

O artigo estende o framework para hierarquias de múltiplos timeframes usando um operador estagiado $D_{comp}^{HTF} = D_L \circ D_H$.

• Não-Comutatividade: O artigo prova que a completude estagiada é estruturalmente não-comutativa. Especificamente, para a arquitetura bruta de dois operadores, a ordem $D_L \circ D_H$ (aplicar $D_H$ [HTF] primeiro, depois $D_L$ [LTF]) é a única linearização que preserva a admissibilidade. A ordem inversa pode produzir estados inadmissíveis.
• Fase 2 (Multi-Operador): O artigo resume as condições de existência para a canonicalização de múltiplos operadores, definindo um "gap de segurança" $\Phi^*$. A viabilidade é equivalente a $\Phi^* = 0$. Estabelece uma hierarquia de condições de compatibilidade: $GCC \implies RUCS \implies PLCS$.

3.5 Estrutura Categórica

O artigo define a Determinização como um pseudofunctor parcial ($Det$) mapeando pares de teorias e estruturas de comparabilidade para suas extensões canônicas. Isso fornece um template categórico para teorias recursivas (ex: Elliott Wave).

4. Significância e Alegações

O artigo alega fornecer um framework unificado para entender quando e como teorias estruturais podem ser tornadas determinísticas, distinguindo entre:

1. Incerteza epistêmica (resolvível por acumulação de evidência via completude).
2. Incomparabilidade estrutural (exigindo um mecanismo de seleção).

Alegações Modestas e Questões em Aberto:

• O artigo não estabelece que o ICT (Tipo E) atinge a determinização AC-6; ele apenas estabelece a Estabilização de Fechamento (4'). A completude global para ICT permanece uma questão aberta (OQ-GC-1).
• A classificação de mecanismos (Teorema U3) é condicional à suposição de que todas as operações intrínsecas da teoria caem dentro da gramática (3a)/(3b)/(3c) (OQ-Realization).
• A inferência "Tipo S $\to$ Seleção" é provada apenas para teorias de Tipo S-forte. O caso genérico de Tipo S permanece em aberto (OQ-TypeS-Imp).
• O resultado de não-comutatividade é limitado à "arquitetura bruta de dois operadores estagiados"; outras arquiteturas com operadores de reparo ou pontos fixos conjuntos não são excluídas.

Conclusão:
A principal contribuição é a separação formal entre a canonicalização baseada em fechamento e a baseada em seleção, a identificação da não-monotonicidade em sistemas guardados, e a definição rigorosa das condições estruturais (N4, C5) necessárias para licenciar um output único. Este framework oferece uma base formal para diagnosticar a "alucinação" em sistemas assistidos por LLM como a emissão de uma resposta determinante quando o conjunto admissível subjacente não colapsou para um singleton.