Logique et apprentissage

La logique mathématique constitue un puissant cadre de raisonnement pour analyser les systèmes complexes. C’est la pierre angulaire des méthodes formelles – un ensemble d’outils permettant d’étudier des garanties fortes sur des systèmes complexes. L’apprentissage automatique est un paradigme de plus en plus présent, dont les applications paraissent sans limite. Il est principalement basé sur des approches statistiques à l’efficacité sans pareille. Ce projet participe à un effort récent visant à combiner le raisonnement formel issu de la logique et la puissance de l’apprentissage automatique. D’un côté, introduire de l’apprentissage dans les méthodes formelles permet de résoudre de nombreux problèmes de performance, tout en conservant des garanties fortes. De l’autre, la logique offre des fondations mathématiques pour évaluer la qualité de processus d’apprentissage et leurs résultats, et d’ainsi garantir leur fiabilité et leur robustesse, à une époque où l’apprentissage et l’IA sont au coeur d’applications critiques.