🤖 AI

Rejecting Arguments Based on Doubt in Structured Bipolar Argumentation

Cet article introduit les cadres d'argumentation bipolaires structurés (SBAF) et leurs sémantiques associées pour modéliser des agents rationnels capables de rejeter des arguments sur la base du simple doute et d'évaluer l'acceptabilité au niveau de la phrase, comblant ainsi le fossé entre les sémantiques admissibles et complètes tout en offrant une perspective généralisée sur les approches existantes telles que le support déductif.

Auteurs originaux : Michael A. Müller, Srdjan Vesic, Bruno Yun

Publié 2026-02-04

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Michael A. Müller, Srdjan Vesic, Bruno Yun

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 soyez assis à une réunion publique où des gens lancent des arguments pour vous convaincre de quelque chose. Habituellement, les programmes informatiques conçus pour analyser ces débats fonctionnent comme un juge strict et rigide. Ils suivent une règle simple : « Si un argument est défendu et que personne ne l'a invalidé avec succès, vous devez l'accepter. »

Ce document propose un autre type de juge — un qui agit plus comme un être humain sceptique. Il introduit une nouvelle façon pour les ordinateurs de gérer les débats, permettant le doute et se concentrant sur les faits individuels plutôt que sur des arguments entiers.

Voici une décomposition des idées du document en utilisant des analogies simples :

1. Le Problème : Le « Juge Rigide » vs l' « Être Humain Sceptique »

Dans l'argumentation informatique traditionnelle, si vous avez une chaîne de logique qui n'a été attaquée par personne, l'ordinateur dit : « Ceci est vrai, acceptez-le. »

La vision du document : Les humains ne sont pas comme ça. Même si un argument n'a pas été attaqué, vous pouvez quand même le rejeter si vous doutez de son point de départ.
L'analogie : Imaginez que quelqu'un dise : « Ce violon est un Stradivarius parce qu'Alex l'a dit. »
- Le Juge Rigide : « Personne n'a attaqué la déclaration d'Alex. Par conséquent, le violon est un Stradivarius. Acceptez-le. »
- L'Être Humain Sceptique (ce document) : « Je ne connais pas Alex. Il pourrait mentir ou être ignorant. Même si personne n'a attaqué sa déclaration, je doute d'elle. Donc, je rejette la conclusion selon laquelle c'est un Stradivarius. »

Le document soutient que les ordinateurs devraient pouvoir dire : « Je ne suis pas encore convaincu », sans avoir besoin d'un contre-argument spécifique pour prouver qu'ils ont raison.

2. Le Nouvel Outil : « L'Argumentation Bipolaire Structurée »

Pour permettre cela, les auteurs ont construit un nouveau cadre appelé Cadres d'Argumentation Bipolaires Structurés (SBAF). Considérez cela comme un nouveau livre de règles pour les débats avec deux caractéristiques spéciales :

Bipolaire (Deux côtés) : Dans les anciens systèmes, les arguments n'avaient que des « attaques » (comme des coups de poing). Ce nouveau système ajoute des « soutiens » (comme des mains tenues). Si l'Argument A soutient l'Argument B, accepter A rend le rejet de B plus difficile.
Structurée (Les ingrédients) : Les anciens systèmes traitaient les arguments comme des boîtes noires. Soit vous acceptiez toute la boîte, soit vous la rejetiez. Ce nouveau système regarde à l'intérieur de la boîte. Il sépare les prémisses (les ingrédients) de la conclusion (le gâteau).
- L'analogie : Au lieu de simplement dire « J'accepte le gâteau », le système demande : « Acceptez-vous la farine ? Acceptez-vous le sucre ? » Vous pouvez accepter la farine et le sucre, mais toujours douter de la capacité du pâtissier à les mélanger, et donc rejeter le gâteau même si vous aimez les ingrédients.

3. Les Deux Nouvelles Règles : « Cohérence » et « Adéquation »

Le document définit deux façons de décider ce qu'il faut croire, selon le degré de scepticisme que vous voulez appliquer.

A. Extensions d'Arguments Cohérents (La vue de l'« Argument »)

Ceci examine quels arguments vous acceptez.

