Neurosymbolic Intelligent Learning Systems – Inaugural Lecture

On 23.10.2024 from 2 pm Prof. Dr. Nils Jansen will give his inaugural lecture in the Open Space of the MC building. We cordially invite all interested parties to attend. For more information and registration see here.

Abstract:

Artificial Intelligence (AI) has emerged as a disruptive force in our society. Increasing applications in healthcare, transport, military, and other fields underscore the critical need for a comprehensive understanding and the robustness of an AI’s decision-making process. Neurosymbolic AI aims to create robust AI systems by integrating neural and symbolic AI techniques. 
In this inaugural lecture, I will highlight the role of formal methods in such techniques, serving as a rigorous and structured backbone for symbolic AI methods. I will also reflect on my journey as a formal methods researcher and how the AI hype began for us.