Lehrstuhl für KI-Systementwicklung

AI Systems Engineering (AISE)

Die Forschungsaktivit?ten des AISE Lehrstuhls liegen in der Schnittstelle von Künstlicher Intelligenz, Philosophie, Mathematik, Informatik und natürlicher Sprache. Aktuelle Forschung des Teams konzentriert sich auf Mechanisierung von formaler Argumentation und Erkl?rungen im Computer, um vertrauenswürdige KI-Systeme zu entwickeln. Ein besonderes Interesse gilt der Verwendung von klassischer Logik h?herer Ordnung (HOL) als universelle Meta-Logik, um verschiedene nicht-klassische Logiken zu automatisieren und sie in aktuellen Anwendungen zu nutzen, darunter Maschinenethik und Maschinenrecht, Metaphysik (z. B. G?dels ontologisches Argument), mathematische Grundlagen (z.B. Kategorientheorie) und rationale Argumentation. Die Forschungsaktivit?ten des AISE Teams sind aber weitreichender, und befassen sich z.B. auch mit der Integration von automatisiertem Argumentieren, maschinellem Lernen und agentenbasierten Architekturen. Die Kernkompetenzen von Prof. Dr. Benzmüller liegen im Bereich der klassischen Logik h?herer Stufe (HOL), zu deren Semantik und Beweistheorie er beigetragen hat. Zusammen mit Kollegen und Studenten hat er auch die Leo-Theorembeweiser für HOL entwickelt.

AISE Wissenschaftskommunikation

Benzmüller's Auftritt in der TerraX Folge "Die gro?en Fragen: Gibt es Gott?" erreichte ein Millionenpublikum. Auch beim Science Slam der Uni Bamberg am 27. Oktober pr?sentierte Benzmüller zentrale Hypothesen der AISE-Forschunglandschaft einem breiteren Publikum. Zusammen mit dem Bamberger Rapper ,,Bamb?gga'' gewann Benzmüller diesen Science Slam. Zuvor hatte Benzmüller auch schon andere Slams, z.B. vor dem roten Rathaus in Berlin und im bekannten Berliner Club SO36 sehr erfolgreich bestritten.