🤖 AI

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises

Dit artikel introduceert een nieuw expressiviteitskader om de kwalitatieve onzekerheid in gestructureerde argumentatieframeworks (zoals ASPIC+) te vergelijken met abstracte modellen, en presenteert zowel negatieve als positieve resultaten over hun onderlinge expressiviteit.

Oorspronkelijke auteurs: Carlo Proietti, Antonio Yuste-Ginel

Gepubliceerd 2026-02-18

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Carlo Proietti, Antonio Yuste-Ginel

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je in een groot debat zit, of misschien zelfs in een rechtszaal. Iedereen probeert zijn of haar gelijk te halen met argumenten. Maar hier is het probleem: niemand is 100% zeker van alles. Misschien weet je niet of een bepaalde getuige betrouwbaar is (een premiss), of misschien twijfel je aan de logica die iemand gebruikt om tot een conclusie te komen (een regel).

Deze paper, geschreven door Carlo Proietti en Antonio Yuste-Ginel, gaat over hoe we die onzekerheid in computersystemen kunnen modelleren. Ze vergelijken twee manieren om dit te doen: een abstracte manier en een gestructureerde manier.

Hier is de uitleg in simpele taal, met een paar creatieve vergelijkingen.

1. De Twee Manieren om te Argumenteren

Stel je voor dat je een bouwpakket hebt om een huis te bouwen (een argument).

De Abstracte Manier (De "Zwarte Doos"):
Hierbij kijken we alleen naar de kant van het huis. We zien een lijst met gebouwen (argumenten) en pijlen die aangeven welke gebouwen elkaar "vernietigen" (bijvoorbeeld: "Huis A staat in de weg van Huis B").
- Het probleem: We weten niet waarom ze elkaar vernietigen. Misschien is Huis A gebouwd op zand, of misschien heeft Huis B een slechte fundering. We zien alleen het resultaat. Als er onzekerheid is, zeggen we: "Misschien staat Huis B er wel, misschien niet." We noemen dit een incompleet argumentatiekader.
De Gestructureerde Manier (De "Bouwtekening"):
Hierbij kijken we naar de binnenkant. We zien de bakstenen (de premissen, zoals feiten) en de cementregels (de regels, zoals "als het regent, wordt het nat").
- Het voordeel: We weten precies wat er onzeker is. Is het de baksteen die twijfelachtig is? Of is het de regel die misschien niet geldt? Dit is het systeem ASPIC+.

2. De Grote Vraag: Wie is Krachtiger?

De auteurs vragen zich af: Welke manier kan meer verschillende situaties (onzekerheden) uitdrukken?

Ze gebruiken een maatstaf die ze "expressiviteit" noemen. Denk hierbij aan een verfdoos:

Kun je met de abstracte verfdoos (zwarte doos) alle schilderijen maken die je met de gestructureerde verfdoos (bouwtekening) kunt maken?
En andersom: Kun je met de bouwtekening alle schilderijen maken die met de zwarte doos kunnen?

3. De Ontdekkingen (De Resultaten)

De auteurs hebben een paar verrassende dingen ontdekt, die ze in een diagram (Figuur 1 in de paper) samenvatten.

A. De "Gewone" Abstracte Manier is te simpel

Als je alleen kijkt naar onzekere gebouwen zonder te weten hoe ze met elkaar verbonden zijn (de simpele abstracte manier), dan kun je niet alle situaties nabootsen die je met de gestructureerde manier kunt maken.

Vergelijking: Het is alsof je probeert een ingewikkeld LEGO-kasteel na te bouwen door alleen te zeggen "dit blokje is misschien hier, misschien daar", zonder te weten welke blokken aan elkaar geklikt moeten zijn. Je mist de connectie.

B. De "Slimme" Abstracte Manier (Met Regels)

Als je aan de abstracte manier afhankelijkheidsregels toevoegt (bijvoorbeeld: "Als blokje A er is, moet blokje B er ook zijn"), dan wordt het abstracte systeem heel krachtig.

Resultaat: Een gestructureerd systeem (zoals ASPIC+) is strikt minder krachtig dan een abstract systeem met deze slimme regels.
Waarom? Omdat de abstracte regels heel flexibel zijn. Je kunt ze zo instellen dat ze precies datgene doen wat de gestructureerde regels doen, maar je kunt ze ook instellen op manieren die in de echte wereld (met echte regels en premissen) onmogelijk zijn. Het abstracte systeem is als een "superkrachtige" versie die alles kan simuleren, maar dan nog meer.

C. Regels vs. Premissen

Binnen de gestructureerde wereld (ASPIC+) maken de auteurs nog een onderscheid:

