For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.
Institute for Advanced Study (IAS) Institute for Advanced Study (IAS)

Logic and AI

This workshop is part of a research project on the topic of “Logic and AI”. It will bring together international experts to explore the promising interaction of logic and modern artificial intelligence (AI). While AI struggles with explainability, interpretability, and verifiability, logic excels at this. So can logic help AI? And if so, how?
Start date
16 July 2024
End date
17 July 2024
Time
09:00

The history of AI is often conceptualized as a pendulum: swinging back and forth between symbolic approaches based on logic and sub-symbolic approaches based on neural networks. While logic has been called the ‘Calculus of Computer Science’, it plays almost no role in modern AI after the deep learning revolution in the 2010s. However, today’s problems of AI call again for the advantages of symbolic approaches: A pressing open problem is to achieve explanation, interpretation, verification, and theory of AI—and logic historically excelled at these desiderata.

Consequentially, we see a quickly rising interest in the interaction of logic and modern AI. In this workshop, we explore how exactly a fruitful interaction can look like. The talks of distinguished experts showcase the latest work in this area, and the discussion rounds will identify promising future directions. In particular, we will focus on four topics: (1) expressive and computational power of machine learning, (2) neuro-symbolic integration, (3) learning logical structure, and (4) causality, logic, and machine learning.

This workshop is organized by IAS Fellows, Levin Hornischer (LMU Munich/MCMP) and Thomas F. Icard (Stanford University), in collaboration with Johan van Benthem (University of Amsterdam/ILLC, Stanford University, Tsinghua University), Balder ten Cate (University of Amsterdam/ILLC), Frank van Harmelen (Vrije Universiteit Amsterdam), and Sara Magliacane (University of Amsterdam/AMLab) during the summer of 2024 at the Institute for Advanced Studies (IAS) at the University of Amsterdam.  

Speakers (16 July)

Giuseppe Marra (KU Leuven)
Levin Hornischer (LMU Munich)
Martin Grohe (RWTH Aachen)
Lena Strobl (Umeå University)

Speakers (17 July)

Richard Evans (Deepmind)
Herbert Jaeger (University of Groningen)
Atticus Geiger (Pr(Ai)²R)
Thomas Icard (Stanford University)

Due to limited space, on-site participation is by invitation, but the talks can be followed online. If you would like to follow the talks online, please submit the registration form indicating online participation and you will receive a Zoom link.

Register