Arthur Ledaguenel soutiendra sa thèse le 26 mai 2025
Doctorants
Publié le 19/05/2025
Partager
Partager
Arthur Ledaguenel, doctorant au sein du programme IA2 (projet SMD) de l’IRT SystemX, soutiendra sa thèse de l’Université Paris-Saclay le 26 mai 2025, à 14h30, sur le thème : « Techniques neurosymboliques probabilistes pour la classification informée : une vue unifiée, évaluation experimentale et analyse de complexité ».
Résumé de la thèse :
Dans cette thèse, nous étudions les tâches de classification multi-label informée par de la connaissance a priori. Cette étude se déploie selon trois axes principaux. Premièrement, développer un formalisme unifié pour décrire les techniques neurosymboliques d’intégration de la connaissance, avec une focalisation sur les techniques qui reposent sur le raisonnement probabiliste, puis étendre ce formalisme à différents régimes de supervision et au cas particulier de la classification conforme. Deuxièmement, effectuer une évaluation expérimentale de trois techniques neurosymboliques probabilistes sur quatre jeux de données, en analysant en particulier l’évolution de la performance avec la taille du réseau de neurones. Troisièmement, étudier la complexité de calcul des techniques neurosymboliques probabilistes et dessiner une carte de la complexité du raisonnement probabiliste.
Composition du jury :
Céline HUDELOT, Professeure des universités, CentraleSupélec, directrice de thèse
Christophe Biernacki (Professor of Statistics at the University of Lille et directeur scientifique adjoint à l’Inria) a animé un Seminar@SystemX sur le thème "Frugal Gaussian clustering of huge imbalanced datasets", le 15 décembre 2022 de 14h00 à 15h30. Résumé : Clustering conceptually reveals all its interest when the dataset size considerably increases since there is…
Gauthier Picard (ONERA) a animé un Seminar@SystemX sur le thème Multi-agent coordination using distributed constraint optimization and auction-based techniques, le 28 février 2024. Résumé : This presentation delves into techniques that facilitate coordination and cooperation among agents within multi-agent systems. These decision-making agents interact to achieve collective objectives. For example, a group of agents might…
IRT SystemX is organizing a workshop entitled "Model-based System Engineering and Artificial Intelligence" at MODELSWARD the 12th International Conference on Model-Based Software and Systems Engineering, from February 21 to 23, in Rome. AI-empowered MBSE (Model-based System Engineering)" is increasingly advocated as a promising approach to overcome MBSE challenges and to promote high-quality systems. At the same…