Onzekere Regels: De logica is twijfelachtig (bijv. "Als het regent, word je nat" is misschien niet altijd waar).
Onzekere Premissen: De feiten zijn twijfelachtig (bijv. "Het regent" is misschien niet waar).

Ze ontdekten dat systemen met onzekere regels iets krachtiger zijn dan systemen met alleen onzekere premissen.

Vergelijking: Het is makkelijker om een systeem te bouwen dat twijfelt aan de regels van het spel dan aan de speelstukken. Als je de regels kunt veranderen, kun je meer verschillende spelverloopjes creëren dan als je alleen de speelstukken kunt verplaatsen.

4. De Conclusie in Eenvoudige Woorden

De paper zegt eigenlijk:

Abstract is niet altijd genoeg: Als je alleen kijkt naar "wie wint van wie" zonder te weten hoe ze dat deden, mis je veel details. Je kunt niet alle complexe onzekerheden uit de echte wereld nabootsen.
Structuur is goed, maar beperkt: Als je de bouwtekening gebruikt (premissen en regels), ben je realistischer, maar je bent beperkt door de regels van die specifieke bouwstijl.
De "Super-Abstracte" versie wint: Als je abstracte modellen slim maakt (door afhankelijkheidsregels toe te voegen), kun je alles simuleren wat de gestructureerde modellen doen, en nog veel meer.

Kortom: Om onzekerheid goed te modelleren, moet je ofwel heel diep in de structuur duiken (premissen en regels), of je moet een heel slim, abstract systeem bouwen dat die structuren kan nabootsen. De "gewone" abstracte manier is te simpel voor de job.

Dit helpt onderzoekers en ontwikkelaars van AI-systemen om te begrijpen welk gereedschap ze moeten gebruiken als ze willen dat hun computersystemen omgaan met twijfel en onzekerheid in argumenten.

Probleemstelling

