Forschung. Die TU Graz hat eine Methode mitentwickelt, mit der KI komplexe logische Probleme bearbeiten soll. Getestet wurde der Ansatz gemeinsam mit der niederländischen Polizei.
Argumente abwägen, logische Schlüsse ziehen und daraus eine eindeutig richtige Antwort ableiten – solche Aufgaben stellen künstliche Intelligenz bislang vor einige Hürden. Einen logisch korrekten Schluss zu berechnen, führt gängige Algorithmen bei komplexen Fragestellungen schnell an mathematische und rechnerische Grenzen.
Ein Team um den Forscher Johannes P. Wallner vom Institute of Software Engineering and Artificial Intelligence der TU Graz hat laut einer Aussendung nun einen Weg gefunden, den komplexen Vorgang des argumentativen Schließens in effizientere mathematische Formeln zu übersetzen und diese mit etablierten Lösungssystemen zu verknüpfen. Das soll exakte Berechnungen in Millisekunden ermöglichen, heißt es. Die Zuverlässigkeit der Methode hat das Team in Zusammenarbeit mit der niederländischen Polizei anhand eines Tools zur Betrugsaufnahme getestet.
Anders als Large Language Models
„Im Vergleich zu Large Language Models wie ChatGPT, die Texte auf Basis statistischer Wahrscheinlichkeiten und großer Mengen an Trainingsdaten erzeugen, können exakte logische Schlüsse aus mathematischer Sicht schnell an Berechenbarkeitsgrenzen gelangen“, so Johannes P. Wallner: „Hier muss das Ergebnis zwingend aus den für das jeweilige Problem angegebenen Daten erfolgen, und das System muss garantiert die richtige bzw. die beste Antwort innerhalb des definierten Rahmens liefern. Große Datenmengen sind hierbei ein Problem, da die Rechenintensität dadurch exponentiell ansteigt.“
Um diese Hürde zu überwinden, fokussierte sich das Team auf die mathematische Modellierung der logischen Fragestellungen und entwickelte logische Formeln, mit denen das KI-System eigenständig zur optimalen Lösung findet. Im Rahmen der Zusammenarbeit mit der niederländischen Polizei galt es, die Problemstellungen bei der Betrugsaufnahme in kompakte Formeln zu übersetzen.
Die Forschenden mussten den mathematischen Beweis erbringen, dass die Formeln korrekt die Argumentation für oder wider Betrug bei den eingegebenen Daten widerspiegeln. Das Ziel war es, auf Basis der vorhandenen Daten- bzw. Beweislage vom Computer die Antwort zu bekommen, ob es sich bei einem Fall um Betrug im Internet handeln könnte oder nicht.
Es ging dabei etwa um Menschen, die über eine Website ein Produkt gekauft hatten und nichts erhielten. Angesichts der seit der Bestellung verstrichenen Zeit, der Webshop-URL und weiteren Informationen sollte das System den Fall beurteilen.
Präzise Dateneingabe ist Herausforderung
Obwohl es sich primär um Grundlagenforschung handelt, orten die Forschenden zahlreiche weitere Einsatzmöglichkeiten, in denen komplexe Entscheidungen auf Basis logischer Argumente getroffen werden. Eine aktuelle Herausforderung ist laut den Forschern noch die Dateneingabe, da diese sehr präzise erfolgen muss, damit das System sie verarbeiten kann.
Wallners Team will daher Verbindungen mit Large Language Models untersuchen: Diese könnten Eingaben in natürlicher Sprache entgegennehmen und automatisch in eine für die logische Verarbeitung geeignete Form übersetzen.
Jetzt den Newsletter von Extrajournal.Net abonnieren
Täglich aktuell in Ihrer Mailbox.
Zu diesem Thema:
