Technische Samenvatting: Het verwerpen van argumenten op basis van twijfel in gestructureerde bipolaire argumentatie

Probleemstelling

Huidige computationele argumentatiekaders, met name die gebaseerd op abstracte argumentatie (bijv. de semantiek van Dung), rusten vaak op twee aannames die afwijken van informele redeneerpraktijken:

1. Automatische acceptatie van verdedigde argumenten: Formele semantieken (specifiek complete semantieken) vereisen doorgaans dat rationele agenten alle argumenten accepteren die zij kunnen verdedigen. In contrast hiermee staan informele benaderingen waarbij agenten verdedigde argumenten mogen verwerpen als zij twijfel hebben over specifieke premissen, zelfs in afwezigheid van een formeel tegenargument.
2. Holistische argumentevaluatie: Formele benaderingen behandelen argumenten vaak als atomaire eenheden en evalueren ze als geheel. Informele benaderingen suggereren dat agenten van nature specifieke zinnen of claims binnen een debat evalueren in plaats van volledige argumentstructuren.

Bipolaire argumentatiekaders (die ook ondersteuningsrelaties bevatten) vertrouwen vaak nog steeds op completeness-gebaseerde semantieken of deductieve ondersteuningssemantiek die de acceptatie van ondersteunde argumenten afdwingen, waardoor ze niet in staat zijn de nuance van "twijfel" te vatten waarbij een agent premissen accepteert maar de inferentie of de conclusie verwerpt.

Methodologie

