Past event
When AI needs logic: solving puzzles, schedules and more Professor Mateu Villaret of the University of Girona
We are delighted to welcome Professor Mateu Villaret from the University of Girona to St Andrews as a Senior Global Fellow.
As part of his visit, Professor Villaret will give a talk exploring the role of logic-based tools in solving complex problems in the era of AI.
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, Professor Villaret 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.