Description du projet
Pour de nouveaux langages de programmation probabilistes plus simples
Les scientifiques d’aujourd’hui bénéficient de l’accessibilité à diverses bases de données. Mais l’analyse nécessite de nouvelles méthodes de raisonnement des probabilités et des outils plus précis. La programmation probabiliste apprend des méthodes des langages de programmation pour les appliquer à la conception et à l’utilisation d’un langage de programmation spécial pour les modèles statistiques. Il est utilisé dans la modélisation statistique bayésienne, principalement pour un espace d’échantillonnage complexe et non paramétrique, dans lequel le modèle statistique peut être expliqué de manière précise, mais séparément des algorithmes d’inférence dont la portée est généralement limitée. Le projet BLaSt financé par l’UE entend mener des recherches qui permettront de créer une base sémantique pour de nouveaux langages de programmation probabilistes et, surtout, pour un langage de programmation expliquant précisément les aspects non paramétriques des symétries qui émergent.
Objectif
Probabilistic programming is a powerful method for Bayesian statistical modelling, particularly where the sample space is complex or unbounded (non-parametric). This is because the statistical model can be described clearly in a way that is precise but separate from inference algorithms. It accommodates complex models in such a way that outcomes are still explainable.
The objective of the proposed research is to develop a semantic foundation for probabilistic programming that properly explains the non-parametric aspects, particularly the symmetries that arise there. There are three ultimate goals:
* to propose new probabilistic programming languages: better languages for statistics;
* to devise new general inference methods for probabilistic programs;
* to build new foundations for probability.
The method is to build on advances on exploiting symmetries in traditional programming lan- guage semantics, by combining this with recent successes in formal semantics and verification for probabilistic programming.
Champ scientifique
Mots‑clés
Programme(s)
Régime de financement
ERC-COG - Consolidator GrantInstitution d’accueil
OX1 2JD Oxford
Royaume-Uni