🤖 AI

Some Results about the Expressivity of Preference-Incomplete Structured Argumentation Frameworks

Cet article étudie le pouvoir expressif des cadres d'argumentation ASPIC $^+$ avec des préférences incertaines en démontrant que la plupart des comparaisons avec des formalismes abstraits produisent des résultats négatifs, tout en proposant et en validant partiellement une conjecture concernant un seuil non trivial de leur expressivité.

Auteurs originaux : Antonio Yuste-Ginel

Publié 2026-06-23

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Antonio Yuste-Ginel

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de déterminer qui a raison dans un débat. Dans le monde de l'informatique et de la logique, on appelle cela l'Argumentation. Habituellement, nous avons un ensemble d'arguments (comme « Il pleut, donc prends un parapluie ») et un ensemble de règles sur la façon dont ils s'affrontent (comme « L'argument du parapluie bat l'argument de "rester au sec" »).

Ce document explore ce qui se passe lorsque nous ne connaons pas toutes les règles du combat. Plus précisément, il examine un scénario où nous sommes incertains quant aux préférences ou à la hiérarchie des débatteurs.

Voici une décomposition du parcours de l'article, en utilisant des analogies simples :

1. La mise en place : Le « Juge Incertain »

Imaginez un club de débat. Habituellement, nous savons exactement quelles sont les préférences du juge. Si l'Argument A est plus fort que l'Argument B, le juge choisit toujours A.

Mais dans cet article, les auteurs imaginent une situation où les préférences du juge sont incertaines. Peut-être que le juge préfère A par rapport à B, ou qu'il pourrait préférer B par rapport à A, ou qu'il est indécis. Les auteurs appellent cela un Cadre à Préférences Incomplètes (Preference-Incomplete Framework).

L'Objectif : Ils veulent savoir : « Si nous avons cette incertitude concernant les préférences du juge, quel type d'« incertitude » cela crée-t-il dans le résultat final ? »
La Traduction : Ils tentent de traduire ce débat complexe et structuré (avec des règles, des prémisses et des juges) en une carte abstraite plus simple où nous voyons simplement des flèches pointant d'un argument vers un autre (victoire/défaite).

2. Les cartographes : Formalismes abstraits

Pour comprendre l'incertitude, les auteurs comparent leur modèle de « Juge Incertain » à d'autres manières existantes de cartographier l'incertitude. Considérez cela comme différents types de cartes :

Cartes simples (def-IAFs) : Ces cartes disent : « Cette flèche pourrait exister, ou elle pourrait ne pas exister. » C'est un pile ou face. Soit l'argument bat l'autre, soit il ne le bat pas.
Cartes connectées (dep-IAFs) : Ces cartes sont plus intelligentes. Elles disent : « Si cette flèche existe, alors cette flèche doit aussi exister », ou « Au moins une de ces deux flèches doit exister ». Elles possèdent des règles reliant les incertitudes.

3. La grande découverte : Les zones d'exclusion (« No-Go Zones »)

Les auteurs ont mené une série de tests pour voir si leur modèle de « Juge Incertain » pouvait être parfaitement copié par ces cartes plus simples. Les résultats sont majoritairement négatifs (ce qui signifie « Non, vous ne pouvez pas faire cela »).

Voici les principales conclusions, traduites :

On ne peut pas utiliser une Carte Simple : Vous ne pouvez pas simplement dire « peut-être que cette défaite se produit, peut-être qu'elle ne se produit pas » pour capturer l'incertitude des préférences d'un juge. L'incertitude des préférences est trop complexe ; elle crée des motifs de « peut-être » qu'une carte de type pile ou face simple ne peut pas reproduire.
On ne peut pas utiliser une Carte « Soit/Ou » : Même si vous autorisez des cartes qui disent « Soit la Flèche A existe, OU la Flèche B existe », cela ne suffit toujours pas. Le « Juge Incertain » crée des dépendances logiques spécifiques que ces cartes ignorent.
On ne peut pas utiliser une Carte « Si/Alors » : De même, les cartes qui disent « Si la Flèche A existe, alors la Flèche B doit exister » sont également insuffisantes en soi.
La réciproque est également vraie : Curieusement, le modèle du « Juge Incertain » ne peut pas non plus créer tous les types possibles d'incertitudes simples non plus. Il existe des scénarios abstraits étranges (comme un argument qui se bat contre lui-même) que le modèle du Juge ne peut tout simplement pas produire.

La Métaphore : Imaginez essayer de décrire un parfum spécifique de crème glacée (Incertitude des Préférences) en utilisant uniquement une liste d'ingrédients (Cartes Simples). Vous ne pouvez pas le faire parfaitement car la manière dont les ingrédients se mélangent crée une texture unique que la liste ne parvient pas à capturer. Inversement, la crème glacée ne peut pas créer toutes les combinaisons de saveurs possibles non plus.