Cohérence Faible : Vous pouvez rejeter un argument même s'il est défendu, tant que vous doutez de ses prémisses. C'est comme dire : « Je vois que vous avez un bouclier (défense), mais je ne fais pas confiance à l'épée que vous tenez (la prémisse), donc je ne vous crois pas. »
Cohérence Forte : Vous êtes plus strict. Vous ne rejetez un argument que si vous avez des preuves spécifiques que la prémisse est fausse (un « undercut »). Si vous soupçonnez simplement qu'elle est fausse mais que vous n'avez pas de preuve, vous devez l'accepter.

B. Extensions de Langage Adéquates (La vue de la « Phrase »)

Ceci examine quels phrases (faits) vous acceptez, en ignorant les arguments pour un instant.

L'analogie : Imaginez que vous remplissez une liste de contrôle de faits.
- Adéquation Faible : Vous cochez les faits dont vous êtes sûr. Si un fait dépend d'un argument fragile, vous le laissez non coché.
- Adéquation Forte : Vous cochez les faits, sauf si vous avez la preuve qu'ils sont faux.
Pourquoi cela importe : Parfois, vous pouvez accepter un fait (ex : « Clara a dit qu'Anne-Sophie possède le violon ») mais rejeter la conclusion (ex : « Anne-Sophie possède le violon ») parce que vous doutez de la source. Ce système permet de dire : « J'accepte la revendication selon laquelle Clara l'a dit, mais je n'accepte pas qu'elle soit vraie. »

4. Le « Juste Milieu »

Les auteurs ont découvert que leurs nouvelles règles se situent dans une « zone de Goldilocks » entre deux règles informatiques existantes :

Admissibilité : Trop lâche. Cela vous permet de rejeter n'importe quoi que vous voulez, même si c'est bien soutenu.
Complétude : Trop stricte. Cela vous force à accepter tout ce qui n'est pas attaqué.
Leurs nouveaux Sémantiques : Juste ce qu'il faut. Cela vous force à accepter les arguments soutenus à moins que vous n'ayez une raison de les douter, mais cela ne vous force pas à accepter des choses pour lesquelles vous n'avez aucune preuve.

5. La Grande Découverte : Quand la Structure Compte-t-elle ?

Le document mène un test fascinant : Quand pouvons-nous ignorer la structure complexe des arguments et simplement regarder les attaques simples ?

Le Résultat : Si le débat est « saturé » (ce qui signifie que chaque fait possède sa propre micro-argumentation autonome attachée à lui), alors la vue complexe basée sur les « phrases » et la vue simple basée sur les « arguments » donnent les mêmes résultats.
L'analogie : Si chaque brique d'un mur possède sa propre étiquette de nom, vous pouvez simplement regarder les briques. Mais si les briques sont collées ensemble dans des motifs complexes, vous devez regarder le mur entier pour comprendre ce qui se passe.
Implication : Dans les cas simples, les anciens modèles informatiques plus simples fonctionnent très bien. Mais dans les débats complexes du monde réel, où les prémisses sont partagées et mélangées, vous avez besoin de ce modèle plus détaillé pour obtenir la bonne réponse.

Résumé

Ce document apprend aux ordinateurs à être plus semblables aux débatteurs humains. Il leur permet de :

Douter d'un argument sans avoir besoin d'une contre-attaque.
Séparer les faits (phrases) de la logique (arguments).
Choisier entre être un sceptique strict (Cohérence Forte) ou un sceptique flexible (Cohérence Faible).

Il ne prétend pas résoudre tous les désaccords humains, mais il fournit un meilleur outil mathématique pour modéliser la façon dont nous pensons réellement lorsque nous sommes incertains.

Résumé technique : Rejeter des arguments fondés sur le doute dans l'argumentation bipolaire structurée

Énoncé du problème

Les cadres d'argumentation computationnelle actuels, particulièrement ceux basés sur l'argumentation abstraite (par exemple, la sémantique de Dung), reposent souvent sur deux hypothèses qui divergent des pratiques de raisonnement informel :

Acceptation automatique des arguments défendus : Les sémantiques formelles (spécifiquement les sémantiques complètes) exigent généralement que les agents rationnels acceptent tous les arguments qu'ils peuvent défendre. En revanche, les approches informelles permettent aux agents de rejeter des arguments défendus s'ils nourrissent des doutes sur des prémisses spécifiques, même en l'absence d'un contre-argument formel.
Évaluation holistique des arguments : Les approches formelles traitent souvent les arguments comme des unités atomiques, évaluant l'ensemble de l'argument. Les approches informelles suggèrent que les agents évaluent naturellement des phrases ou des affirmations spécifiques au sein d'un débat plutôt que des structures d'arguments entières.

Les cadres d'argumentation bipolaire existants (qui incluent des relations de support) reposent souvent encore sur des sémantiques de complétude ou des sémantiques de support déductif qui forcent l'acceptation des arguments supportés, échouant ainsi à capturer la nuance du « doute » où un agent accepte les prémisses mais rejette l'inférence ou la conclusion.

Méthodologie

Les auteurs proposent des Cadres d'Argumentation Bipolaire Structurés (SBAF - Structured Bipolar Argumentation Frameworks) pour intégrer l'argumentation structurée (prémisses et conclusions) avec les relations bipolaires (attaques et supports).

1. Définition du cadre

Langage ( $L$ ) : Défini comme un tuple $\langle L, \bowtie, n \rangle$ , où $L$ est un ensemble de phrases, $\bowtie$ est une fonction d'incompatibilité symétrique (contrarité) et $n$ est une fonction de nommage qui associe des structures d'arguments à des phrases représentant des affirmations d'inférence.
Arguments : Définis comme des tuples $\langle Prem(a), Conc(a) \rangle$ , où $Prem(a)$ est un ensemble fini non vide de phrases et $Conc(a)$ est une phrase.
Relations :
- Attaque ( $\rightarrow$ ) : Un argument $a$ attaque $b$ si $Conc(a)$ est incompatible avec une phrase dans $Sent(b)$ (réfutation/rebuttal) ou si $Conc(a)$ est incompatible avec le nom de $b$ (invalidation/undercut).
- Support ( $\rightarrow\!\!\!\rightarrow$ ) : Un ensemble d'arguments $E$ supporte un argument $a$ si $Prem(a) \subseteq Sent(E)$ . Cela capture le « support de prémisse » et le « support par partage de prémisses » (exhaustivité).

2. Sémantique

Le papier introduit deux couches de sémantique : la Sémantique d'Argument (évaluation d'ensembles d'arguments) et la Sémantique de Langage (évaluation d'ensembles de phrases). Les deux couches offrent des variantes « Fortes » et « Faibles » pour modéliser différentes interprétations du doute.

