Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment

Título: Revisão de Crenças Paraconsistente: Uma LFI Enriquecida com Substituição para Entrenchment Epistêmico

Autores: Marcelo E. Coniglio, Martín Figallo e Rafael R. Testa.

1. O Problema

O artigo aborda uma lacuna fundamental na área de Revisão de Crenças Paraconsistente (PBR) baseada em Lógicas de Inconsistência Formal (LFIs).

• Contexto: As LFIs permitem que agentes racionais lidem com contradições sem trivializar o sistema (evitando o princípio da explosão). Sistemas anteriores, como AGMp e AGM◦, estenderam o modelo clássico AGM para ambientes paraconsistentes, introduzindo atitudes epistêmicas como "aceitação forte" (aceitar $\alpha$ e sua consistência $\circ\alpha$).
• A Limitação Crítica: A maioria das LFIs carece da propriedade de substituição (ou extensão própria). Isso significa que, mesmo que duas fórmulas sejam logicamente equivalentes ($\alpha \equiv \beta$), uma não pode necessariamente substituir a outra em qualquer contexto sem alterar o comportamento inferencial.
• Consequência: A ausência dessa propriedade impede a definição formal de Entrenchment Epistêmico (entrenchment), um conceito central na teoria AGM que ordena as crenças por sua resistência à mudança. Sem a substituição, não é possível construir operações de revisão baseadas em ordenações de entrenchment de forma coerente em sistemas paraconsistentes, pois a equivalência lógica não é preservada sob operadores de consistência.

2. Metodologia

Os autores utilizam uma abordagem que combina lógica formal, álgebra e semântica não-determinística:

1. Revisão e Sistematização de Cbr: O artigo retoma a lógica Cbr (já definida anteriormente), que possui propriedades essenciais para atitudes epistêmicas fortes, como a simetria $\circ\alpha \equiv \circ\neg\alpha$.
2. Introdução de RCbr: Os autores definem RCbr, uma extensão auto-extensional (self-extensional) de Cbr. Esta lógica incorpora explicitamente regras de inferência global que garantem a propriedade de substituição para o operador de negação ($\neg$) e para o operador de consistência ($\circ$).
3. Semântica via Nmatrizes e BALFIs:
   • A semântica é construída utilizando Nmatrizes (matrizes não-determinísticas) para Cbr.
   • Para RCbr, utiliza-se a semântica de Álgebras Booleanas com Operadores LFI (BALFIs).
4. Construção de Contraexemplos (Teorema 4.11): Para provar que RCbr é uma lógica paraconsistente genuína e que certas propriedades de iteratividade da consistência não são válidas, os autores constroem um modelo específico (Bmod) baseado na álgebra booleana do conjunto das partes dos inteiros ($\wp(\mathbb{Z})$).
   • Uso do Teorema Chinês do Resto (CRT): A construção do modelo utiliza propriedades da aritmética modular e o Teorema Chinês do Resto para definir conjuntos de "valores de verdade inconsistentes" de forma a invalidar esquemas como $\circ\circ\alpha$ e $(\alpha \land \circ\alpha) \to \circ\circ\alpha$.

3. Contribuições Principais

• Definição de RCbr: Apresentação de uma lógica LFI que mantém a paraconsistência, mas recupera a propriedade de substituição (auto-extensão), permitindo que fórmulas equivalentes sejam intercambiáveis em qualquer contexto, inclusive sob o operador de consistência.
• Fundamentação do Entrenchment em PBR: Pela primeira vez, é possível definir formalmente o entrenchment epistêmico em um sistema AGM paraconsistente baseado em LFIs. A lógica RCbr fornece a base estrutural necessária para que a ordenação de crenças seja bem-definida e independente da sintaxe.
• Caracterização de Atitudes Epistêmicas: O sistema formaliza a distinção entre crenças "fortemente aceitas" (aceitação de $\alpha$ e $\circ\alpha$) e crenças meramente consistentes. Mostra-se que crenças fortemente aceitas são irrevogáveis (não podem ser removidas por contração) a menos que sua própria consistência seja removida.
• Análise de Validade de Esquemas de Consistência: O artigo demonstra que, em RCbr, esquemas como $\circ\circ\alpha$ (consistência da consistência) não são válidos. Isso é crucial, pois permite que a consistência de uma crença seja reavaliada ou removida, evitando que a "aceitação forte" se torne um dogma eterno e imutável.

4. Resultados Técnicos

• Teorema de Completude: Prova-se que RCbr é completo e correto em relação à sua semântica BALFI.
• Invalidação de Axiomas de Iteratividade: O modelo $B_{mod}$ prova que os esquemas $(cp1)$a$(cp4)$ (relacionados à iteratividade do operador $\circ$) não são válidos em RCbr. Isso diferencia RCbr de outras extensões (como RCie) onde $\circ\circ\alpha$ é um teorema, permitindo um dinamismo mais rico na revisão de crenças.
• Construção de Contração por Entrenchment: Os autores definem um operador de contração ($\div$) baseado em uma relação de entrenchment ($\leq$) que satisfaz os postulados de AGM estendidos (incluindo sucesso, inclusão, relevância e extensão).
  • Introduz-se uma versão fraca do postulado de "sobreposição conjuntiva" (weak conjunctive overlap), adaptada para lidar com crenças irrevogáveis.
• Levi Identity e Revisão Externa: O framework suporta tanto a identidade de Levi clássica quanto a "Revisão Externa" (expansão seguida de contração), permitindo estados intermediários contraditórios que são posteriormente consolidados.

5. Significado e Impacto

• Avanço Teórico: O trabalho preenche uma lacuna teórica de longa data, permitindo que a teoria de revisão de crenças baseada em ordenação (entrenchment) seja aplicada a lógicas paraconsistentes. Isso unifica a robustez das LFIs com a estrutura dinâmica do modelo AGM.
• Interpretação Epistêmica: Reforça a interpretação de que a consistência formal ($\circ\alpha$) não é apenas uma propriedade lógica, mas uma atitude epistêmica (compromisso com a estabilidade da crença).
• Aplicações Práticas: O modelo é apresentado como útil para cenários onde contradições temporárias são inevitáveis e gerenciáveis, como:
  • Direito: Derrogação de normas e resolução de conflitos normativos com exceções contextuais.
  • Inteligência Artificial e Ciência: Diagnóstico de anomalias em dados (ex: testes antidoping), onde dados novos podem contradizer pressupostos de confiabilidade sem necessariamente descartar todo o sistema de crenças.
• Futuro: Abre caminho para pesquisas em mudança de crenças multiagente e fusão de crenças em contextos paraconsistentes, onde a estrutura de entrenchment pode ajudar a resolver impossibilidades sociais clássicas.

Em resumo, o artigo estabelece RCbr como a base lógica adequada para uma teoria de revisão de crenças paraconsistente que é tanto estruturalmente sólida (possuindo substituição) quanto dinamicamente rica (permitindo a reavaliação da consistência), superando as limitações de abordagens anteriores.