Langages de Programmation Probabilistes (24h, 3 ECTS)Cours 2024 - 2025
DescriptionLa programmation probabiliste est un paradigme de programmation qui a connu un essor important ces dernières années. Les langages de programmation probabilistes permettent de décrire des modèles tels que ceux utilisés en intelligence artificielle et proposent des méthodes automatiques pour inférer les paramètres du modèle à partir d'observations statistiques. Comparé aux algorithmes d'apprentissage classiques, les langages probabilistes permettent de manipuler l'incertitude de manière explicite. Ils reposent sur la méthode Bayésienne qui permet de raffiner une croyance a priori sur la distribution des paramètres d'un modèle a partir d'observations concrètes. Récemment, de nombreux langages de programmation ont été développés e.g., WebPPL, Venture, Anglican, Stan, Gen, Pyro, Turing.jl... Ces langages sont maintenant utilisés dans de nombreux domaines qui vont de la vision (génération d'images) et la robotique (planification), à la santé (épidémiologie) et les sciences sociales (sondages). Ce cours présente les concepts fondamentaux de la programmation probabiliste ainsi que des travaux de recherche récents :
Plan du cours
Tous les cours seront accompagnés de travaux pratiques. Les supports de cours et les TDs seront disponibles sur GitHub : https://github.com/mpri-probprog/probprog-24-25 Évaluation
Ressources
|