Neuer Ansatz der TU Graz: KI löst komplexe logische Probleme schneller und präziser

Ein Forschungsteam der TU Graz hat einen Ansatz entwickelt, der es Künstlicher Intelligenz ermöglicht, komplexe logische Probleme mit hoher Genauigkeit zu lösen. Dieses Verfahren hebt sich deutlich von gängigen Large Language Models wie ChatGPT ab, die primär auf statistischen Wahrscheinlichkeiten und massiven Trainingsdaten basieren. Die neuartige Methode fokussiert sich auf eine präzise mathematische Modellierung der logischen Fragestellungen. Durch die Entwicklung speziell dafür konzipierter logischer Formeln kann das KI-System eigenständig zur optimalen Lösung gelangen. Diese Vorgehensweise umgeht die Grenzen der Berechenbarkeit, die bei komplexen Argumentationen mit statistischen Modellen auftreten können, da das Ergebnis direkt aus den gegebenen Daten abgeleitet wird und garantiert die richtige oder beste Antwort liefert.

Die Effizienz dieses Ansatzes zeigt sich in seiner Fähigkeit, komplexe logische Schlüsse innerhalb von Millisekunden zu berechnen. Die Zuverlässigkeit wurde erfolgreich in einem Praxisprojekt mit der niederländischen Polizei getestet. Im Rahmen dieser Zusammenarbeit galt es, Fälle von Online-Betrug in mathematische Formeln zu übersetzen, um anhand der vorliegenden Daten eine fundierte Beurteilung des Betrugsverdachts zu ermöglichen. Das System sollte aus Angaben wie Bestelldatum, Webshop-URL und weiteren Kontextinformationen ableiten, ob ein Fall als möglicher Online-Betrug einzustufen ist. Ein Beispiel hierfür wäre die Analyse eines Falls, in dem ein Kunde über eine Website ein Produkt gekauft hat, dieses jedoch nie erhalten hat.

Obwohl die Forschung primär Grundlagenforschung darstellt, sehen die Wissenschaftler zahlreiche weitere Anwendungsbereiche für dieses Verfahren, insbesondere dort, wo komplexe Entscheidungen auf Basis logischer Argumente getroffen werden müssen. Aktuelle Herausforderungen betreffen vor allem die Dateneingabe, da diese präzise und in einer für die logische Verarbeitung geeigneten Form erfolgen muss. Zukünftige Forschung soll die Integration mit Large Language Models untersuchen, um natürliche Spracheingaben automatisch in eine formale Logik übersetzen zu können und somit den Zugang zu dieser leistungsstarken logischen Analyse für ein breiteres Spektrum an Anwendungen zu ermöglichen.

Schlagwörter: TU Graz + ChatGPT + Webshop-URL

Wie bewerten Sie den Schreibstil des Artikels?