Opis projektu
Eksplorowanie powiązań pomiędzy obliczeniową teorią nauczania a algebrą
Obliczeniowa teoria nauczania to gałąź informatyki badająca matematyczne i algorytmiczne podstawy uczenia maszynowego. Podczas gdy sztuczna inteligencja rozwija się błyskawicznie i zmienia nasz świat, teoria ta oferuje sposób klasyfikacji wykonalności obliczeniowej różnych problemów związanych z uczeniem się. Twórcy projektu LLAMA, finansowanego z działania „Maria Skłodowska-Curie”, wykorzystają niedawno ustalone nowe powiązania pomiędzy teorią nauczania a uniwersalną algebrą. Celem badaczy będzie lepsze zrozumienie nauczalności na potrzeby fragmentów logiki pierwszego rzędu. Wyniki projektu będą mieć duży wpływ na zarządzanie danymi oraz reprezentację wiedzy.
Cel
Computational learning theory is a branch of computer science that studies the mathematical and algorithmic underpinnings of machine learning. It provides the concepts and methods to classify the computational feasibility of different learning problems. This project lies at the intersection of computational learning theory and logic, and it builds on recently identified new connections between learning theory and universal algebra. Its high-level goals are (i) to improve our understanding of learnability for fragments of first-order logic, motivated by applications in data management and knowledge representation, and (ii) to further develop and exploit the recently identified connections with universal algebra (as well as combinatorial graph theory, finite model theory, and fixed point logics), to developing a rich technical framework for proving new results. More concretely, we will study aspects of computational learning theory for fragments of first order logic under constraints (that is, in the presence of a background theory), with applications in data management and knowledge representation.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego.
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Słowa kluczowe
Program(-y)
Temat(-y)
System finansowania
MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)Koordynator
1012WX Amsterdam
Niderlandy