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

Technische Samenvatting: Context-Afhankelijke Argumentatiekaders en Strategische Activering

Probleemdefinitie
Het artikel adresseert een hiaat in de standaard formele argumentatietheorie met betrekking tot de evaluatie van argumenten onder variërende externe regimes. In real-world scenario's, zoals architecturale reviews, blijven de set argumenten en hun conflicten gelijk, maar verandert de "lens" waardoor ze worden geëvalueerd op basis van de prioriteiten van de reviewer (bijv. prestaties versus betrouwbaarheid versus kosten). Standaard Dung-frameworks (1995) missen een mechanisme om deze regime-selectie te modelleren. Value-Based Argumentation Frameworks (VAFs) (Bench-Capon 2003) staan weliswaar verschillende defeat-patronen toe via publieksvoorkeuren, maar zijn beperkt: een publiek kan waarden alleen herrangschikken, niet volledig deactiveren. Bijgevolg kunnen VAFs niet de scenario's vatten waarin een agent strategisch kiest om specifieke perspectieven uit het evaluatieproces uit te sluiten om een gewenst resultaat te bereiken.

Methodologie: Context-Afhankelijke Argumentatiekaders (CDAFs)
De auteurs introduceren Context-Afhankelijke Argumentatiekaders (CDAFs) als een uitbreiding van de theorie van Dung. Een CDAF wordt gedefinieerd als een tupel $\langle A, R, C, \delta \rangle$, waarbij:

• $A$ een eindige verzameling argumenten is.
• $R \subseteq A \times A$ de aanvalsrelatie is.
• $C$ een eindige verzameling contexten is.
• $\delta: C \times R \to \{0, 1\}$ een defeat-functie is die voor elke context bepaalt welke aanvallen slagen.

Het artikel richt zich op een gespecialiseerd Perspectief-gelabeld CDAF, waarbij de defeat-functie afgeleid is in plaats van gegeven. Argumenten krijgen toegewezen bron-perspectieven ($src: A \to \Pi$). Een context wordt gedefinieerd door:

1. Relevantie-verzameling ($\rho$): Een deelverzameling van actieve perspectieven ($\rho \subseteq \Pi$). Dit vertegenwoordigt de actieruimte of de "lens" van de agent.
2. Prioriteitsfunctie ($\pi$): Een rangschikking van perspectieven binnen de context.

Een aanval $(a, b)$ slaagt in een context dan en slechts dan als het perspectief van de aanvaller actief is ($src(a) \in \rho$) en de prioriteit van de aanvaller groter dan of gelijk aan die van de verdediger is ($\pi(src(a)) \geq \pi(src(b))$). Cruciaal is dat dit een asymmetrie creëert: het deactiveren van een perspectief verzwijgt alle aanvallen die vanuit dat perspectief worden uitgevoerd, maar die argumenten blijven aanwezig in het framework en kunnen nog steeds verdedigd of geaccepteerd worden indien zij niet worden aangevallen door actieve perspectieven.

Belangrijkste Bijdragen en Resultaten

1. Strategische Activering: Het artikel toont aan dat het variëren van de relevantie-verzameling $\rho$ (het activeren/deactiveren van perspectieven) acceptatie-uitkomsten kan opleveren die onmogelijk zijn in VAFs.

   • Uitgewerkt voorbeeld: De auteurs construeren een scenario met argumenten $\{a, b, t, d\}$ en perspectieven $\{\alpha, \beta, \gamma\}$. Het doelargument $t$ is structureel gevangen: onder volledige relevantie (alle perspectieven actief), wordt $t$ verworpen omdat zijn verdediger $b$ ook $t$ aanvalt. Echter, door perspectief $\alpha$ te deactiveren (instellen op $\rho = \{\beta, \gamma\}$), wordt de "friendly fire" aanval $(a, t)$ verzwegen. Dit staat toe dat $t$ wordt geaccepteerd via een preferred extension, een resultaat dat onbereikbaar is onder een injectieve prioriteit in een setting met volledige relevantie.
   • VAF-beperking: Het artikel bewijst dat het door gedeeltelijke activering geïnduceerde defeat-patroon (bijv. $\rho = \{\gamma\}$, waarbij wederzijdse aanvallen tussen $a$ en $b$ beide falen) niet gerealiseerd kan worden door enig VAF-publiek, aangezien VAF-publieken een strikte totale ordening op waarden vereisen, wat garandeert dat ten minste één richting van een wederzijdse aanval slaagt.

2. Beslissingsprobleem: ACTIVATION-MANIPULATION: De auteurs formaliseren de strategische vraag als een beslissingsprobleem: Gegeven een framework, een vaste prioriteit en een doelargument $t$, bestaat er een niet-lege deelverzameling $\rho \subseteq \Pi$ zodanig dat $t$ credulous $\sigma$-geaccepteerd is?

   • Complexiteitsgrenzen:
     • Voor Grounded ($gr$), Stable ($stb$) en Preferred ($pref$) semantiek wordt aangetoond dat het probleem in NP zit. De auteurs merken op dat hoewel het verifiëren van een preferred extension doorgaans co-NP is, credulous preferred-acceptatie samenvalt met credulous admissibiliteit, waardoor het probleem kan worden opgelost door $\rho$ en een admissible set te raden in een enkele NP-berekening.
     • Voor Stable en Preferred semantiek is het probleem NP-hard (en dus NP-compleet) via reductie van standaard Dung framework acceptatie.
     • Voor Grounded semantiek zit het probleem in P, hoewel het openstaat of de vrijheid om $\rho$ te kiezen de grounded variant naar NP-volledigheid tilt.
   • Restrictie: De eis dat $\rho$ niet-leeg moet zijn is essentieel; een lege $\rho$ zou alle aanvallen deactiveren, wat triviaal alle argumenten accepteert.

Betekenis en Reikwijdte
Het artikel claimt significantie primair door een nieuw formalisme te definiëren dat een specifieke strategische hefboom vastlegt: het vermogen om te selecteren welke regimes (perspectieven) een argumentatieproces beheersen, wat verschilt van louter het herrangschikken van deze perspectieven. Dit modelleert scenario's waarin een agent het "forum" of het "spoor" van een debat controleert, in plaats van de interne logica van de reviewers.

De auteurs houden een bescheiden reikwijdte aan en stellen expliciet dat een volledige studie van het framework buiten de focus van het artikel valt. Zij identificeren verschillende openstaande richtingen:

• Het bepalen van nauwe complexiteitsgrenzen, met name voor de grounded variant.
• Het verkennen van mechanismen waarbij de selectie van $\rho$ wordt beperkt door kosten of verplichte inclusies.
• Het onderzoeken van multi-agent varianten waarbij agenten gezamenlijk $\rho$ bepalen via coöperatieve of adversariële dynamiek.
• Het onderzoeken van dit fenomeen in toegepaste omgevingen, zoals multi-perspectief agent geheugensystemen.

Het werk onderscheidt zich van Control Argumentation (die de structuur wijzigt) en Manipulation in Incomplete Argumentation (die de structuur wijzigt), door CDAFs te positioneren als een model waarbij de structuur vaststaat, maar de defeat-functie dynamisch wordt gemoduleerd door de keuze van de agent voor actieve perspectieven.