An Abstract Worlds Semantic Framework for Belief Change Operators

Résumé Technique : Un Cadre Sémantique de Mondes Abstraits pour les Opérateurs de Changement de Croyances

Énoncé du Problème
La théorie du changement de croyances, ancrée dans le cadre séminal AGM (Alchourrón et al., 1985), est historiquement liée à des syntaxes logiques spécifiques, particulièrement la Logique Propositionnelle Classique (LPC). Bien que des cadres ultérieurs comme Katsuno-Mendelzon (KM) et le Changement Multiple aient élargi le champ d'application, la plupart des opérateurs restent structurellement liés à leur logique sous-jacente. Cette dépendance entrave la comparaison entre les cadres et l'adaptation des opérateurs aux logiques non classiques. De plus, les études existantes sur les logiques non classiques reposent souvent uniquement sur les opérateurs AGM classiques, omettant de rendre compte de la diversité des opérateurs non prioritaires (par exemple, la contraction protégée, la révision à crédibilité limitée, la révision filtrée et la révision modérée). Il existe un besoin pour un cadre sémantique unifié, indépendant de la syntaxe, capable de systématiser ces divers opérateurs et de généraliser la théorie du changement de croyances au-delà des logiques conformes à l'AGM.

Méthodologie
Les auteurs introduisent la Sémantique des Mondes Abstraits (AWS - Abstract Worlds Semantics), un cadre de théorie des ensembles où les « mondes » sont traités comme des éléments primitifs d'un ensemble d'index $I$ arbitraire, indépendamment de toute syntaxe logique spécifique. Cette approche généralise la sémantique des mondes possibles de Grove (1988) en utilisant l'algèbre des ensembles $(\mathcal{P}(I), \cap, \cup, ^c, \subseteq)$ comme structure fondamentale.

La méthodologie se déroule en trois étapes principales :

1. Définition Sémantique des Mouvements : Le cadre définit le changement de croyance non pas comme un opérateur unique, mais comme un ensemble de « mouvements » (Expansion, Contraction, Révision, Absence de Changement et Modération) basés sur l'intersection et l'inclusion d'ensembles représentant la connaissance ($A$) et la nouvelle information ($B$).
2. Construction d'Opérateurs via des Fonctions de Sélection : Les auteurs définissent des opérateurs de mondes élémentaires (contraction $-_w$ et révision $*_w$) à l'aide de fonctions de sélection de mondes $\sigma$. Ils introduisent une nouvelle famille d'opérateurs polyvalents ($\circ_w$) qui unifient ces opérateurs élémentaires. Les opérateurs polyvalents sont définis par deux fonctions de sélection, $\sigma$ et $\rho$, leur permettant de couvrir toute la gamme des mouvements, y compris le mouvement de « Modération » qui se situe entre la contraction et la révision.
3. Traduction vers les Logiques Tarskiennes : Pour relier le cadre sémantique abstrait aux systèmes logiques concrets, les auteurs appliquent la Réduction de Suszko et les Connexions de Galois. Ils projettent le cadre AWS sur des logiques tarskiennes (logiques définies par un opérateur de conséquence satisfaisant l'inclusion, la monotonie et l'idempotence). Cela implique d'établir une bijection entre les ensembles de croyances (ensembles clos de formules) et les ensembles clos de valuations, permettant la traduction des postulats basés sur les mondes en postulats de l'ensemble de croyances.

Contributions Clés

