Projektbeschreibung
Welche Verbindungen bestehen zwischen der Theorie der maschinellen Lernens und der Algebra?
Die Lerntheorie ist ein Zweig der Informatik, der die mathematischen und algorithmischen Grundlagen des maschinellen Lernens untersucht. Da die künstliche Intelligenz auf dem Vormarsch ist und unsere Welt verändert, weist die Theorie des maschinellen Lernens einen Weg, um die rechnerische Realisierbarkeit verschiedener Lernprobleme einordnen zu können. Das im Rahmen der Marie-Skłodowska-Curie-Maßnahmen finanzierte Projekt LLAMA wird auf kürzlich entdeckten neuen Zusammenhängen zwischen Lerntheorie und universeller Algebra aufbauen. Das Ziel lautet, das Verständnis der Lernfähigkeit in Bezug auf Fragmente der Prädikatenlogik erster Stufe zu verbessern. Die Projektergebnisse werden erhebliche Auswirkungen auf Datenmanagement und Wissensdarstellung haben.
Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Schlüsselbegriffe
Programm/Programme
Thema/Themen
Aufforderung zur Vorschlagseinreichung
(öffnet in neuem Fenster) H2020-MSCA-IF-2020
Andere Projekte für diesen Aufruf anzeigenFinanzierungsplan
MSCA-IF - Marie Skłodowska-Curie Individual Fellowships (IF)Koordinator
1012WX Amsterdam
Niederlande