Belief Contraction in Dynamic Epistemic Logic

Resumo Técnico: Contração de Crença em Lógica Epistêmica Dinâmica

Problema
A Lógica Epistêmica Dinâmica (DEL) padrão modela a mudança de crença primariamente através da eliminação de possibilidades (atualizações fortes), capturando efetivamente a expansão de crença, mas falhando em modelar a contração de crença em relação a proposições fatuais. Embora uma alternativa popular enriqueça os modelos de Kripke com ordenações de plausibilidade para representar atualizações "suaves" (promovendo possibilidades em vez de eliminá-las), este artigo identifica duas limitações expressivas críticas na estrutura de plausibilidade:

1. Introspecção Positiva: Como as ordenações de plausibilidade são transitivas, a estrutura valida o axioma 4 ($Ba\phi \to BaBa\phi$), tornando-se incapaz de modelar agentes que estão equivocados sobre suas próprias crenças.
2. Anúncios Atenuados (Hedged Announcements): A estrutura não consegue modelar contrações de crença resultantes de anúncios públicos atenuados (ex: "$\phi$ pode ser falso"). Tais anúncios intuitivamente fazem com que um agente suspenda o julgamento sobre $\phi$ sem necessariamente adotar novas crenças fatuais. O artigo demonstra, via Teorema 3.2, que nenhum modelo de evento de plausibilidade pode transformar um modelo onde um agente acredita em $\neg p$ em um modelo onde o agente suspende o julgamento sobre $p$ (não acreditando nem em $p$ nem em $\neg p$) mantendo a equivalência modal.

Metodologia
Os autores propõem uma nova estrutura para a contração de crença definida diretamente em modelos de Kripke multiagentes padrão, sem impor restrições (como transitividade ou euclideanidade) às relações de acessibilidade doxástica.

• Lógica de Anúncio Público Atenuado (HPAL): O mecanismo central é uma modalidade dinâmica $[\div \phi]$, representando um anúncio público atenuado de que $\phi$ pode ser falso. A operação de atualização, denotada por $M \div \phi$, modifica as relações de acessibilidade $R_a$ da seguinte forma:

  • Se um agente $a$ acredita em $\phi$ em um mundo $w$ ($M, w \models Ba\phi$), o conjunto de mundos acessíveis do agente é expandido para incluir todos os mundos onde $\neg \phi$ é verdadeiro: $R^{\div \phi}_a(w) = R_a(w) \cup \{v \in W : M, v \models \neg \phi\}$.
  • Se o agente não acredita em $\phi$, a relação de acessibilidade permanece inalterada.
    Esta abordagem trata a contração como uma extensão do modelo (adicionando arestas) em vez de uma restrição (removendo mundos).

• DEL Generalizada (GDEL): Para acomodar cenários mais complexos, como anúncios privados ou semi-privados, os autores introduzem um modelo de evento generalizado $E = (E, Q, Q^+, pre)$. Isso estende os modelos de evento padrão ao adicionar uma relação $Q^+_a$ que representa eventos que são introduzidos como possibilidades pelo próprio evento, distinta de $Q_a$, que representa possibilidades não descartadas. A atualização de produto generalizada $M \otimes E$ combina a eliminação padrão (via $Q$) com a adição de novas possibilidades (via $Q^+$).

Contribuições Principais e Resultados

1. Axiomatização da HPAL: O artigo fornece uma axiomatização sonora e completa para a lógica de anúncios públicos atenuados (Tabela 1). O sistema inclui axiomas de redução que permitem traduzir fórmulas dinâmicas em fórmulas doxásticas estáticas. Um axioma de redução fundamental (A5) caracteriza a crença após a contração: um agente acredita em $\psi$ após contrair sobre $\phi$ se, e somente se, ele não acreditava em $\phi$ inicialmente e acredita em $\psi$ após a atualização, ou se ele acreditava em $\phi$ e $\psi$ é verdadeiro em todos os novos mundos $\neg \phi$ adicionados.

2. Análise de Preservação e Sucesso:

   • Preservação: Os autores definem uma fórmula $\phi$ como preservada se $\phi \to [\div \neg \phi]\phi$ é válida. Eles mostram que, enquanto os anúncios públicos padrão preservam fórmulas universais, os anúncios atenuados preservam fórmulas existenciais (construídas de literais, $\land$, $\lor$ e $eBa$).
   • Sucesso: Uma fórmula é bem-sucedida se não é acreditada após um anúncio atenuado de que ela pode ser falsa ($[\div \phi]\neg Ba\phi$). O artigo prova que fórmulas universais são bem-sucedidas. Inversamente, sentenças "mooreanas" como $p \land Ba\neg p$ mostram-se autorrefutáveis e, portanto, não são preservadas.

3. Postulados AGM: O artigo avalia os postulados padrão de contração AGM dentro deste cenário dinâmico.

   • Válidos: Fechamento, Extensionalidade e Consistência são válidos.
   • Inválidos: Sucesso, Inclusão e Vacuidade não são válidos de forma irrestrita. Por exemplo, um agente pode adquirir novas crenças sobre sua própria falta de crença (violando a Inclusão) após um anúncio atenuado.
   • Vacuidade Forte: Uma versão fortalecida da Vacuidade é válida: se nenhum agente acredita em $\phi$ em qualquer lugar do modelo, a contração não tem efeito.

4. DEL Generalizada (GDEL) e Simulação: O artigo estabelece que a GDEL é uma extensão conservativa da DEL padrão. Um resultado teórico chave (Teorema 7.8) é que qualquer atualização generalizada produz um modelo que é uma simulação de um refinamento do modelo inicial. Isso captura formalmente a natureza dual da atualização: ela pode eliminar possibilidades (refinamento) e adicionar possibilidades (simulação).

5. Poder Expressivo: Os autores demonstram que a GDEL pode modelar dinâmicas que a HPAL não consegue. Especificamente, o Exemplo 7.9 e a Proposição 7.10 mostram que a HPAL não pode modelar um cenário onde um anúncio atenuado faz com que um agente suspenda o julgamento sobre uma proposição ($p$) enquanto retém uma crença específica sobre outra ($q$). A GDEL supera isso usando relações $Q^+$ para introduzir seletivamente novas possibilidades compatíveis com o conhecimento de base do agente.

Significância
O artigo afirma oferecer uma solução para as limitações expressivas das abordagens de plausibilidade para a contração de crença. Ao definir a contração diretamente em modelos de Kripke padrão, a estrutura modela com sucesso agentes que carecem de introspecção positiva e agentes que suspendem o julgamento em resposta a anúncios atenuados. Os autores posicionam seu trabalho como uma extensão natural da DEL padrão que acomoda a perda de informação (contração) juntamente com o ganho de informação (expansão). Eles observam que, embora sua estrutura possa emular dinâmicas de plausibilidade ao adicionar arestas, ela diverge da teoria AGM ao permitir que os valores de verdade de fórmulas epistêmicas mudem durante a contração, uma característica inerente a ambientes dinâmicos, mas ausente em modelos AGM estáticos. O trabalho deixa em aberto a caracterização de todas as fórmulas bem-sucedidas em HPAL e as condições sob as quais as propriedades de introspecção são preservadas em GDEL.