FWF - Neue KI - Neue Berechnungsmethoden für Argumentationsmodelle in der KI

In dem Projekt werden die wissenschaftlichen Grundlagen geschaffen, die zu einer notwendigen Verlagerung der Forschungsrichtungen in der computergestützten Argumentation in der KI führen. Vorläufige Untersuchungen haben gezeigt, dass der gegenwärtig vorherrschende Ansatz zur Berechnung von Argumenten mit ernsthaften rechnerischen Problemen konfrontiert ist und ein Hindernis für das Erreichen von Reife auf diesem Gebiet darstellt. Der derzeitige konzeptionelle Arbeitsablauf in der Argumentation legt fest, wie man rational argumentiert, wenn man bestimmten Wissens und Annahmen. Wenn man ihn jedoch auf die Berechnung anwendet - die überwiegende Mehrheit der Forschung zu computergestützter Argumentation folgt dem konzeptionellen Arbeitsablauf - zeigen sowohl theoretische als auch empirische Ergebnisse, dass ein integraler Bestandteil des konzeptionellen Arbeitsablaufs, nämlich die Explikation von Argumenten, eine signifikante Barriere in Bezug auf Redundanz, Skalierbarkeit und Komplexität von argumentativen Erklärungen darstellt. Es wird die Untersuchung und Entwicklung eines computergestützten Arbeitsablaufs geplant, der seine Stärken aus dem konzeptionellen Arbeitsablauf bezieht - um rational zu argumentieren -, aber computergestützte Fallstricke hinsichtlich Skalierbarkeit und Effizienz vermeidet.