(Wie) Können wir KI-Systemen wie ChatGPT vertrauen? Und wenn ja, (wie) kann eine Künstliche Intelligenz ethisch handeln?
Unser heutiger Podcast-Gast Prof. Dr. Christoph Benzmüller ist seit 2022 Inhaber des Lehrstuhls für KI-Systementwicklung an der Universität Bamberg. Als außerplanmäßiger Professor ist er zudem mit dem Fachbereich Mathematik und Informatik der Freien Universität Berlin verbunden. Benzmüller's Forschungsinteressen liegen in der Schnittstelle von KI/Informatik, Philosophie, Mathematik und Sprache.
Prof. Benzmüllers Forschungsarbeiten zeigen, dass rationale Argumente durch den Einsatz moderner, symbolischer KI-Technologie inzwischen sehr gut in Computern mechanisiert und analysiert werden können.
Benzmüller hat mit seinem Team eigene automatische Theorembeweiser (für klassische und nichtklassische Logiken höherer Stufe) entwickelt und wendet diese in den genannten Bereichen an. Mediale Aufmerksamkeit erlangten vor allem Benzmüller's Studien zu Gödel's ontologischem Argument für die Existenz Gottes im Computer. Das Anwendungsspektrum seiner Arbeiten ist weitreichend und betrifft unter anderem die Mechanisierung von ethisch-rechtlichem Schließen im Computer, z.B. zur intendierten Kontrolle von autonomen KI-Systemen.