4. La zone du « Peut-être » : Une nouvelle conjecture

Puisque les cartes simples ont échoué, les auteurs se sont tournés vers un type de carte plus complexe appelé Cartes Disjonctives-Implicatives. Ces cartes permettent à la fois des règles « Soit/Ou » et des règles « Si/Alors ».

L'Hypothèse : Les auteurs soupçonnent fortement (conjecture) que leur modèle de « Juge Incertain » peut être parfaitement traduit en ces cartes complexes.
Le Statut : Ils ne l'ont pas encore prouvé à 100 %, mais ils ont fait les premiers pas. Ils ont découvert que l'incertitude créée par le juge suit des motifs spécifiques (comme « Si le juge préfère A à B, alors A bat B ») qui s'intègrent parfaitement dans la structure de ces cartes complexes.

Résumé

Cet article est essentiellement une étude des limites de traduction.

Le Problème : Nous avons une manière complexe de modéliser l'incertitude (juges incertains dans les débats).
Le Test : Pouvons-nous traduire cela en modèles d'incertitude plus simples et abstraits ?
Le Résultat : Non, pas avec les modèles simples. L'incertitude est trop nuancée.
L'Espoir : Cela pourrait être traduisible dans un modèle légèrement plus complexe qui mélange la logique « Soit/Ou » et « Si/Alors », mais les auteurs travaillent encore sur la preuve finale.

L'article conclut que pour comprendre l'incertitude dans les arguments structurés, nous devons cesser de traiter cela comme un simple pile ou face et commencer à le traiter comme un réseau de possibilités connectées.

Résumé technique : Expressivité des cadres d'argumentation structurés à préférences incomplètes

Énoncé du problème

L'article traite de l'expressivité des cadres d'argumentation structurés à préférences incomplètes (pref-ISAFs), un formalisme au sein du cadre ASPIC+ où les relations de préférence entre les arguments sont partiellement incertaines. Alors que l'incertitude dans l'argumentation abstraite est souvent modélisée via des cadres d'argumentation incomplets (IAFs) où les arguments ou les défaites sont incertains, les pref-ISAFs introduisent un type spécifique d'incertitude : l'incertitude de l'ordonnancement des préférences.

La question de recherche centrale est la suivante : Quel type d'incertitude de défaite abstraite est généré par l'incertitude de préférence ? Plus précisément, les auteurs cherchent à savoir si l'ensemble des complétions abstraites (scénarios de défaites possibles) générées par les pref-ISAFs peut être capturé par des formalismes abstraits existants pour l'incertitude de défaite, tels que :

def-IAFs : des IAFs avec des défaites incertaines mais sans dépendances entre elles.
dep-IAFs : des IAFs avec des défaites incertaines et des dépendances logiques (par exemple, des contraintes disjonctives ou implicatives) entre elles.
Sous-classes : les IAFs disjonctifs (dis-IAFs) et implicatifs (imp-IAFs).

Méthodologie

Les auteurs emploient une analyse comparative de l'expressivité basée sur la notion de complétions.

Définitions formelles :
- pref-ISAF : Un cadre structuré où la relation de préférence $\leq$ est divisée en composantes certaines ( $\leq_F$ ) et incertaines ( $\leq_?$ ). Une complétion de préférence est tout cadre où $\leq_?$ est résolu.
- Complétions abstraites : L'ensemble des cadres d'argumentation (AFs) abstraits associés à toutes les complétions de préférences possibles d'un pref-ISAF.
Critère d'équivalence : Deux ensembles d'AFs (provenant de différents formalismes) sont considérés comme équivalents s'ils sont isomorphes concernant leurs ensembles d'arguments et de relations de défaite à travers toutes les complétions.
Relation d'expressivité ( $\preceq$ ) : Un formalisme $X$ est au moins aussi expressif qu'un formalisme $Y$ ( $Y \preceq X$ ) si pour tout $Y \in Y$ , il existe un $X \in X$ tel que leurs ensembles de complétions soient équivalents.
Analyse : L'article construit des contre-exemples spécifiques (témoins) pour tester si les pref-ISAFs peuvent être simulés par des formalismes abstraits plus simples et vice versa.

Contributions clés et résultats

1. Résultats négatifs d'expressivité

L'article fournit plusieurs résultats négatifs, démontrant que les pref-ISAFs ne peuvent pas être pleinement capturés par des formalismes abstraits plus simples, ni capturer toutes les formes d'incertitude de défaite abstraite.

