"Neurosymbolic Intelligent Learning Systems" - Inaugural lecture by Nils Jansen
The Faculty of Computer Science cordially invites all those, who are interested, to Prof. Nils Jansen’s inaugural lecture “Neurosymbolic Intelligent Learning Systems” on 23.10.2024, starting at 2 p.m.!
When? Ocotber, 23, 2024, 2-3 p.m. lecture, afterwards get together with pizza and drinks
Where? Building MC, Open Space
Registration: https://terminplaner6.dfn.de/b/5d83ee3a71ee86619dd7e1a7c691e41e-891040
Since November 2023, Professor Nils Jansen has been researching with his Chair of Artificial Intelligence and Formal Methods at the Faculty of Computer Science.
Artificial intelligence (AI) is already part of everyday life and will increasingly find its way into more areas of life. Applications in healthcare, transport and the financial sector are just a few examples. However, all of these areas require reliable and safe applications of AI systems. “I want to contribute to achieving greater trust in artificial intelligence in the future. I also want to help Bochum and Germany in general to become excellent locations for AI research worldwide,” says the researcher, explaining his personal goal. To achieve this, Nils Jansen combines the research areas of AI and formal methods. “Autonomous systems can learn independently how to behave in an unknown environment. During the learning process, however, it is completely unclear whether the system could endanger itself or its environment.” Nils Jansen is researching this problem, for example, in his ERC Starting Grant project DEUCE: Data-driven Learning and Verification under Uncertainty.
The Faculty of Computer Science cordially invites all interested parties to Nils Jansen’s inaugural lecture!
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.