Argumentatie via gesimuleerde dialogen

Bij argumentatie worden argumenten en tegenargumenten gebruikt om te bepalen welke beweringen wel en welke beweringen niet volgen uit andere beweringen. Om dit geautomatiseerd te kunnen doen is het nodig argumentatie te formaliseren. In eerder onderzoek is een methode voor het formaliseren van argumentatie voorgesteld door Dung. In zijn onderzoek is echter weinig aandacht besteed aan discussie tussen meerdere agenten. In dit onderzoek wordt gekeken hoe de theorie van Dung toegepast kan worden op een dialoog tussen twee agenten, die elk hun eigen kennis van de wereld hebben. Hiervoor wordt een strategie ontwikkeld aan de hand van het ‘proofs and refutations’ algoritme van Verheij. Via dit algoritme is het mogelijk de status van een argument te controleren zonder de status van alle argumenten na te hoeven gaan. Het blijkt dat het mogelijk is de strategie te koppelen met de theorie van Dung.