De auteurs stellen Gestructureerde Bipolaire Argumentatiekaders (SBAF's) voor om gestructureerde argumentatie (premissen en conclusies) te integreren met bipolaire relaties (aanvallen en ondersteunen).

1. Kaderdefinitie

• Taal ($L$): Gedefinieerd als een tupel $\langle L, \bowtie, n \rangle$, waarbij $L$ een verzameling zinnen is, $\bowtie$ een symmetrische incompatibiliteitsfunctie (contrariness) is, en $n$ een naamgevingsfunctie is die argumentstructuren koppelt aan zinnen die inferentieclaims representeren.
• Argumenten: Gedefinieerd als tupels $\langle Prem(a), Conc(a) \rangle$, waarbij $Prem(a)$ een niet-lege eindige verzameling zinnen is en $Conc(a)$ een zin is.
• Relaties:
  • Aanval ($\rightarrow$): Een argument $a$ valt $b$ aan als $Conc(a)$ incompatibel is met een zin in $Sent(b)$ (rebuttal) of als $Conc(a)$ incompatibel is met de naam van $b$ (undercut).
  • Ondersteuning ($\rightarrow\!\!\!\rightarrow$): Een verzameling argumenten $E$ ondersteunt een argument $a$ als $Prem(a) \subseteq Sent(E)$. Dit vangt "premisse-ondersteuning" en "premisse-delen ondersteuning" (exhaustion) op.

2. Semantiek

Het artikel introduceert twee lagen van semantiek: Argumentsemantiek (het evalueren van verzamelingen argumenten) en Taalsemantiek (het evalueren van verzamelingen zinnen). Beide lagen bieden "Sterke" en "Zwakke" varianten om verschillende interpretaties van twijfel te modelleren.

Argumentsemantiek

De auteurs definiëren Coherente Argumentextensies als admissible extensies die specifieke afsluitingsvoorwaarden met betrekking tot ondersteuning vervullen:

• Sterke Coherentie: Een extensie $E$ is sterk coherent als deze voldoet aan Sterke Ondersteunings-afsluiting: Als $E$ argument $a$ ondersteunt en $E$ bevat geen ondercutting-informatie voor $a$, dan $a \in E$. Dit dwingt acceptatie van ondersteunde argumenten af, tenzij ze expliciet worden onderkend.
• Zwakke Coherentie: Een extensie $E$ is zwak coherent als deze voldoet aan Zwakke Ondersteunings-afsluiting: Als $E$ argument $a$ ondersteunt, $E$ bevat geen undercutting-informatie voor $a$, en $E$ argument $a$ verdedigt, dan $a \in E$. Dit stelt agenten in staat om ondersteunde argumenten te verwerpen als ze niet verdedigd worden, wat effectief twijfel over de inferentie modelleert, zelfs als de premissen worden geaccepteerd.

Taalsemantiek

Om de evaluatie van zinnen direct aan te pakken, definiëren de auteurs Adequate Taalextensies:

• Sterke Argumentverzameling ($Args(S)$): De verzameling argumenten waarvan de premissen in $S$ zitten en wiens namen niet in $S$ zitten.
• Zwakke Argumentverzameling ($Arg_w(S)$): Gedefinieerd via een fixpuntconstructie analoog aan complete extensies, wat ervoor zorgt dat verdedigde argumenten worden opgenomen.
• Sterk/Zwak Adequaat Extensies: Een verzameling zinnen $S$ is adequaat als deze compatibel is (geen incompatibele zinnen), voldoet aan zin-afsluiting (bevat conclusies van geaccepteerde argumenten), en de bijbehorende argumentverzameling (sterk of zwak) al zijn argumenten verdedigt.

Belangrijkste Bijdragen

1. Formalisering van Twijfel: Het artikel formaliseert het concept van een "kritische reactie" waarbij een agent een verdedigd argument kan verwerpen op basis van twijfel over een premisse of inferentie, mits er geen ondersteuning is om die twijfel weg te nemen. Dit wordt bereikt door de vereiste om alle verdedigde argumenten te accepteren (zoals in complete semantiek) te versoepelen.
2. Duo-perspectief (Argument vs. Taal): Het kader biedt semantiek voor zowel argumentextensies als taalextensies. Dit stelt agenten in staat om te communiceren op basis van geaccepteerde zinnen in plaats van complexe argumentstructuren, wat de kloof tussen abstracte en gestructureerde argumentatie overbrugt.
3. Nieuw Semantisch Spectrum: De voorgestelde semantiek (Sterke/Zwakke Coherentie en Adequaatheid) bevindt zich in de theoretische ruimte tussen admissible en complete semantiek. Ze zijn zwakker dan complete semantieken (waardoor het verwerpen van verdedigde argumenten mogelijk is) maar sterker dan admissible semantieken (omdat ze ondersteuningsrelaties respecteren).
4. Herinterpretatie van Bestaande Semantieken:
   • Preferred Semantics: Het artikel toont aan dat in verzadigde frameworks, preferred extensies overeenkomen met "vertrouwende zwak coherente" extensies. Dit impliceert dat het maximaliseren van geaccepteerde argumenten gelijk is aan het maximaliseren van geaccepteerde zinnen alleen onder specifieke structurele condities (sterke saturatie).
   • Deductieve Ondersteuningssemantiek: Het artikel demonstreert dat sterke coherentie samenvalt met d-admissibiliteit (deductieve ondersteuningssemantiek) wanneer argumenten precies één unieke premisse hebben en er geen undercutting-informatie aanwezig is. Dit generaliseert deductieve ondersteuning naar complexere argumentstructuren.

Resultaten en Theoretische Bevindingen

• Directionaliteit: Zwakke coherentie voldoet aan de eigenschap van directionaliteit (argumenten beïnvloeden de acceptabiliteit alleen als ze via gerichte paden verbonden zijn), terwijl sterke coherentie dat niet doet.
• Correspondentie: In verzadigde SBAF's is er een directe correspondentie tussen coherente argumentextensies en adequate taalextensies.
• Maximalisatiestrategieën: De strategie om geaccepteerde argumenten te maximaliseren (preferred extensies) en het maximaliseren van geaccepteerde zinnen (vertrouwende zwak coherente extensies) komen niet altijd overeen. Ze komen alleen overeen in sterk verzadigde frameworks waar minimale argumenten voor alle zinnen aanwezig zijn.
• Undercutting: Het framework behandelt undercutting expliciet via de naamgevingsfunctie, waardoor agenten inferenties kunnen verwerpen zelfs als de premissen worden geaccepteerd, mits de inferentieclaim wordt aangevallen.

Betekenis en Claims

Het artikel claimt een nieuw perspectief op computationele argumentatie te bieden dat geïnformeerd is door informele theorieën (filosofie, linguïstiek). De primaire betekenis ligt in:

• Bruggen Slaan tussen Formeel en Informeel: Het incorporeert de informele intuïtie dat agenten argumenten kunnen betwijfelen en verwerpen zonder een volledig tegenargument, en dat agenten direct over zinnen redeneren.
• Generalisatie: Het generaliseert bestaande bipolaire semantieken (met name deductieve ondersteuningssemantiek) naar gestructureerde argumenten met complexe premissen.
• Flexibiliteit: Door onderscheid te maken tussen sterke en zwakke interpretaties, stelt het framework agenten in staat om verschillende niveaus van scepsis of betrokkenheid te modelleren.
• Verduidelijking van Ondersteuning: Het verheldert wanneer abstracte argumentatie (het negeren van ondersteuning) gerechtvaardigd is (in sterk verzadigde frameworks met preferred semantics) en wanneer gestructureerde ondersteuning noodzakelijk is.

De auteurs merken op dat hun benadering een "vrij ruim begrip van twijfel" implementeert, wat het moeilijk kan maken om agenten te dwingen argumenten te accepteren. Zij suggereren dat toekomstig werk een onderscheid kan maken tussen twijfelbare zinnen en een "common ground" van geaccepteerde zinnen, maar implementeren dit niet binnen het huidige kader. Het artikel concludeert dat SBAF's een robuust mechanisme bieden voor het evalueren van debatten waarbij de structuur van argumenten en de specifieke zinnen die erbij betrokken zijn cruciaal zijn voor het redeneerproces van de agent.