Talk by Professor Mateu Villaret
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 presented 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 explored how logic-based tools may be the right choice for solving these kinds of problems. We looked at how these tools can be used to model and solve complex combinatorial problems, and why they are particularly well suited to these challenges.