Sémantique d'Argument

Les auteurs définissent les Extensions de Cohérence d'Arguments comme des extensions admissibles qui satisfont des conditions de clôture spécifiques concernant le support :

Cohérence Forte : Une extension $E$ est forte si elle satisfait la Clôture de Support Forte : Si $E$ supporte $a$ et que $E$ ne contient pas d'information d'invalidation pour $a$ , alors $a \in E$ . Cela force l'acceptation des arguments supportés, à moins qu'ils ne soient explicitement invalidés.
Cohérence Faible : Une extension $E$ est faible si elle satisfait la Clôture de Support Faible : Si $E$ supporte $a$ , que $E$ ne contient pas d'information d'invalidation pour $a$ , et que $E$ défend $a$ , alors $a \in E$ . Cela permet aux agents de rejeter des arguments supportés s'ils ne sont pas défendus, modélisant ainsi le doute sur l'inférence même si les prémisses sont acceptées.

Sémantique de Langage

Pour traiter l'évaluation directe des phrases, les auteurs définissent des Extensions de Langage Adéquates :

Ensemble d'Arguments Fort ($Args(S)$) : L'ensemble des arguments dont les prémisses sont dans $S$ et dont les noms ne sont pas dans $S$ .
Ensemble d'Arguments Faible ( $Arg_w(S)$ ) : Défini via une construction de point fixe analogue aux extensions complètes, garantissant que les arguments défendus sont inclus.
Extensions Fortement/Faiblement Adéquates : Un ensemble de phrases $S$ est adéquat s'il est compatible (aucune phrase incompatible), satisfait la clôture de phrase (inclut les conclusions des arguments acceptés) et que l'ensemble d'arguments correspondant (fort ou faible) défend tous ses arguments.

