Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

Résumé Technique : Vers l'implication non monotone dans la logique de point de vue propositionnelle défaisable

Énoncé du problème
Les avancées récentes dans le raisonnement défaisable ont appliqué avec succès la sémantique préférentielle et l'implication de type KLM aux logiques modales, spécifiquement à la Logique de Point de Vue Propositionnelle Défaisable (PDSL). La PDSL permet la représentation de points de vue conflictuels et de croyances typiques au sein d'un même cadre en utilisant des modalités telles que $❘∼∼❘_e \alpha$ (signifiant "$\alpha$ est vrai dans les compréhensions les plus typiques du point de vue $e$"). Cependant, les travaux existants dans ce domaine se sont principalement concentrés sur la vérification de la satisfaisabilité et l'implication tarskienne (monotone) ($\models_P$).

Les auteurs identifient une faiblesse inférentielle critique de l'approche monotone actuelle. Sous $\models_P$, une base de connaissances échoue souvent à soutenir des inférences non monotones intuitives. Par exemple, si un point de vue $P$ croit typiquement $\alpha$, et que $\alpha$ implique défaisablement $\beta$, le cadre monotone ne peut pas conclure que $P$ croit typiquement $\beta$. De même, les sous-points de vue (par exemple, l'Ingénierie) ne peuvent pas hériter des croyances typiques d'un super-point de vue (par exemple, la Physique) s'il existe un potentiel de conflit, même si aucun conflit spécifique n'est présent. Cela limite l'utilité de la PDSL pour le raisonnement prototypique où l'héritage et la typicalité sont attendus.

Méthodologie
Pour remédier à ces limitations, l'article propose de lever les relations d'implication rationnelle non monotone du raisonnement propositionnel KLM traditionnel vers un fragment de la PDSL. La méthodologie procède à travers quatre étapes principales :

1. Extension de l'expressivité via les conditionnels situés :
   Les auteurs introduisent des "conditionnels de point de vue situés" de la forme $\alpha \rightsquigarrow_e \beta$, lu comme "au sein du point de vue $e$, une croyance en $\alpha$ implique habituellement une croyance en $\beta$". Cette construction permet aux implications défaisables d'être situées spécifiquement dans le contexte d'un point de vue, plutôt que de manière globale. Les auteurs démontrent que cette nouvelle syntaxe est assez expressive pour re-caractériser l'ensemble du langage PDL, remplaçant efficacement les modalités et implications défaisables standards par ces conditionnels situés et une modalité de point de vue universelle ($\square_*$).

2. Traduction vers le KLM propositionnel :
   L'article définit un fragment spécifique de la PDL, noté $Cond(\tilde{\mathcal{L}}_S)$, composé de conditionnels défaisables positifs ($\alpha \rightsquigarrow_e \beta$) et d'affinements de points de vue ($e \lesssim d$). Une fonction de traduction $T$ est définie pour mapper les formules de ce fragment vers des bases de connaissances conditionnelles propositionnelles KLM traditionnelles.

• Les expressions de points de vue sont traduites en atomes propositionnels ou en combinaisons booléennes de ceux-ci.
• Un conditionnel $\alpha \rightsquigarrow_e \beta$ est traduit par $(\alpha \land t(e)) \mid\sim \beta$.
• Un affinement de point de vue $e \lesssim d$ est traduit par $t(e) \mid\sim t(d)$.
  Crucialement, les auteurs prouvent que cette traduction est fidèle : une base de connaissances PDL est satisfaisable si et seulement si sa traduction propositionnelle est satisfaisable, et la satisfaction des modèles est préservée sous la traduction ($M \models \varphi \iff T(M) \models T(\varphi)$).