• La Famille d'Opérateurs Polyvalents : Le papier définit les opérateurs de mondes polyvalents élémentaires comme une classe unificatrice qui englobe la contraction, la révision et les opérateurs non prioritaires classiques. Ces opérateurs satisfont un éventail de postulats leur permettant de se comporter comme des expansions, des révisions, des contractions ou des changements modérés selon l'entrée.
• Systématisation des Opérateurs Non Prioritaires : Le cadre fournit un compte homogène des opérateurs non prioritaires (contraction protégée, révision à crédibilité limitée, révision filtrée et révision modérée) en les caractérisant comme des sous-familles d'opérateurs polyvalents. Ceci est réalisé en définissant des relations de crédibilité et de questionnabilité ($\prec_w, \succ_w$) dérivées du comportement de l'opérateur, plutôt qu'en s'appuyant sur des ensembles externes de formules.
• Généralisation aux Logiques Tarskiennes : Les auteurs démontrent que l'AWS n'est pas limitée à la LPC. En utilisant des représentations tarskiennes, ils montrent comment des opérateurs de changement de croyances peuvent être définis pour toute logique tarskienne, y compris celles qui ne sont pas conformes à l'AGM (c'est-à-dire où le postulat de récupération peut échouer).
• Théorèmes de Représentation Unifiés : Le papier établit des théorèmes de représentation montrant que :
  • La contraction et la révision de mondes élémentaires sont des dualités construites par la même fonction de sélection.
  • Les opérateurs polyvalents peuvent être construits à partir de paires de fonctions de sélection ou de paires d'opérateurs de contraction/révision associés.
  • Dans les logiques T1 (qui incluent la LPC), les constructions classiques (restes et ouvertures de paquets) sont isomorphes aux constructions basées sur les fonctions de sélection de mondes classiques.

Résultats

• Unification des Cadres : Le cadre AWS réussit à récupérer les cadres AGM, KM et le Changement Multiple lorsqu'il est restreint aux ensembles de croyances dans la Logique Propositionnelle Classique.
• Dualité et Identités de Levi/Harper : Le papier réexamine les identités de Levi et de Harper dans le contexte polyvalent. Il montre que si la contraction et la révision élémentaires sont des positions extrêmes, les opérateurs polyvalents occupent l'espace intermédiaire, généralisant efficacement la dualité entre contraction et révision.
• Caractérisation des Opérateurs Non Prioritaires :
  • La Contraction Protégée est montrée comme une sous-famille d'opérateurs polyvalents où la relation de « questionnabilité » est triviale.
  • La Révision à Crédibilité Limitée (CL) et la Révision Filtrée sont caractérisées par des propriétés d'enchevêtrement spécifiques entre les relations de crédibilité et de questionnabilité.
  • La Révision Modérée est définie comme un opérateur polyvalent satisfaisant des postulats spécifiques de cohérence et de vacuité.
• Analyse de la Conformité AGM : Le papier identifie les logiques tarskiennes T1 (celles possédant des représentations topologiques et complètes) comme la classe de logiques conformes à l'AGM. Il prouve que dans ces logiques, les constructions AGM standards (restes) correspondent directement aux fonctions de sélection de mondes, tandis que dans les logiques non conformes à l'AGM, des opérateurs polyvalents peuvent toujours être définis axiomatiquement sans exiger le postulat de récupération.

Signification et Revendications
Les auteurs affirment que l'AWS fournit un fondement purement sémantique pour le changement de croyances qui découple la théorie de la syntaxe logique spécifique. En traitant les mondes comme des éléments primitifs, le cadre simplifie et généralise la théorie du changement de croyances sur les ensembles de croyances.

La signification de ce travail réside dans sa capacité à :

1. Systématiser des cadres et des opérateurs de changement de croyances disparates sous une construction abstraite unique.
2. Généraliser la théorie du changement de croyances aux logiques non conformes à l'AGM, offrant une connexion formelle entre les structures sémantiques et les logiques tarskiennes.
3. Réinterpréter la dualité entre contraction et révision, montrant comment les opérateurs non prioritaires s'insèrent dans le paysage plus large du changement de croyances.
4. Standardiser des concepts tels que la crédibilité et la questionnabilité comme des relations inhérentes au comportement de l'opérateur, plutôt que comme des contraintes externes.

Le papier conclut que l'AWS établit le fondement d'un programme de recherche plutôt que d'un résultat formel unique, offrant un mécanisme de traduction systématique qui peut être appliqué aux analyses futures des logiques non classiques (par exemple, modales, paraconsistantes, logiques de description) et d'autres opérateurs (par exemple, mise à jour, effacement), bien que ces applications spécifiques soient laissées aux travaux futurs.