Chair for AI Systems Engineering

AI Systems Engineering (AISE)

The research activities of the AISE Chair lie at the intersection of artificial intelligence, philosophy, mathematics, computer science, and natural language. Current research of the team focuses on mechanization of formal reasoning and explanation in computers to develop trustworthy AI systems. A particular interest is the use of higher-order classical logic (HOL) as a universal meta-logic to automate various non-classical logics and use them in current applications, including machine ethics and machine law, metaphysics (e.g., G?del's ontological argument), mathematical foundations (e.g., category theory), and rational argumentation. However, the research activities of the AISE team are broader, and also address, for example, the integration of automated reasoning, machine learning, and agent-based architectures. Prof. Dr. Benzmüller's core competencies are in the area of classical higher level logic (HOL), whose semantics and proof theory he has contributed to. Together with colleagues and students, he has also developed the Leo theorem provers for HOL.

AISE Science Communication

Benzmüller's appearance in the TerraX episode "Die gro?en Fragen: Gibt es Gott?" reached an audience of millions. At the Science Slam of the University of Bamberg on October 27, Benzmüller presented central hypotheses of the AISE research landscape to a wider audience. Together with the rapper ,,Bamb?gga'' from Bamberg, Benzmüller won this Science Slam. Previously, Benzmüller had also very successfully contested other slams, e.g. in front of the roten Rathaus in Berlin and in the well-known Berliner Club SO3.