Belief Contraction in Dynamic Epistemic Logic

Sintesi Tecnica: Contrazione della Credenza nella Logica Epistemica Dinamica

Problema
La logica epistemica dinamica (DEL) standard modella il cambiamento della credenza principalmente attraverso l'eliminazione di possibilità (aggiornamenti "hard"), catturando efficacemente l'espansione della credenza ma fallendo nel modellare la contrazione della credenza riguardo a proposizioni fattuali. Sebbene un'alternativa popolare arricchisca i modelli di Kripke con ordinamenti di plausibilità per rappresentare aggiornamenti "soft" (promuovendo le possibilità invece di eliminarle), questo articolo identifica due critiche limitazioni espressive nel framework della plausibilità:

1. Introspezione Positiva: Poiché gli ordinamenti di plausibilità sono transitivi, il framework valida l'assioma 4 ($Ba\phi \to BaBa\phi$), rendendolo incapace di modellare agenti che sono in errore riguardo alle proprie credenze.
2. Annunci Mitigati (Hedged Announcements): Il framework non può modellare le contrazioni della credenza derivanti da annunci pubblici "mitigati" (ad esempio, "$\phi$ potrebbe essere falso"). Tali annunci intuitivamente causano la sospensione del giudizio di un agente su $\phi$ senza che questi adotti necessariamente nuove credenze fattuali. L'articolo dimostra tramite il Teorema 3.2 che nessun modello di evento di plausibilità può trasformare un modello in cui un agente crede $\neg p$ in un modello in cui l'agente sospende il giudizio su $p$ (non credendo né in $p$ né in $\neg p$) mantenendo l'equivalenza modale.

Metodologia
Gli autori propongono un nuovo framework per la contrazione della credenza definito direttamente su modelli di Kripke multi-agente standard, senza imporre vincoli (come la transitività o l'euclidianità) sulle relazioni di accessibilità dossastica.

• Logica degli Annunci Pubblici Mitigati (HPAL): Il meccanismo centrale è una modalità dinamica $[\div \phi]$, che rappresenta un annuncio pubblico mitigato secondo cui $\phi$ potrebbe essere falso. L'operazione di aggiornamento, denotata $M \div \phi$, modifica le relazioni di accessibilità $R_a$ come segue:

  • Se un agente $a$ crede $\phi$ in un mondo $w$ ($M, w \models Ba\phi$), l'insieme dei mondi accessibili dell'agente viene espanso per includere tutti i mondi in cui vale $\neg \phi$: $R^{\div \phi}_a(w) = R_a(w) \cup \{v \in W : M, v \models \neg \phi\}$.
  • Se l'agente non crede $\phi$, la relazione di accessibilità rimane invariata.
    Questo approccio tratta la contrazione come un'estensione del modello (aggiunta di archi) piuttosto che come una restrizione (rimozione di mondi).

• DEL Generalizzata (GDEL): Per accomodare scenari più complessi, come annunci privati o semi-privati, gli autori introducono un modello di evento generalizzato $E = (E, Q, Q^+, pre)$. Questo estende i modelli di evento standard aggiungendo una relazione $Q^+_a$ che rappresenta gli eventi che vengono introdotti come possibilità dall'evento stesso, distinta da $Q_a$ che rappresenta le possibilità non escluse. L'aggiornamento prodotto generalizzato $M \otimes E$ combina l'eliminazione standard (tramite $Q$) con l'aggiunta di nuove possibilità (tramite $Q^+$).

Contributi Chiave e Risultati

1. Assiomatizzazione di HPAL: L'articolo fornisce un'assiomatizzazione corretta e completa per la logica degli annunci pubblici mitigati (Tabella 1). Il sistema include assiomi di riduzione che permettono di tradurre le formule dinamiche in formule dossastiche statiche. Un assioma di riduzione chiave (A5) caratterizza la credenza dopo la contrazione: un agente crede $\psi$ dopo aver contratto su $\phi$ se e solo se inizialmente non credeva $\phi$ e crede $\psi$ dopo l'aggiornamento, o se credeva $\phi$ e $\psi$ è vero in tutti i mondi $\neg \phi$ appena aggiunti.

2. Analisi di Preservazione e Successo:

   • Preservazione: Gli autori definiscono una formula $\phi$ come preservata se $\phi \to [\div \neg \phi]\phi$ è valida. Mostrano che mentre gli annunci pubblici standard preservano le formule universali, gli annunci mitigati preservano le formule esistenziali (costruite da letterali, $\land$, $\lor$ e $eBa$).
   • Successo: Una formula è di successo se non viene creduta dopo un annuncio mitigato che essa potrebbe essere falsa ($[\div \phi]\neg Ba\phi$). L'articolo prova che le formule universali sono di successo. Al contrario, le frasi "moorean" come $p \land Ba\neg p$ sono mostrate come autorefutanti e quindi non preservate.

3. Postulati AGM: L'articolo valuta i classici postulati di contrazione AGM in questo contesto dinamico.

   • Validi: Chiusura, Estensionalità e Consistenza sono soddisfatti.
   • Invalidi: Successo, Inclusione e Vacuità non sono soddisfatti in modo incondizionato. Ad esempio, un agente può acquisire nuove credenze sulla propria mancanza di credenza (violando l'Inclusione) dopo un annuncio mitigato.
   • Vacuità Forte: Una versione rafforzata della Vacuità è valida: se nessun agente crede $\phi$ in nessun punto del modello, la contrazione non ha effetto.

4. DEL Generalizzata (GDEL) e Simulazione: L'articolo stabilisce che GDEL è un'estensione conservativa della DEL standard. Un risultato teorico chiave (Teorema 7.8) è che ogni aggiornamento generalizzato produce un modello che è una simulazione di un affinamento del modello iniziale. Ciò cattura formalmente la natura duale dell'aggiornamento: può eliminare possibilità (affinamento) e aggiungere possibilità (simulazione).

5. Potere Espressivo: Gli autori dimostrano che GDEL può modellare dinamiche che HPAL non può. Nello specifico, l'Esempio 7.9 e la Proposizione 7.10 mostrano che HPAL non può modellare uno scenario in cui un annuncio mitigato causa la sospensione del giudizio di un agente su una proposizione ($p$) pur mantenendo una specifica credenza su un'altra ($q$). GDEL supera questo limite utilizzando le relazioni $Q^+$ per introdurre selettivamente nuove possibilità compatibili con la conoscenza di base dell'agente.

Significatività
L'articolo sostiene di offrire una soluzione alle limitazioni espressive degli approcci basati sulla plausibilità per la contrazione della credenza. Definendo la contrazione direttamente sui modelli di Kripke standard, il framework riesce a modellare agenti che mancano di introspezione positiva e agenti che sospendono il giudizio in risposta ad annunci mitigati. Gli autori posizionano il loro lavoro come un'estensione naturale della DEL standard che accoglie la perdita di informazione (contrazione) insieme al guadagno di informazione (espansione). Notano inoltre che, sebbene il loro framework possa emulare le dinamiche di plausibilità aggiungendo archi, esso diverge dalla teoria AGM consentendo ai valori di verità delle formule epistemiche di cambiare durante la contrazione, una caratteristica intrinseca agli ambienti dinamici ma assente nei modelli AGM statici. Il lavoro lascia aperto il compito di caratterizzare tutte le formule di successo in HPAL e le condizioni sotto le quali le proprietà di introspezione sono preservate in GDEL.