Contributions Clés

Formalisation du Doute : Le papier formalise le concept de « réaction critique » où un agent peut rejeter un argument défendu sur la base d'un doute concernant une prémisse ou une inférence, à condition qu'il n'y ait pas de support pour lever ce doute. Ceci est réalisé en relaxant l'exigence d'accepter tous les arguments défendus présente dans les sémantiques complètes.
Double Perspective (Argument vs Langage) : Le cadre fournit des sémantiques pour les extensions d'arguments et les extensions de langage. Cela permet aux agents de communiquer sur la base de phrases acceptées plutôt que sur des structures d'arguments complexes, comblant ainsi le fossé entre l'argumentation abstraite et l'argumentation structurée.
Nouveau Spectre Sémantique : Les sémantiques proposées (Cohérence Forte/Faible et Adéquation) occupent un espace théorique entre les sémantiques admissibles et complètes. Elles sont plus faibles que les sémantiques complètes (permettant le rejet d'arguments défendus) mais plus fortes que les sémantiques admissibles (respectant les relations de support).
Réinterprétation des Sémantiques Existantes :
- Sémantiques Préférées : Le papier montre que dans les cadres saturés, les extensions préférées correspondent à des extensions de cohérence faible confiantes. Cela implique que maximiser les arguments acceptés équivaut à maximiser les phrases acceptées uniquement sous certaines conditions structurelles (saturation forte).
- Sémantique de Support Déductif : Le papier démontre que la cohérence forte coïncide avec la d-admissibilité (sémantique de support déductif) lorsque les arguments possèdent exactement une prémisse unique et qu'aucune information d'invalidation n'existe. Cela généralise le support déductif à des structures d'arguments plus complexes.

Résultats et Constats Théoriques

Directionnalité : La cohérence faible satisfait la propriété de directionnalité (les arguments n'affectent l'acceptabilité que s'ils sont connectés via des chemins dirigés), tandis que la cohérence forte ne le fait pas.
Correspondance : Dans les SBAF saturés, il existe une correspondance directe entre les extensions d'arguments cohérentes et les extensions de langage adéquates.
Stratégies de Maximisation : La stratégie consistant à maximiser les arguments acceptés (extensions préférées) et celle consistant à maximiser les phrases acceptées (extensions de cohérence faible confiantes) ne coïncident pas toujours. Elles ne coïncident que dans les cadres fortement saturés où les arguments minimaux pour toutes les phrases sont présents.
Invalidation (Undercutting) : Le cadre gère explicitement l'invalidation via la fonction de nommage, permettant aux agents de rejeter des inférences même si les prémisses sont acceptées, à condition que l'affirmation d'inférence soit attaquée.

Signification et Revendications

Le papier affirme offrir une nouvelle perspective sur l'argumentation computationnelle informée par les théories informelles (philosophie, linguistique). Sa principale importance réside dans :

Pont entre Formel et Informel : Il incorpore l'intuition informelle selon laquelle les agents peuvent douter et rejeter des arguments sans un contre-argument complet, et que les agents raisonnent directement sur des phrases.
Généralisation : Il généralise les sémantiques bipolaires existantes (spécifiquement la sémantique de support déductif) à des arguments structurés avec des prémisses complexes.
Flexibilité : En distinguant les interprétations fortes et faibles, le cadre permet de modéliser différents niveaux de scepticisme ou d'engagement chez les agents.
Clarification du Support : Il clarifie quand l'argumentation abstraite (ignorant le support) est justifiée (dans les cadres fortement saturés avec des sémantiques préférées) et quand un support structuré est nécessaire.

Les auteurs notent que leur approche implémente une « notion généreuse de doute », ce qui pourrait rendre difficile l'obligation pour les agents d'accepter des arguments. Ils suggèrent que des travaux futurs pourraient distinguer les phrases sujettes au doute d'un « terrain d'entente » de phrases acceptées, mais ne l'implémentent pas dans le cadre actuel. Le papier conclut que les SBAF fournissent un mécanisme robuste pour évaluer les débats où la structure des arguments et les phrases spécifiques impliquées sont critiques pour le processus de raisonnement de l'agent.