Belief Contraction in Dynamic Epistemic Logic

Résumé technique : Contraction de la croyance dans la logique épistémique dynamique

Énoncé du problème
La logique épistémique dynamique (DEL) standard modélise le changement de croyance principalement par l'élimination de possibilités (mises à jour fortes), capturant efficacement l'expansion de croyance mais échouant à modéliser la contraction de croyance concernant des propositions factuelles. Bien qu'une alternative populaire enrichisse les modèles de Kripke avec des ordonnancements de plausibilité pour représenter des mises à jour « douces » (promouvant des possibilités plutôt que de les éliminer), cet article identifie deux limitations expressives critiques dans le cadre de la plausibilité :

1. Introspection positive : Parce que les ordonnancements de plausibilité sont transitifs, le cadre valide l'axiome 4 ($Ba\phi \to BaBa\phi$), le rendant incapable de modéliser des agents qui se trompent sur leurs propres croyances.
2. Annonces nuancées (Hedged Announcements) : Le cadre ne peut pas modéliser les contractions de croyance résultant d'annonces publiques « nuancées » (par exemple, « $\phi$ pourrait être faux »). De telles annonces provoquent intuitivement une suspension de jugement de l'agent sur $\phi$ sans pour autant qu'il adopte de nouvelles croyances factuelles. L'article démontre via le Théorème 3.2 qu'aucun modèle d'événement de plausibilité ne peut transformer un modèle où un agent croit $\neg p$ en un modèle où l'agent suspend son jugement sur $p$ (ne croyant ni $p$ ni $\neg p$) tout en maintenant l'équivalence modale.

Méthodologie
Les auteurs proposent un nouveau cadre pour la contraction de la croyance défini directement sur des modèles de Kripke multi-agents standards, sans imposer de contraintes (telles que la transitivité ou l'euclidéanité) sur les relations d'accessibilité doxastiques.

• Logique d'annonces publiques nuancées (HPAL) : Le mécanisme central est une modalité dynamique $[\div \phi]$, représentant une annonce publique nuancée que $\phi$ pourrait être faux. L'opération de mise à jour, notée $M \div \phi$, modifie les relations d'accessibilité $R_a$ comme suit :

  • Si un agent $a$ croit $\phi$ au monde $w$ ($M, w \models Ba\phi$), l'ensemble des mondes accessibles de l'agent est étendu pour inclure tous les mondes où $\neg \phi$ est vrai : $R^{\div \phi}_a(w) = R_a(w) \cup \{v \in W : M, v \models \neg \phi\}$.
  • Si l'agent ne croit pas $\phi$, la relation d'accessibilité reste inchangée.
    Cette approche traite la contraction comme une extension du modèle (ajout de liens) plutôt que comme une restriction (suppression de mondes).

• DEL Généralisée (GDEL) : Pour répondre à des scénarios plus complexes, tels que des annonces privées ou semi-privées, les auteurs introduisent un modèle d'événement généralisé $E = (E, Q, Q^+, pre)$. Cela étend les modèles d'événements standards en ajoutant une relation $Q^+_a$ représentant les événements qui sont introduits comme des possibilités par l'événement lui-même, distincte de $Q_a$ qui représente les possibilités non exclues. La mise à jour produit généralisée $M \otimes E$ combine l'élimination standard (via $Q$) avec l'ajout de nouvelles possibilités (via $Q^+$).

Contributions clés et résultats

1. Axiomatisation de HPAL : L'article fournit une axiomatisation saine et complète pour la logique des annonces publiques nuancées (Tableau 1). Le système comprend des axiomes de réduction qui permettent de traduire les formules dynamiques en formules doxastiques statiques. Un axiome de réduction clé (A5) caractérise la croyance après contraction : un agent croit $\psi$ après avoir contracté sur $\phi$ si et seulement si il ne croyait pas $\phi$ initialement et croit $\psi$ après la mise à jour, ou s'il croyait $\phi$ et que $\psi$ est vrai dans tous les nouveaux mondes $\neg \phi$ ajoutés.

2. Analyse de la préservation et du succès :

   • Préservation : Les auteurs définissent une formule $\phi$ comme étant préservée si $\phi \to [\div \neg \phi]\phi$ est valide. Ils montrent que si les annonces publiques standard préservent les formules universelles, les annonces nuancées préservent les formules existentielles (construites à partir de littéraux, $\land$, $\lor$, et $eBa$).
   • Succès : Une formule est succès (successful) si elle n'est pas crue après une annonce nuancée indiquant qu'elle pourrait être fausse ($[\div \phi]\neg Ba\phi$). L'article prouve que les formules universelles sont des succès. Inversement, les phrases « mooreennes » comme $p \land Ba\neg p$ sont montrées comme étant auto-réfutables et donc non préservées.

3. Postulats AGM : L'article évalue les postulats de contraction AGM standards dans ce cadre dynamique.

   • Valides : La clôture, l'extensionalité et la cohérence sont respectées.
   • Invalides : Le succès, l'inclusion et la vacuité ne sont pas respectés sans restrictions. Par exemple, un agent peut acquérir de nouvelles croyances sur son propre manque de croyance (violant l'Inclusion) après une annonce nuancée.
   • Vacuité forte : Une version renforcée de la Vacuité est respectée : si aucun agent ne croit $\phi$ n'importe où dans le modèle, la contraction n'a aucun effet.

4. GDEL et simulation : L'article établit que la GDEL est une extension conservatrice de la DEL standard. Un résultat théorique clé (Théorème 7.8) est que toute mise à jour généralisée produit un modèle qui est une simulation d'un affinement du modèle initial. Cela capture formellement la double nature de la mise à jour : elle peut éliminer des possibilités (affinement) et ajouter des possibilités (simulation).

5. Puissance expressive : Les auteurs démontrent que la GDEL peut modéliser des dynamiques que la HPAL ne peut pas. Spécifiquement, l'Exemple 7.9 et la Proposition 7.10 montrent que la HPAL ne peut pas modéliser un scénario où une annonce nuancée cause la suspension du jugement d'un agent sur une proposition ($p$) tout en conservant une croyance spécifique sur une autre ($q$). La GDEL surmonte cela en utilisant les relations $Q^+$ pour introduire sélectivement de nouvelles possibilités compatibles avec les connaissances antérieures de l'agent.

Signification
L'article prétend offrir une solution aux limitations expressives des approches basées sur la plausibilité de la contraction de croyance. En définissant la contraction directement sur des modèles de Kripke standards, le cadre parvient à modéliser des agents qui manquent d'introspection positive et des agents qui suspendent leur jugement en réponse à des annonces nuancées. Les auteurs positionnent leur travail comme une extension naturelle de la DEL standard qui accommode la perte d'information (contraction) parallèlement au gain d'information (expansion). Ils notent que bien que leur cadre puisse émuler les dynamiques de plausibilité en ajoutant des liens, il diverge de la théorie AGM en permettant aux valeurs de vérité des formules épistémiques de changer pendant la contraction, une caractéristique inhérente aux contextes dynamiques mais absente des modèles AGM statiques. Le travail laisse ouvert la caractérisation de toutes les formules réussies dans HPAL ainsi que les conditions sous lesquelles les propriétés d'introspection sont préservées dans GDEL.