Exploring the ties between computational learning theory and algebra
Computational learning theory (CLT) is a branch of computer science that studies the mathematical and algorithmic underpinnings of machine learning. As artificial intelligence is rapidly gaining ground and transforming our world, CLT is providing a way of classifying the computational feasibility of different learning problems. Funded by the Marie Skłodowska-Curie Actions programme, the LLAMA project will build on recently identified new connections between learning theory and universal algebra, with the aim of improving understanding of learnability for fragments of first-order logic. Project results will have significant implications for data management and knowledge representation.