Computationale Aspekte der Abstrakten Argumentation

Abstract

Diese Arbeit studiert Abstract Argumentation Frameworks, einen der erfolgreichsten Formalismen in der Formalen Argumentation, einem Teilgebiet der Künstlichen Intelligenz. Diese Frameworks abstrahieren von den konkreten Argumenten und ihren Inhalten zu abstrakten Entitäten und einer Konfliktrelation zwischen diesen. Auf Basis der Konfliktrelation werden nun kohärente Mengen von Argumenten identifiziert. Die Literatur kennt eine Vielzahl an unterschiedlichen Kriterien, sogenannte Semantiken, um kohärente Mengen zu definieren. Die Berechnung dieser kohärenten Mengen ist eine Kernaufgabe von Argumentations-Systemen weshalb sich diese Arbeit der computationalen Analyse dieses Schrittes widmet. Konkret präsentieren wir eine klassische Komplexitätsanalyse der verschieden Semantiken und studieren mögliche tractable fragments, d.h. wir betrachten Abstract Argumentation Frameworks mit einer bestimmte Struktur und untersuchen, ob diese mit geringerem Berechnungsaufwand ausgewertet werden können. Die erzielten Resultate nutzen wir abschließend auch um effiziente Übersetzbarkeit zwischen den verschiedenen Semantiken für Abstract Argumentation Frameworks zu studieren. Solche Übersetzungen erlauben die Nutzung eines effizienten Argumentations-Systems für eine Semantik A auch für andere Semantiken, die in Semantik A übersetzt werden können. Diese Untersuchungen bilden gemeinsam die Grundlage für das Design effizienter Argumentations-Systeme, welche eine breite Auswahl an Semantiken bereitstellen sollen.