Introduction to probabilistic programming
Introduction à la programmation probabiliste
Résumé
La programmation probabiliste est un paradigme qui a connu un essor important ces dernières années.
Les langages probabilistes manipulent l'incertitude de manière explicite. Ils reposent sur la méthode bayésienne qui permet d'apprendre la distribution des paramètres d'un modèle à partir d'observations statistiques.
De nombreux langages de programmation reposant sur ce paradigme ont été développés: WebPPL, Venture, Anglican, Stan, Gen, Pyro, Turing.jl,... Ces langages sont utilisés dans des domaines qui vont de la vision par ordinateur (génération d'images) et la robotique (planification), à la santé (épidémiologie) et les sciences sociales (sondages).
Ces notes présentent les concepts fondamentaux de la programmation probabiliste :
- Introduction à la modélisation bayésienne
- Conception d'un langage probabiliste et d'un moteur d'inférence
- Sémantiques formelles pour raisonner sur les programmes probabilistes
Origine | Fichiers produits par l'(les) auteur(s) |
---|