What this blog is going to be about
Welcome to the blog of the Logic and AI project! This first post explains what the blog will be about, before diving into actual content in the next posts.
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 can help AI. These question will then also pose exciting new problems and research directions for logic.
The plan for the blog is that each post will introduce one subfield of logic and AI, by specifying