From Contexts to Values: Context-Dependent Defeat in Abstract Argumentation
Dit artikel onderzoekt of contextafhankelijke argumentatiekaders (CDAF's) kunnen worden gereduceerd tot waardegebaseerde kaders door een beslissingsprocedure in polynomiale tijd voor representeerbaarheid te presenteren, waarbij door middel van analyse en implementatie wordt aangetoond dat dergelijke reducties zeldzaam zijn en snel afnemen naarmate het aantal contexten toeneemt.
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
In de wereld van kunstmatige intelligentie is er een groeiende inspanning om machines te leren hoe ze kunnen redeneren, niet alleen met koude logica, maar met de nuance van het menselijk debat. Dit veld, bekend als abstracte argumentatie, behandelt argumenten als eenvoudige bouwstenen die elkaar kunnen aanvallen of ondersteunen. Stel je een kaart voor waarbij stippen verschillende standpunten vertegenwoordigen, en pijlen laten zien wanneer het ene standpunt het andere onderuit haalt. In de meest basale versie van dit systeem is de kaart vaststaand: als er een pijl bestaat, slaagt de aanval altijd. Echter, het echte leven is zelden zo rigide. Een argument voor veiligheid kan een argument voor kosten gemakkelijk verslaan tijdens een crisis, maar daarentegen falen om dat te doen tijdens de reguliere budgetplanning. De argumenten zelf zijn niet veranderd, noch de aanval tussen hen; alleen de situatie is verschoven. Om dit te vangen, hebben onderzoekers modellen ontwikkeld waarbij het succes van een aanval afhangt van de context, zoals een specifieke tijd, plaats of een reeks regels.
Dit brengt ons bij een fundamentele vraag die onderzoekers Albert Sadowski en Jarosław A. Chudziak onlangs aanpakten: is deze nieuwe manier van het modelleren van context werkelijk noodzakelijk, of is het slechts een ingewikkeld vermomming voor een ouder, eenvoudiger idee? Jarenlang hebben wetenschappers een andere methode gebruikt, genaamd waardegebaseerde argumentatie, om uit te leggen waarom aanvallen slagen of falen. In dat oudere model zijn argumenten gekoppeld aan abstracte waarden zoals "veiligheid" of "efficiëntie", en wordt een beslissing genomen door een publiek dat deze waarden rangschikt. Als het publiek veiligheid hoger waardeert dan efficiëntie, wint het veiligheidsargument. De onderzoekers vroegen zich af of elke mogelijke contextafhankelijke scenario gereproduceerd kon worden door simpelweg waarden aan argumenten toe te wijzen en verschillende publieken voor verschillende situaties voor te stellen. Als het antwoord ja was, zouden de nieuwe, complexe modellen redundant zijn. Als het antwoord nee was, dan vatten de nieuwe modellen iets unieks en essentieels dat de oude niet kunnen vatten.
De onderzoekers ontdekten dat hoewel de twee systemen aan de oppervlakte op elkaar lijken, ze fundamenteel verschillend zijn in de praktijk. Ze ontwikkelden een snelle, stapsgewijze procedure om te controleren of een specifiek contextafhankelijk scenario gereduceerd kon worden naar de oudere waardegebaseerde stijl. Deze procedure werkt als een zeef, die argumenten in groepen sorteert op basis van hoe ze zich gedragen over verschillende situaties heen. Als de argumenten in een groep consistent gedrag vertonen, kunnen ze een waarde delen; als ze inconsistent gedragen, stort het systeem in. Het team bewees dat deze controle snel uitgevoerd kan worden, zelfs voor grote en complexe verzamelingen argumenten. Toen zij deze test echter toepasten op duizenden willekeurig gegenereerde scenario's, ontdekten zij een opvallend patroon: ware reduceerbaarheid is ongelooflijk zeldzaam. Naarmate het aantal verschillende contexten toeneemt, daalt de kans dat een scenario verklaard kan worden door eenvoudige waarderangschikkingen drastisch. Sterker nog, voor scenario's met slechts vijf argumenten en twee verschillende contexten, kon minder dan één op de tienduizend worden gereduceerd tot het oudere model.
Deze bevinding suggereert dat de complexiteit van context geen illusie is die kan worden weggestript. De onderzoekers sloten expliciet de mogelijkheid uit dat contextafhankelijke nederlaag slechts een vermomde versie is van waardegebaseerde argumentatie. Hun metingen tonen aan dat de overgrote meerderheid van de contextafhankelijke situaties niet gereproduceerd kan worden door waarden toe te wijzen en ze te ordenen, ongeacht hoe slim men ook probeert. De nieuwe modellen zijn niet slechts een andere manier om hetzelfde te zeggen; ze zijn een noodzakelijk instrument om de realiteit te vangen dat dezelfde aanval in het ene moment kan slagen en in het volgende kan falen, simpelweg omdat de wereld eromheen is veranderd. Het team bouwde ook een werkend computerprogramma om hun theorie te testen, waarmee zij hun resultaten verifieerden tegen miljoenen kleine voorbeelden om te verzekeren dat hun logica standhield. Zij bevestigden dat het weliswaar mogelijk is om te controleren of een specifiek geval reduceerbaar is, maar dat de algemene regel is dat de meeste gevallen dat niet zijn.
De implicaties van dit werk zijn aanzienlijk voor iedereen die probeert systemen te bouwen die redeneren over complexe, veranderende omgevingen. Het betekent dat ingenieurs niet simpelweg kunnen vertrouwen op oudere, eenvoudigere modellen van waarderangschikking om situaties te hanteren waarin regels of omstandigheden verschuiven. De "dunne" aard van reduceerbaarheid impliceert dat context een krachtige, onafhankelijke kracht is in het redeneren. De onderzoekers brachten ook de moeilijkheidsgraad van gerelateerde problemen in kaart, waarbij zij lieten zien dat hoewel het controleren van reduceerbaarheid snel gaat, andere vragen over deze systemen computationeel zeer moeilijk worden naarmate ze groeien. Zij lieten de deur open voor toekomstig werk, waarbij zij opmerkten dat hoewel zij weten hoe ze een enkel scenario kunnen controleren op geschiktheid voor het oude model, zij nog geen eenvoudige regel hebben gevonden om te beschrijven wanneer een hele familie van scenario's door waarden gerepresenteerd kan worden. Voor nu is het bewijs duidelijk: de wereld van argumentatie is te rijk en gevarieerd om te worden afgeplat tot een enkele hiërarchie van waarden. De context doet er toe, en het doet er toe op een manier die niet gemakkelijk vereenvoudigd kan worden.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.