Het modelleren van kwalitatieve onzekerheid in formele argumentatie is essentieel voor zowel praktische toepassingen als theoretisch inzicht. Bestaand onderzoek focust zich echter voornamelijk op abstracte argumentatiemodellen (zoals Argumentation Frameworks of AF's), waarbij argumenten en hun onderlinge nederlagen als atomaire entiteiten worden behandeld. Een groot tekortkoming hierin is dat bij het vertalen van gestructureerde argumentaties (waar argumenten zijn opgebouwd uit premises en inferentieregels) naar abstracte modellen, vaak waardevolle informatie verloren gaat.

De centrale vraag die dit paper adresseert is: Hoe vergelijkt de expressiviteit van abstracte argumentatiemodellen met gestructureerde modellen (zoals ASPIC+) die onzekerheid in hun componenten (regels en premises) modelleren? Er is behoefte aan een systematische methode om te bepalen welke formalismen welke sets van mogelijke scenario's (completions) kunnen uitdrukken.

Methodologie

De auteurs hanteren een tweestapsbenadering om de relatieve expressiviteit te analyseren:

Standaardisatie van Abstracte Onzekerheid:
Ze definiëren een standaardkader voor onzekerheid in abstracte argumentatie: Argument-incomplete Argumentation Frameworks met afhankelijkheden (dep-arg-IAF).
- Hierbij zijn argumenten verdeeld in zeker ($AF$) en onzeker ( $A?$ ).
- Onzekerheid wordt gekwantificeerd door het aantal mogelijke "completions" (volledige AF's die ontstaan door een subset van de onzekere argumenten te selecteren).
- Om meer granulariteit te bieden, worden afhankelijkheden ( $\Delta$ ) toegevoegd (implicaties, disjuncties, NAND), die beperkingen opleggen aan welke combinaties van onzekere argumenten samen kunnen voorkomen.
"Lifting" van Gestructureerde Formalismen:
Ze nemen gestructureerde formalismen op basis van ASPIC+ en "heffen" deze naar het abstracte niveau. Dit betekent dat ze voor een gestructureerd kader met onzekerheid de bijbehorende verzameling abstracte AF's (completions) definiëren.
Ze analyseren twee specifieke soorten onzekerheid in ASPIC+:
- Rule-incompleteness (rul-ISAF): Onzekerheid over welke inferentieregels (strict of defeasible) van toepassing zijn.
- Premise-incompleteness (prem-ISAF): Onzekerheid over welke premises (axioma's of gewone premises) in de kennisbasis aanwezig zijn.
Vergelijkingskader (Expressiviteit):
Ze definiëren een begrip van relatieve expressiviteit ( $\preceq$ ). Twee klassen van formalismen $X$ en $Y$ worden vergeleken: $Y \preceq X$ betekent dat voor elke instantie van $Y$ een equivalentie instantie van $X$ bestaat die exact dezelfde verzameling van completions genereert (tot op isomorfisme).

Belangrijkste Bijdragen

Definitie van Expressiviteit voor Onzekerheid:
De auteurs introduceren een robuuste definitie van expressiviteit die zowel abstracte als gestructureerde formalismen omvat, gebaseerd op de verzameling van mogelijke completions en de behoud van argumentatieve eigenschappen (acceptatie van argumenten).
Formele Vergelijking van Formalismen:
Ze presenteren een reeks stellingen die de hiërarchie van expressiviteit tussen abstracte IAF's en gestructureerde ASPIC+-varianten in kaart brengen.
Correctie en Uitbreiding van Bestaand Werk:
Het paper corrigeert eerdere resultaten (zoals in [22]) en biedt volledige bewijzen voor de expressiviteitsrelaties, inclusief de noodzaak van implicative afhankelijkheden in abstracte modellen om gestructureerde systemen te evenaren.

Kernresultaten

De resultaten worden samengevat in een hiërarchie (zie Figuur 1 in het paper):

Abstracte IAF's vs. Gestructureerde Systemen:
- Standaard arg-IAF's (zonder afhankelijkheden) zijn minder expressief dan zowel rul-ISAFs (onzekerheid in regels) als prem-ISAFs (onzekerheid in premises).
- Reden: Gestructureerde systemen kunnen complexe afhankelijkheden tussen argumenten genereren (bijv. als regel $r$ ontbreekt, verdwijnt argument $A$ , en dus ook argument $B$ dat op $A$ bouwt). Standaard arg-IAF's kunnen dit niet modelleren zonder extra afhankelijkheidsregels.
De Rol van Afhankelijkheden (imp-arg-IAF):
- Als men abstracte IAF's uitbreidt met implicatieve afhankelijkheden (imp-arg-IAF), worden ze minstens zo expressief als zowel rul-ISAFs als prem-ISAFs ( $rul \preceq imp$ en $prem \preceq imp$ ).
- Imp-arg-IAF's kunnen de logische afhankelijkheid tussen de aanwezigheid van argumenten in gestructureerde systemen nabootsen.
Strikte Onvolledigheid (Strict Inexpressivity):
- De omgekeerde richting geldt niet: $imp \not\preceq rul$ en $imp \not\preceq prem$ .
- Er bestaan sets van completions in imp-arg-IAF's die niet kunnen worden gegenereerd door enige rul-ISAF of prem-ISAF. Dit komt door de specifieke structuur van hoe onzekerheid in gestructureerde systemen "ontstaat" (via regels of premises) versus hoe deze in abstracte systemen direct wordt opgelegd.
Vergelijking tussen Regels en Premises:
- Rule-incompleteness is strikt meer expressief dan premise-incompleteness ( $prem \preceq rul$ , maar $rul \not\preceq prem$ ).
- Technische nuance: Onzekerheid in regels kan worden gemodelleerd als onzekerheid in premises (door regels om te zetten in premiseless regels), maar onzekerheid in premises kan niet altijd worden vertaald naar onzekerheid in regels zonder expressiviteitsverlies.

Significantie

Theoretische Inzicht: Het paper legt een fundamenteel verband tussen abstracte en gestructureerde argumentatie. Het toont aan dat abstracte modellen zonder extra mechanismen (afhankelijkheden) niet toereikend zijn om de complexiteit van onzekerheid in gestructureerde systemen volledig te vangen.
Praktische Implicaties: Voor onderzoekers en ontwikkelaars die argumentatie-systemen bouwen, biedt dit inzicht welke formalismen nodig zijn om specifieke soorten onzekerheid te modelleren. Als men wil werken met complexe afhankelijkheden tussen onzekere componenten, is een gestructureerde aanpak (of een abstracte aanpak met afhankelijkheden) noodzakelijk; een simpele abstracte AF is ontoereikend.
Unificatie: Het werk unificeert recente studies over onzekerheid in ASPIC+ en plaatst deze in een breder theoretisch kader, wat de weg vrijmaakt voor toekomstig onderzoek naar andere gestructureerde formalismen (zoals ABA of DeLP).

Kortom, de auteurs bewijzen dat gestructureerde argumentatie met onzekerheid een hogere expressiviteit heeft dan standaard abstracte modellen, maar dat deze gap kan worden overbrugd door abstracte modellen te verrijken met afhankelijkheidsregels, hoewel gestructureerde systemen bepaalde structurele beperkingen behouden die abstracte systemen niet hebben.