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
Vincent Chapurlat (IMT Mines d'Alès) animera un Seminar@SystemX sur le thème La résilience, une propriété non-fonctionnelle essentielle des Infrastructures Critiques, le 22 mai 2024, de 14h à 15h. Résumé : La résilience est une des propriétés non-fonctionnelles (PNF comme, par exemple, la sûreté, la sécurité, la performance, l’interopérabilité ou encore la disponibilité) qui caractérisent un système…
IRT SystemX is organizing the 2nd Workshop on Model-based System Engineering and Artificial Intelligence at MODELSWARD, the 13th International Conference on Model-Based Software and Systems Engineering, from February 26 to 28, 2025, in Porto (Portugal). "AI-empowered MBSE" is increasingly advocated as a promising approach to overcome MBSE challenges and to promote high-quality systems. At the…
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…