Choosing the Lens: Strategic Perspective Activation in Context-Dependent Argumentation

Résumé Technique : Cadres d'Argumentation Dépendants du Contexte et Activation Stratégique

Définition du Problème
L'article traite d'une lacune dans la théorie formelle de l'argumentation standard concernant l'évaluation des arguments sous différents régimes externes. Dans des scénarios réels, tels que les revues architecturales, l'ensemble des arguments et leurs conflits restent fixes, mais le « prisme » à travers lequel ils sont évalués change en fonction des priorités du réviseur (par exemple, performance vs fiabilité vs coût). Les cadres de Dung (1995) standards manquent d'un mécanisme pour modéliser cette sélection de régime. Bien que les Cadres d'Argumentation Basés sur les Valeurs (VAF) (Bench-Capon 2003) permettent différents schémas de défaite via les préférences de l'audience, ils sont limités : une audience ne peut que reclasser les valeurs, et non les désactiver entièrement. Par conséquent, les VAF ne peuvent pas capturer les scénarios où un agent choisit stratégiquement d'exclure des perspectives spécifiques du processus d'évaluation pour atteindre un résultat souhaité.

Méthodologie : Cadres d'Argumentation Dépendants du Contexte (CDAF)
Les auteurs introduisent les Cadres d'Argumentation Dépendants du Contexte (CDAF) comme une extension de la théorie de Dung. Un CDAF est défini par un tuple $\langle A, R, C, \delta \rangle$, où :

• $A$ est un ensemble fini d'arguments.
• $R \subseteq A \times A$ est la relation d'attaque.
• $C$ est un ensemble fini de contextes.
• $\delta: C \times R \to \{0, 1\}$ est une fonction de défaite qui détermine, pour chaque contexte, quelles attaques réussissent.

L'article se concentre sur un CDAF étiqueté par perspective spécialisé, où la fonction de défaite est dérivée plutôt que donnée. Les arguments sont assignés à des perspectives sources ($src: A \to \Pi$). Un contexte est défini par :

1. Ensemble de Pertinence ($\rho$) : un sous-ensemble de perspectives actives ($\rho \subseteq \Pi$). Cela représente l'espace d'action ou le « prisme » de l'agent.
2. Fonction de Priorité ($\pi$) : un classement des perspectives au sein du contexte.

Une attaque $(a, b)$ réussit dans un contexte si et seulement si la perspective de l'attaquant est active ($src(a) \in \rho$) et que la priorité de l'attaquant est supérieure ou égale à celle du défenseur ($\pi(src(a)) \geq \pi(src(b))$). Crucialement, cela crée une asymétrie : désactiver une perspective réduit au silence toutes les attaques lancées par les arguments issus de cette perspective, mais ces arguments restent présents dans le cadre et peuvent toujours être défendus ou acceptés s'ils ne sont pas attaqués par des perspectives actives.

Contributions Clés et Résultats

1. Activation Stratégique : L'article démontre que la variation de l'ensemble de pertinence $\rho$ (activation/désactivation de perspectives) peut produire des résultats d'acceptation impossibles à atteindre dans les VAF.

   • Exemple de travail : Les auteurs construisent un scénario avec les arguments $\{a, b, t, d\}$ et les perspectives $\{\alpha, \beta, \gamma\}$. L'argument cible $t$ est structurellement piégé : sous une pertinence totale (toutes les perspectives actives), $t$ est rejeté car son défenseur $b$ attaque également $t$. Cependant, en désactivant la perspective $\alpha$ (en fixant $\rho = \{\beta, \gamma\}$), l'attaque de « feu ami » $(a, t)$ est réduite au silence. Cela permet à $t$ d'être accepté via une extension préférée, un résultat inatteignable sous toute priorité injective dans un cadre de pertinence totale.
   • Limitation des VAF : L'article prouve que le schéma de défaite induit par une activation partielle (par exemple, $\rho = \{\gamma\}$, où les attaques mutuelles entre $a$ et $b$ échouent toutes deux) ne peut pas être réalisé par aucune audience de VAF, car les audiences de VAF exigent un ordre total strict sur les valeurs, garantissant qu'au moins une direction d'une attaque mutuelle réussit.

2. Problème de Décision : ACTIVATION-MANIPULATION : Les auteurs formalisent la question stratégique comme un problème de décision : Étant donné un cadre, une priorité fixe et un argument cible $t$, existe-t-il un sous-ensemble non vide $\rho \subseteq \Pi$ tel que $t$ soit crédulement $\sigma$-accepté ?

   • Limites de Complexité :
     • Pour les sémantiques Grounded ($gr$), Stable ($stb$) et Préférée ($pref$), le problème est montré être dans NP. Les auteurs notent que bien que la vérification d'une extension préférée soit typiquement co-NP, l'acceptation préférentielle crédule coïncide avec l'admissibilité crédule, permettant de résoudre le problème en devinant $\rho$ et un ensemble admissible dans un seul calcul NP.
     • Pour les sémantiques Stable et Préférée, le problème est NP-dur (et donc NP-complet) via une réduction de l'acceptation standard de Dung.
     • Pour la sémantique Grounded, le problème est dans P, bien qu'il reste ouvert de savoir si la liberté de choisir $\rho$ élève la variante grounded à la NP-complétude.
   • Contrainte : L'exigence que $\rho$ soit non vide est essentielle ; un $\rho$ vide désactiverait toutes les attaques, acceptant trivialement tous les arguments.

Signification et Portée
L'article revendique sa signification principalement en définissant un nouveau formalisme qui capture un levier stratégique spécifique : la capacité de sélectionner quels régimes (perspectives) régissent un processus d'argumentation, ce qui est distinct du simple reclassement de ces derniers. Cela modélise des scénarios où un agent contrôle le « forum » ou la « piste » d'un débat plutôt que la logique interne des réviseurs.

Les auteurs maintiennent une portée modeste, affirmant explicitement qu'une étude complète du cadre dépasse l'objet de l'article. Ils identifient plusieurs directions ouvertes :

• Déterminer les limites de complexité serrées, particulièrement pour la variante grounded.
• Explorer le design de mécanismes où la sélection de $\rho$ est contrainte par des coûts ou des inclusions obligatoires.
• Étudier les variantes multi-agents où les agents déterminent conjointement $\rho$ par une dynamique coopérative ou adversaire.
• Examiner ce phénomène dans des contextes appliqués, tels que les systèmes de mémoire d'agents multi-perspectives.

Le travail se distingue de l'Argumentation de Contrôle (qui modifie la structure) et de la Manipulation dans l'Argumentation Incomplète (qui modifie la structure), positionnant les CDAF comme un modèle où la structure est fixe, mais où la fonction de défaite est modulée dynamiquement par le choix de l'agent concernant les perspectives actives.