An Abstract Worlds Semantic Framework for Belief Change Operators

Resumo Técnico: Um Framework Semântico de Mundos Abstratos para Operadores de Mudança de Crença

Problema
A teoria da mudança de crença, ancorada pelo seminal framework AGM (Alchourrón et al., 1985), está historicamente vinculada a sintaxes lógicas específicas, particularmente a Lógica Proposicional Clássica (CCPL). Embora frameworks subsequentes como Katsuno-Mendelzon (KM) e Mudança Múltipla tenham expandido o escopo, a maioria dos operadores permanece estruturalmente ligada à sua lógica subjacente. Essa dependência dificulta a comparação entre frameworks e a adaptação de operadores para lógicas não clássicas. Além disso, estudos existentes sobre lógicas não clássicas frequentemente dependem exclusivamente de operadores AGM clássicos, falhando em considerar a diversidade de operadores não priorizados (por exemplo, contração blindada, revisão de credibilidade limitada, revisão filtrada e revisão moderada). Há uma necessidade de um framework semântico unificado e independente de sintaxe que possa sistematizar esses diversos operadores e generalizar a teoria da mudança de crença para além das lógicas compatíveis com AGM.

Metodologia
Os autores introduzem a Semântica de Mundos Abstratos (AWS - Abstract Worlds Semantics), um framework de conjuntos onde os "mundos" são tratados como elementos primitivos de um conjunto de índices $I$ arbitrário, independentes de qualquer sintaxe lógica específica. Esta abordagem generaliza a semântica de mundos possíveis de Grove (1988) ao utilizar a álgebra de conjuntos $(\mathcal{P}(I), \cap, \cup, ^c, \subseteq)$ como a estrutura fundamental.

A metodologia procede em três estágios principais:

1. Definição Semântica de Movimentos: O framework define a mudança de crença não como um único operador, mas como um conjunto de "movimentos" (Expansão, Contração, Revisão, Não Mudança e Moderação) baseados na interseção e inclusão de conjuntos que representam o conhecimento ($A$) e a nova informação ($B$).
2. Construção de Operadores via Funções de Seleção: Os autores definem operadores de mundo elementares (contração $-_w$ e revisão $*_w$) usando funções de seleção de mundos $\sigma$. Eles introduzem uma nova família de operadores versáteis ($\circ_w$) que unificam esses operadores elementares. Os operadores versáteis são definidos por duas funções de seleção, $\sigma$ e $\rho$, permitindo que cubram todo o espectro de movimentos, incluindo o movimento de "Moderação", que se situa entre a contração e a revisão.
3. Tradução para Lógicas Tarskianas: Para conectar o framework semântico abstrato a sistemas lógicos concretos, os autores aplicam a Redução e as Conexões de Galois de Suszko. Eles mapeiam o framework AWS sobre lógicas Tarskianas (lógicas definidas por um operador de consequência que satisfaz inclusão, monotonia e idempotência). Isso envolve estabelecer uma bijeção entre conjuntos de crenças (conjuntos fechados de fórmulas) e conjuntos fechados de valorações, permitindo a tradução de postulados baseados em mundos para postulados de conjuntos de crenças.

Principais Contribuições

• A Família de Operadores Versáteis: O artigo define operadores versáteis de mundo elementares como uma classe unificadora que engloba a contração e a revisão clássicas, bem como operadores não priorizados. Esses operadores satisfazem uma gama de postulados que permitem que se comportem como expansões, revisões, contrações ou mudanças moderadas, dependendo da entrada.
• Sistematização de Operadores Não Priorizados: O framework fornece um relato homogêneo de operadores não priorizados (contração blindada, revisão de credibilidade limitada, revisão filtrada e revisão moderada) ao caracterizá-los como subfamílias de operadores versáteis. Isso é alcançado definindo relações de credibilidade e questionabilidade ($\prec_w, \succ_w$) derivadas do comportamento do operador, em vez de depender de conjuntos externos de fórmulas.
• Generalização para Lógicas Tarskianas: Os autores demonstram que a AWS não se limita à CCPL. Ao utilizar representações Tarskianas, eles mostram como operadores de mudança de crença podem ser definidos para qualquer lógica Tarskiana, incluindo aquelas que não são compatíveis com AGM (ou seja, onde o postulado da recuperação pode falhar).
• Teoremas de Representação Unificados: O artigo estabelece teoremas de representação mostrando que:
  • A contração e a revisão de mundo elementares são duais construídas pelo mesmo processo de seleção de mundo.
  • Operadores versáteis podem ser construídos a partir de pares de funções de seleção ou de pares de operadores de contração/revisão associados.
  • Em lógicas Tarskianas T1 (que incluem a CCPL), as construções clássicas (sobras de escolha e aberturas de pacotes) são isomórficas às construções baseadas em funções de seleção de mundo clássicas.

Resultos

• Unificação de Frameworks: O framework AWS recupera com sucesso os frameworks AGM, KM e Mudança Múltipla quando restrito a conjuntos de crenças na Lógica Proposicional Clássica.
• Dualidade e Identidades de Levi/Harper: O artigo reexamina as identidades de Levi e Harper dentro do contexto versátil. Ele mostra que, enquanto a contração e a revisão elementares são posições extremas, os operadores versáteis ocupam o espaço intermediário, generalizando efetivamente a dualidade entre contração e revisão.
• Caracterização de Operadores Não Priorizados:
  • A Contração Blindada é mostrada como uma subfamília de operadores versáteis onde a relação de "questionabilidade" é trivial.
  • A Revisão de Credibilidade Limitada (CL) e a Revisão Filtrada são caracterizadas por propriedades de emaranhamento específicas entre as relações de credibilidade e questionabilidade.
  • A Revisão Moderada é definida como um operador versátil que satisfaz postulados específicos de consistência e vacuidade.
• Análise de Conformidade com AGM: O artigo identifica as lógicas Tarskianas T1 (aquelas com representações topológicas e completas) como a classe de lógicas que são compatíveis com AGM. Eles provam que, nessas lógicas, as construções padrão de AGM (sobras) correspondem diretamente às funções de seleção de mundo, enquanto em lógicas não compatíveis com AGM, operadores versáteis ainda podem ser definidos axiomaticamente sem exigir o postulado da recuperação.

Significância e Alegações
Os autores alegam que a AWS fornece uma fundação puramente semântica para a mudança de crença que desvincula a teoria de uma sintaxe lógica específica. Ao tratar os mundos como elementos primitivos, o framework simplifica e generaliza a teoria da mudança de crença sobre conjuntos de crenças.

A significância do trabalho reside em sua capacidade de:

1. Sistematizar disparates frameworks e operadores de mudança de crença sob uma única construção abstrata.
2. Generalizar a teoria da mudança de crença para lógicas não compatíveis com AGM, oferecendo uma conexão formal entre estruturas semânticas e lógicas Tarskianas.
3. Reinterpretar a dualidade entre contração e revisão, mostrando como os operadores não priorizados se encaixam no panorama mais amplo da mudança de crença.
4. Padronizar conceitos como credibilidade e questionabilidade como relações inerentes ao comportamento do operador, em vez de restrições externas.

O artigo conclui que a AWS estabelece uma fundação para um programa de pesquisa em vez de um único resultado formal, oferecendo um mecanismo de tradução sistemático que pode ser aplicado a futuras análises de lógicas não clássicas (por exemplo, modais, paraconsistentes, lógicas de descrição) e outros operadores (por exemplo, atualização, apagamento), embora essas aplicações específicas sejam deixadas para trabalhos futuros.