Neue Berechnungsmethoden für Argumentationsmodelle in der KI

In diesem Forschungsprojekt widmen wir uns dem Gebiet der Argumentationstheorie, konkreter forschen wir im Bereich des automatischen Schließens basierend auf Argumenten. Dieses Gebiet ist in der künstlichen Intelligenz (KI) angesiedelt. Forschung in der Argumentationstheorie innerhalb der KI behandelt, unter anderem, Fragestellungen wie man Argumente formal repräsentieren kann, wie man Argumente zueinander in Beziehung stellen kann und wie man automatische Schlussfolgerungen berechnen kann anhand vorhandener Argumente. Argumente sind im allgemeinen komplexe Strukturen und können vielfältige Formen annehmen. Beispielsweise gibt es Argumente die überzeugen sollen anhand der Autorität der argumentierenden Person. Andere Argumente sollen auf einer emotionalen Ebene überzeugen, oder manche Argumente sollen logisch sein. Argumente können an sich ebenso einfach wie komplex sein. In diesem Projekt verfolgen wir primär das Ziel der automatischen Berechnung von Schlussfolgerungen von Argumenten. Um solche Folgerungen mit einem Computer berechnen zu können benötigen wir formale Spezifikationen dieser Schlussweisen. Der Grund ist recht direkt: Präzise Spezifikationen erlauben es ein Computerprogramm zu schreiben, welches die Schlüsse berechnen kann. Das Gebiet in dem wir uns befinden kann man ins Deutsche als rechnergestützte Argumentation übersetzen. In diesem Bereich wurden mehrere Ansätze vorgeschlagen wie man Argumente formal spezifizieren kann. Ein häufiger Ansatz in diesem Gebiet folgt diesen Schritten: Zuerst werden alle Argumente konstruiert die möglich sind, dann werden Argumente zueinander in Beziehung gesetzt (beispielsweise pro und kontra), und schlussendlich wird berechnet welche Argumente sich schlüssig verteidigen können. Obgleich diese Vorgehensweise auf einer konzeptuellen Ebene sinnig erscheint, ist sie für Berechnungen nicht ideal: Die Berechnung aller möglichen Argumente kann viel Laufzeit beanspruchen und auch potentiell redundante Argumente erzeugen. Eine hohe Anzahl von Argumenten (die jeweils auch komplex sein können) kann ein Hindernis sein für Computer und für Menschen. Computer benötigen unter Umständen lange für die Berechnung und für Menschen kann es schwierig sein viele Argumente zu sichten. An diesem Punkt setzen wir in unserem Projekt an und erforschen alternative Wege um argumentative Schlussfolgerungen zu berechnen. Insbesondere erforschen wir Wege Konklusionen (argumentative Schlussfolgerungen) direkt zu berechnen, ohne Argumente explizit zu machen. Dies ist keineswegs einfach, aber erste Forschungsergebnisse haben gezeigt, dass dies, zumindest in gewissen Situationen, machbar ist. Kurz gesagt wollen wir alternative Abläufe für argumentbasierte Schlussweisen erforschen, welche Argumente nicht explizit generieren, und nur Argumente darstellen wenn diese benötigt werden. Basierend auf diesem Ansatz planen wir akademische Prototypen (Software) zu erstellen um Vorteile, aber auch mögliche Nachteile, dieses Ansatzes zu zeigen.