Title
Neurosymbolic AI
Abstract
AI has become the focus of large-scale research endeavours and has changed business practice. This led to an important debate about the impact of AI on education and society. It has been argued that the building of a rich AI system, semantically sound, explainable and ultimately trustworthy, will require neurosymbolic AI with a sound reasoning layer in combination with deep learning. Parallels have been drawn between Daniel Kahneman’s research on human reasoning and decision making and so-called AI systems 1 and 2. I will revisit early theoretical results of fundamental relevance to shaping the latest research in neurosymbolic AI, such as the proof that recurrent neural networks compute the semantics of logic programming. I will also seek to identify bottlenecks and the most promising technical directions for the sound representation of learning and reasoning in neural networks. I will conclude by discussing the key ingredients for sustainable AI going forward - reliable, fairer and data efficient AI - identifying directions and challenges for the next decade of research in the field towards this goal.
Bio
Artur d’Avila Garcez is Professor of Computer Science at City St George's, University of London. He is a Fellow of the British Computer Society (FBCS), Fellow of the UK’s Higher Education Academy (FHEA), and president of the steering committee of the Neural-Symbolic Learning and Reasoning association (NeSy). He has co-authored two books: Neural-Symbolic Cognitive Reasoning, Springer (2009) and Neural-Symbolic Learning Systems, Springer (2002), and co-founded the NeSy conference series, the longest standing conference series in neurosymbolic AI. Garcez is a leading researcher in the field of neurosymbolic AI. He designed and implemented arguably the first neurosymbolic system for learning and reasoning. His research has led to more than 250 publications in major journals and conferences in Artificial Intelligence, Logic and Machine Learning, and in the flagship AI and Neural Computation conferences AAAI, NeurIPS, IJCAI, IJCNN, AAMAS and ECAI. Garcez is a founding Editor-in-Chief of the Neurosymbolic AI journal, IOS Press, and holds editorial and senior program committee positions in all the major scientific journals and conferences in Artificial Intelligence and Machine Learning.
Speaker is presenting online.
Practical
The Tuesdays seminars series are devoted to various topics relevant for the Integreat´s research focus. Presenters from the Integreat community and beyond have 40 minutes to present, followed by a group discussion.
Seminars are open for attendance for everybody.
For those joining online: https://uio.zoom.us/j/62535744013
Point of contacts:
- Organiser and moderator: Egor Kostylev, University of Oslo
- Integreat Administrative Leader Maria Dikova, University of Oslo