Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version

Résumé technique : Tenabilité et sémantiques faibles

Énoncé du problème
Dans les cadres d'argumentation abstraits de style Dung (AF), les sémantiques standards (par exemple, complètes, fondées, préférées) reposent sur l'admissibilité, qui exige qu'un ensemble d'arguments soit cohérent en interne et capable de défendre chaque membre contre toutes les attaques pertinentes simultanément, via une seule et même position uniforme. Cette exigence de « témoin uniforme » est souvent trop conservatrice en présence de schémas pathologiques, tels que des arguments auto-défaillants ou des cycles impairs, où une attaque peut ne pas constituer un défi sérieux car sa source est incohérente.

Bien que les « sémantiques faibles » existantes (par exemple, l'admissibilité faible, les approches basées sur la cogence, les sémantiques faiblement complètes) assouplissent l'admissibilité en filtrant certaines attaques (comme les attaques auto-défaillantes), elles conservent largement l'engagement structurel envers une défense uniforme. Elles exigent une seule extension ou un seul étiquetage capable de contrer adéquatement toutes les attaques jugées pertinentes simultanément. Les auteurs soutiennent que cela est insuffisant pour des scénarios où la défendabilité est intrinsèquement stratégique : la réponse appropriée à un défi peut dépendre de la ligne d'attaque spécifique à laquelle l'adversaire s'engage, et des défis mutuellement incompatibles n'ont pas besoin d'être relevés conjointement par une position fixe.

Méthodologie
L'article introduit la tenabilité, une famille de sémantiques basées sur le dialogue qui formalisent la défense non uniforme. Le changement conceptuel central consiste à passer de « il existe une position répondant à toutes les attaques pertinentes » à « pour chaque ligne d'attaque cohérente, il existe une réponse appropriée ».

La méthodologie utilise des jeux d'engagement monotones sur des mouvements finis sans conflit. Les auteurs définissent trois variantes de la tenabilité, différant par les obligations imposées aux disputants (Proponent et Opponent) :

1. Tenabilité statique : Une vérification stratégique ponctuelle. Un ensemble $A$ est statiquement tenable si, pour tout ensemble fini sans conflit $B$ attaquant $A$, il existe une extension sans conflit $C \supseteq A$ qui est « aussi cogente que » $B$ (c'est-à-dire que $C$ contre-attaque chaque élément de $B$ qui attaque $C$). Cela capture l'idée qu'une position dispose d'une réponse pour chaque attaque entrante cohérente, mais ne prend pas en compte l'escalade dynamique.
2. Tenabilité forte : Un débat dynamique où le Proponent doit maintenir une stratégie gagnante. Le jeu se déroule par des coups alternés où le Proponent étend sa position pour contrer l'attaque de l'Opponent. Crucialement, l'Opponent n'est pas tenu de défendre ses propres arguments (une dynamique « Maître contre Novice »). Le Proponent gagne s'il peut défendre indéfiniment sa position initiale ou forcer l'Opponent dans une position où il ne peut pas jouer un mouvement strictement plus cogent.
3. Tenabilité : Un débat dynamique raffiné modélisant un débat « Maître contre Maître ». Les deux joueurs doivent argumenter de bonne foi, ce qui signifie que les deux doivent défendre les positions qu'ils introduisent. Le jeu exige que chaque mouvement soit « aussi cogent que » le mouvement précédent, et que le mouvement de l'Opponent soit « plus cogent » (strictement meilleur) que le mouvement précédent du Proponent pour constituer un défi valide. Cela empêche le « changement d'attaque » où un adversaire introduit des arguments incompatibles sans les défendre.

Contributions clés

• Formalisation de la défense non uniforme : L'article fournit les premières sémantiques formelles où la défense contre un ensemble d'attaques peut varier en fonction du sous-ensemble cohérent spécifique d'attaques présenté par l'adversaire.
• Schémas de référence : Les auteurs motivent leurs définitions en utilisant trois schémas de référence spécifiques (Figure 1) :
  • Attaque auto-défaillante (S) : La tenabilité accepte correctement les arguments attaqués uniquement par des ensembles auto-défaillants, contrairement à l'admissibilité stricte.
  • Attribution flottante (F) : La tenabilité rejette correctement les arguments où chaque attaque singleton cohérente est sans réponse, même si l'ensemble de tous les attaquants est incohérent.
  • Rétablissement disjonctif (U) : La tenabilité accepte les arguments où aucune défense uniforme unique n'existe, mais où une défense spécifique existe pour chaque ligne d'attaque cohérente (par exemple, $c_1$ défend contre $b_1$, $c_2$ défend contre $b_2$, mais $c_1$ et $c_2$ sont incompatibles).
• Hiérarchie et propriétés : L'article établit une hiérarchie stricte : Tenabilité forte $\implies$ Tenabilité $\implies$ Tenabilité statique.
  • Les notions de tenabilité sont montrées comme étant stables par passage à la sous-ensemble (si $A$ est tenable, tout sous-ensemble $X \subseteq A$ est tenable), une propriété distincte de nombreuses sémantiques basées sur les extensions.
  • Elles sont compatibles avec l'extension fondée (si $A$ est tenable, $A \cup G$ est tenable).
• Analyse de complexité :
  • Décider de la Tenabilité statique est $\Pi^P_2$-complet (comparable à l'acceptation sceptique dans les sémantiques préférées).
  • Décider de la Tenabilité et de la Tenabilité forte est PSPACE-complet (comparable à l'admissibilité faible).

Résultats

• Séparation par rapport aux sémantiques existantes : L'article démontre que les notions de tenabilité sont distinctes et généralement plus faibles que les sémantiques de Cogence et de Cogence cyclique. Alors que la Cogence exige une ligne de défense fixe et unique, la tenabilité permet à la défense de changer en fonction de l'attaque.
• Relations d'inclusion : Les auteurs cartographient le paysage des sémantiques faibles (Figure 6), montrant que :
  • Les extensions cogentes sont fortement tenables.
  • Les ensembles fortement tenables sont tenables.
  • Les ensembles tenables sont statiquement tenables.
  • Les ensembles tenables sont contenus dans les extensions faiblement complètes (bien que pas nécessairement égaux).
  • Les ensembles faiblement admissibles sont contenus dans les extensions faiblement complètes.
• Cadres infinis : Les définitions sont étendues aux cadres infinis. Les auteurs démontrent que l'existence de stratégies gagnantes pour le Pro ou l'Opp est absolue et ne dépend pas du modèle de théorie des ensembles utilisé (contrairement à certains jeux infinis généraux). Ils démontrent également que pour les ensembles infinis, la tenabilité statique d'un ensemble n'implique pas la tenabilité statique de ses sous-ensembles finis, et vice versa, soulignant la nécessité de considérer les engagements infinis.

Signification
L'article affirme que la tenabilité ajoute un nouvel axe au paysage des sémantiques faibles en rendant explicite la non-uniformité stratégique au niveau abstrait. Elle préserve l'intuition fondée sur la défense du travail de Dung tout en assouplissant l'exigence d'un seul témoin uniforme.

Les auteurs positionnent la tenabilité non pas comme un modèle autonome pour le raisonnement pratique dans des domaines riches, mais comme une couche d'évaluation dialectique. Elle est particulièrement adaptée à :

• Le raisonnement juridique et probatoire : Où les débats impliquent des charges de la preuve changeantes et où une partie peut devoir adapter ses réfutations à des lignes d'attaque spécifiques plutôt que de fournir une seule défense globale contre des accusations mutuellement incompatibles.
• L'explication interactive : Les systèmes peuvent justifier le maintien d'une position en exhibant une stratégie de défense adaptée aux objections spécifiques et raisonnables d'un utilisateur, sans s'engager sur une seule extension anticipant tous les défis possibles (et potentiellement incompatibles).

Le travail suggère que la tenabilité est plus utile lorsqu'elle est combinée avec des couches de modélisation établies pour la structure, les priorités et les normes de preuve, plutôt que de les remplacer. Les auteurs identifient des travaux futurs consistant à étendre la tenabilité aux Cadres d'Argumentation Bipolaires (BAF) et aux formalismes structurés comme ASPIC+, où la distinction entre attaque et support nécessiterait de repenser les protocoles d'engagement.