pref-ISAFs $\not\preceq$ def-IAFs : Comme cela a été démontré précédemment dans [17], les IAFs standards avec des défaites incertaines (sans dépendances) sont insuffisantes. Les préférences incertaines peuvent générer des ensembles de complétions qui ne sont pas isomorphes à tout ensemble de complétions d'un def-IAF.
pref-ISAFs $\not\preceq$ dis-IAFs : Même en autorisant des dépendances disjonctives (où si une défaite existe, son homologue symétrique ne doit pas exister, ou vice versa), cela reste insuffisant. Les auteurs utilisent un témoin de l'Exemple 3 pour montrer que les pref-ISAFs encodent des dépendances que les dis-IAFs ne peuvent répliquer.
pref-ISAFs $\not\preceq$ imp-IAFs : De même, les dépendances implicatives seules sont insuffisantes. L'article note que si les règles et les prémisses incertaines peuvent être capturées par des imp-IAFs [16], les préférences incertaines encodent un mélange de dépendances implicatives et disjonctives que les imp-IAFs ne peuvent gérer.
def-IAFs $\not\preceq$ pref-ISAFs : Inversement, les pref-ISAFs ne sont pas assez expressifs pour simuler tous les types d'incertitude de défaite abstraite. Les auteurs fournissent un témoin (un argument unique avec une auto-défense) qui peut être modélisé par un def-IAF mais qui ne peut être généré par aucun pref-ISAF. Cela est dû au fait que la structure des arguments ASPIC+ (spécifiquement la relation entre les prémisses, les règles et les préférences) impose des contraintes qui empêchent la génération de certains scénarios de défaite "vides" requis par les simples def-IAFs.

Corollaires : Par conséquent, les pref-ISAFs ne sont pas équivalents aux dis-imp-IAFs (disjonctifs-implicatifs) ou aux dep-IAFs généraux dans un sens bidirectionnel, bien qu'ils soient subordonnés aux dep-IAFs (c'est-à-dire pref-ISAFs $\preceq$ dep-IAFs).

2. Résultats positifs et conjectures

Bien que les résultats négatifs prédominent, l'article établit un seuil d'expressivité positif et non trivial :

Proposition 7 : Les auteurs définissent des ensembles spécifiques de dépendances ( $\Delta_{OR}$ $Δ_{O R}$ et $\Delta_{IMPLY}$ $Δ_{I M P L Y}$ ) dérivés de la structure d'un pref-ISAF. Ils prouvent que :
- Certaines défaites sont fixes ( $D_F$ ) à travers toutes les complétions.
- Les défaites incertaines ( $D_?$ ) ne surviennent que sous des conditions de préférence spécifiques.
- L'ensemble des complétions satisfait des contraintes disjonctives spécifiques (si $X$ défait $Y$ , alors $Y$ ne peut pas défier $X$ dans la même complétion, ou vice versa) et des contraintes implicatives (si $X$ défait $Y$ , et que $Y$ est un sous-argument de $W$ , alors $X$ défait $W$ ).
Conjecture 1 : Sur la base de l'analyse de la Proposition 7 et de l'échec des contre-exemples, les auteurs conjecturent que les pref-IAFs sont au moins aussi expressifs que les dis-imp-IAFs ( $pref\text{-}ISAFs \preceq dis\text{-}imp\text{-}IAFs$ ). Cela suggère que l'incertitude générée par les préférences peut être entièrement capturée par des cadres abstraits permettant à la fois des dépendances disjonctives et implicatives.

Signification et revendications
L'article affirme fournir une caractérisation rigoureuse du pouvoir d'expression des préférences incertaines dans l'argumentation structurée. Sa signification réside dans :

Clarification des limites : Il démontre que les formalismes abstraits reposant uniquement sur des défaites incertaines (def-IAFs) ou des types de dépendances simples (dis-IAFs, imp-IAFs) sont théoriquement insuffisants pour modéliser l'incertitude découlant de l'incomplétude des préférences dans ASPIC+.
Identification de la complexité : Il souligne que l'incertitude des préférences génère un motif spécifique et complexe d'incertitude de défaite impliquant à la fois des contraintes disjonctives et implicatives, se distinguant ainsi de l'incertitude des règles ou des prémisses.
Direction future : L'article positionne modestement sa contribution principale comme la formulation de la Conjecture 1. Prouver cette conjecture établirait un « seuil supérieur non trivial » précis pour l'expressivité des pref-ISAFs, reliant l'argumentation structurée avec des préférences incertaines au fragment bien étudié des dis-imp-IAFs. Cette connexion est notée comme pouvant potentiellement offrir des perspectives sur la complexité computationnelle du raisonnement avec des préférences incertaines.

Les auteurs déclarent explicitement qu'ils n'ont pas encore prouvé la conjecture mais qu'ils ont examiné de nombreux contre-exemples potentiels sans succès, ce qui en fait la voie principale pour les travaux futurs. Ils suggèrent également des comparaisons futures avec l'incertitude dans les fonctions contraires et les conventions de dénomination.