Ein semantisches Framework für Graph-basiertes Verarbeiten von Argumenten

Argumentation ist ein Gebiet, welches sich mit Bereichen der Philosophie, der Künstlichen Intelligenz (KI) und verschiedenster Anwendungen überschneidet. Innerhalb der KI werden formale Modelle, welche Argumente und deren Beziehungen untereinander beschreiben, analysiert und Konflikte, welche sich im Kontext unterschiedlicher Meinungen manifestieren, aufgelöst. Es gilt nun die zahlreichen Resultate aus der Forschung zu formalen Modellen der Argumentation auch jenen NutzerInnen zugänglich zu machen, die keine Ausbildung in formaler Logik haben. Aus unserer Sicht ist es hierfür notwendig auf graphische Modelle, die sich einfach verstehen und handhaben lassen, zurückzugreifen. Graphische Modelle, die Denk- und Argumentationsweisen veranschaulichen, sind heute weitverbreitet auch über die Informatik und die KI hinaus. Im Rahmen des Projekts werden wir neuartige graphen-basierte Methoden für den Bereich der Argumentation entwickeln. Um die notwendige Ausdrucksstärke und theoretische Fundierung zu gewährleisten, werden wir hierfür Resultate des Vorgängerprojekts über Abstrakte Dialektische Frameworks (FWF I1102 / DFG BR 1817/7-1) heranziehen und auf beliebige markierte Argumentationsgraphen übertragen. Des Weiteren untersuchen wir entsprechende Algorithmen und implementieren flexible und benutzerfreundliche Werkzeuge, die wir in den Bereichen des juristischen Schließens und der Auswertung von Online-Debatten evaluieren wollen.

Argumentation ist ein Gebiet, welches sich mit Bereichen der Philosophie, der Künstlichen Intelligenz (KI) und verschiedenster Anwendungen überschneidet. Innerhalb der KI werden formale Modelle, welche Argumente und deren Beziehungen untereinander beschreiben, analysiert und Konflikte, welche sich im Kontext unterschiedlicher Meinungen manifestieren, aufgelöst. Es galt nun die zahlreichen Resultate aus der Forschung zu formalen Modellen der Argumentation auch jenen NutzerInnen zugänglich zu machen, die keine Ausbildung in formaler Logik haben. Hierfür haben wir auf graphische Modelle, die sich einfach verstehen und handhaben lassen, zurückgegriffen. Um die notwendige Ausdrucksstärke und theoretische Fundierung zu gewährleisten, wurden Resultate des Vorgängerprojekts über Abstrakte Dialektische Frameworks (FWF I1102 / DFG BR 1817/7-1) herangezogen und auf beliebige markierte Argumentationsgraphen übertragen. Neben theoretischen Untersuchungen wurden Im Rahmen des Projekts einige Software-Prototypen, darunter eine Argumentations-App, entwickelt.