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

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la Révision des Croyances Paraconsistante (PBR), qui vise à modéliser comment des agents rationnels peuvent gérer des informations contradictoires sans tomber dans la trivialité (le principe d'explosion classique).

• Cadre existant : Les systèmes précédents, tels que AGMp et AGM◦, étendent le cadre classique AGM (Alchourrón, Gärdenfors, Makinson) en utilisant les Logiques de l'Inconsistance Formelle (LFI). Ces logiques introduisent un opérateur de consistance formelle ($\circ$) permettant de distinguer les énoncés cohérents des incohérents.
• La limitation critique : Bien que AGM◦ introduise de nouvelles attitudes épistémiques (comme l'« acceptation forte » : accepter à la fois $\alpha$ et $\circ\alpha$), ces approches souffrent d'une lacune fondamentale : l'absence de la propriété de remplacement (ou extensionnalité) dans la plupart des LFI.
  • Sans cette propriété, si deux formules sont logiquement équivalentes ($\alpha \equiv \beta$), on ne peut pas nécessairement les substituer l'une à l'autre dans tous les contextes sans affecter la dérivabilité.
  • Cette absence empêche la construction formelle de modèles basés sur l'enracinement épistémique (epistemic entrenchment), un concept clé pour hiérarchiser les croyances selon leur résistance au changement. En effet, la définition de l'enracinement repose sur des relations d'ordre qui nécessitent que l'équivalence logique soit préservée par les opérateurs logiques (notamment $\circ$).

2. Méthodologie

Les auteurs proposent une approche structurée en deux étapes pour combler ce vide théorique :

1. Systématisation de la logique $Cbr$ :

   • Ils revisitent et formalisent en profondeur la logique $Cbr$ (définie précédemment par Testa et al.), conçue pour supporter les attitudes épistémiques fortes dans AGM◦.
   • Ils établissent ses propriétés sémantiques via des matrices non-déterministes (Nmatrices) et algébriques (BALFI - Boolean Algebras with LFI Operators).
   • Ils démontrent que $Cbr$ satisfait des symétries cruciales : $\circ\alpha \equiv \circ\neg\alpha$ et la préservation de l'équivalence pour $\circ$ sous certaines conditions.

2. Introduction de $RCbr$ (Replacement-Enriched $Cbr$) :

   • Pour résoudre le problème de l'absence de remplacement, les auteurs introduisent $RCbr$, une extension auto-extensionnelle de $Cbr$.
   • Cette extension ajoute des règles d'inférence globales garantissant que si $\alpha \equiv \beta$, alors $\neg\alpha \equiv \neg\beta$ et $\circ\alpha \equiv \circ\beta$.
   • Preuve de cohérence : Un défi majeur était de s'assurer que cette extension reste paraconsistante (c'est-à-dire qu'elle ne force pas la trivialité en présence de contradictions). Les auteurs construisent un contre-modèle spécifique ($B_{mod}$) basé sur l'arithmétique modulaire et le Théorème des Restes Chinois (CRT). Ce modèle démontre que $RCbr$ possède des modèles paraconsistants et invalide certaines lois de la consistance itérée (comme $\circ\circ\alpha$), ce qui est essentiel pour la dynamique des croyances.

3. Modélisation de l'Enracinement Épistémique :

   • Une fois la logique $RCbr$ établie comme fondation solide, les auteurs définissent formellement l'ordre d'enracinement épistémique ($\leq$) et les opérateurs de contraction ($\div$) adaptés au cadre AGM◦.

3. Contributions Clés et Résultats

• Définition de $RCbr$ : C'est la première LFI qui combine la capacité de gérer les contradictions (via l'opérateur $\circ$) avec la propriété de remplacement (extensionnalité). Cela permet de traiter l'équivalence logique de manière robuste dans un contexte paraconsistant.
• Construction Algébrique ($B_{mod}$) : L'utilisation du Théorème des Restes Chinois pour définir les valeurs de vérité incohérentes dans un algèbre de Boole étendue est une contribution technique majeure. Elle prouve que les schémas de consistance itérée ($\circ\circ\alpha$, etc.) ne sont pas des théorèmes de $RCbr$, préservant ainsi la flexibilité nécessaire pour rétracter la croyance en la consistance d'une proposition.
• Caractérisation de la Contraction AGM◦ :
  • Les auteurs définissent un opérateur de contraction basé sur l'enracinement épistémique pour $RCbr$.
  • Ils démontrent que cet opérateur satisfait les postulats standards de l'AGM (fermeture, succès, inclusion, etc.) ainsi que des postulats supplémentaires adaptés (comme un « faible recouvrement conjonctif »).
  • Ils établissent le lien fondamental entre l'enracinement et la contraction via les équivalences $(C \leq)$ et $(G \div)$, prouvant que la contraction peut être entièrement construite à partir d'un ordre d'enracinement.
• Attitudes Épistémiques Fortes : Le cadre permet de distinguer clairement l'acceptation forte ($\alpha \in K$ et $\circ\alpha \in K$) de l'acceptation simple. Les croyances fortement acceptées sont traitées comme irrévocables (sauf si la croyance en leur propre consistance est retirée), ce qui structure la hiérarchie de l'enracinement.

4. Signification et Implications

• Avancement Théorique : Ce travail comble une lacune majeure dans la littérature sur la révision des croyances non-classiques. Il rend possible l'application des modèles d'enracinement épistémique (qui sont le standard pour la dynamique des croyances rationnelles) dans des environnements paraconsistants.
• Interprétation Philosophique : L'article renforce l'interprétation épistémique des LFI. L'opérateur de consistance $\circ$ n'est plus seulement un outil logique, mais représente une attitude épistémique active (la croyance en la stabilité d'une information). La hiérarchie d'enracinement donne un sens opérationnel à cette attitude : les croyances « fortes » sont celles que l'agent refuse de réviser.
• Applications Pratiques :
  • Droit et Normes : Le modèle permet de gérer les exceptions contextuelles (ex: une règle générale vs une exception temporaire) en passant par des états intermédiaires contradictoires avant de consolider la base de croyances.
  • Intelligence Artificielle et Raisonnement Défaisable : Il offre un cadre formel pour gérer des données contradictoires dans les systèmes multi-agents ou les bases de connaissances évolutives, où la priorité (enracinement) détermine quelle information est conservée lors d'un conflit.
• Ouvertures Futures : Les auteurs suggèrent que ce cadre ouvre la voie à l'étude de la fusion de croyances (belief merging) dans des contextes multi-agents et à l'analyse des opérations d'amélioration des croyances (improvement operations), où l'agent modifie la force de ses croyances sans nécessairement changer le contenu factuel.

En résumé, cet article fournit les fondations formelles nécessaires pour intégrer la richesse des attitudes épistémiques des LFI dans les modèles dynamiques de révision des croyances, en surmontant l'obstacle technique de l'absence de remplacement grâce à la logique $RCbr$.