When AI Needs Logic: Solving Puzzles, Schedules, and More

In this new era of AI, we increasingly expect “an AI” to solve all kinds of problems. However, generative AI may not be enough to tackle some ubiquitous and highly complex problems, such as timetabling, scheduling, routing, and rostering. In this talk, we will explore how logic-based tools may be the right choice for solving these kinds of problems. We will look at how these tools can be used to model and solve complex combinatorial problems, and why they are particularly well suited to these challenges