Logic and AI

This is the website for the project Logic and AI. It runs during summer 2024 at the Institute for Advanced Study in Amsterdam. The project members are:

• Johan van Benthem (University of Amsterdam/ILLC, Stanford University, Tsinghua University)
• Balder ten Cate (University of Amsterdam/ILLC)
• Frank van Harmelen (Vrije Universiteit Amsterdam)
• Levin Hornischer (LMU Munich/MCMP)
• Thomas Icard (Stanford University)
• Sara Magliacane (University of Amsterdam/AMLab)

The project is about re-mapping the landscape of logic and AI after the deep learning revolution. Despite tremendous successes, modern AI still struggles with explainability, interpretability, and verifiability. Historically, logic excelled at these desiderata. So the goal of the project is to identify concrete and promising questions how exactly logic and AI can help each other.

We are currently working on an overview paper of the different approaches to Logic and AI: stay tuned!