3. Levée des relations d'implication :
   En utilisant la traduction $T$, les auteurs élèvent les relations d'implication rationnelle défaisable du cas propositionnel vers le cas PDL. Pour une stratégie de classement $r$ donnée (qui assigne une fonction de classement à une base de connaissances), la relation d'implication $| \approx_r$ dans la PDL est définie telle que $\mathcal{K} | \approx_r \varphi$ si et seulement si la préimage du modèle classé propositionnel $r(T(\mathcal{K}))$ satisfait $\varphi$.
   Cette approche permet d'utiliser les algorithmes propositionnels existants (tels que DefeasibleEntail) pour effectuer la vérification d'implication en PDL.

4. Instanciations spécifiques :
   Le cadre est appliqué à deux systèmes d'implication rationnelle bien connus :

• Fermeture Rationnelle (Rational Closure) : Définie via la fonction de classement minimale. L'article montre que la Fermeture Rationnelle en PDL évite les faiblesses inférentielles de l'implication monotone, permettant l'héritage des croyances typiques en l'absence de conflit direct.
• Fermeture Lexicographique (Lexicographic Closure) : Introduite pour résoudre le "problème de la noyade" (où une exception dans un attribut bloque l'héritage de croyances typiques non liées). Les auteurs démontrent que la Fermeture Lexicographique en PDL distingue avec succès les croyances non liées, permettant à un sous-point de vue d'hériter des croyances qui ne sont pas impliquées dans l'exception spécifique.

Résultats Clés

• Expressivité : L'introduction des conditionnels situés permet à la PDL d'exprimer toute sa syntaxe en utilisant une structure analogue aux conditionnels propositionnels, facilitant la traduction vers la logique KLM.
• Force Inférentielle : L'implication non monotone proposée ($| \approx_r$) est strictement plus forte que l'implication monotone précédente ($\models_P$). Elle soutient avec succès l'héritage des croyances typiques pour les sous-points de vue et la dérivation de conséquences à partir de croyances typiques, là où $\models_P$ échouait.
• Préservation de la Complexité : La complexité de la vérification d'implication dans le fragment proposé de la PDL est identique à celle du cas propositionnel.
  • La vérification de la Fermeture Rationnelle est $P^{NP}_{||}$-complète.
  • La vérification de la Fermeture Lexicographique est $P^{NP}$-complète.
  • Ceci est rendu possible car la traduction $T$ est linéaire, et les algorithmes propositionnels sous-jacents peuvent être utilisés directement.
• Gestion des Modalités Diamant : L'article introduit un opérateur de "négation par l'échec" (not) pour gérer les modalités diamant ($\Diamond_e \alpha$) au sein du cadre non monotone. Cela permet un "raisonnement audacieux" concernant la possibilité : si une possibilité n'est pas exclue par la base de connaissances, elle est considérée comme impliquée.

Signification et Revendications
L'article prétend fournir une méthode systématique pour intégrer le raisonnement non monotone dans les logiques de point de vue, répondant à la nature "infériellerent faible" des approches monotones précédentes. En établissant une traduction fidèle entre un fragment de la PDL et la logique KLM propositionnelle, les auteurs permettent l'application directe des systèmes d'implication rationnelle établis (Fermeture Rationnelle et Lexicographique) au raisonnement multi-perspectives.

La signification réside dans :

1. Résolution de la Faiblesse Inférentielle : Permettre à la PDL d'effectuer un raisonnement prototypique où les sous-points de vue héritent des croyances typiques et où les implications défaisables se propagent au sein de points de vue spécifiques.
2. Résolution du Problème de la Noyade : Démontrer que la Fermeture Lexicographique peut être appliquée à la PDL pour empêcher que des exceptions non liées ne bloquent l'héritage des croyances typiques.
3. Efficacité Computationnelle : Prouver que ces inférences non monotones avancées peuvent être calculées en utilisant les algorithmes propositionnels existants sans augmenter la classe de complexité computationnelle.

Les auteurs concluent que leur travail comble le fossé entre l'expressivité des logiques de point de vue et les capacités inférentielles robustes du raisonnement défaisable de type KLM, offrant un cadre pratique pour raisonner avec des points de vue conflictuels et typiques.