Projektbeschreibung
Für neue, einfachere probabilistische Programmiersprachen
Die Wissenschaft von heute profitiert von der Zugänglichkeit verschiedener Datenbanken. Allerdings erfordert die Analyse neue Methoden in der Wahrscheinlichkeitsrechnung und präzisere Instrumente. Die probabilistische Programmierung lernt von den Methoden der Programmiersprachen, um sie bei der Gestaltung und Verwendung einer speziellen Programmiersprache für statistische Modelle anzuwenden. In der bayesschen Statistik wird diese Art der Programmierung hauptsächlich für einen komplexen, nichtparametrischen Probenbereich verwendet, in dem das statistische Modell präzise, jedoch getrennt von Inferenzalgorithmen, deren Umfang meist begrenzt ist, erklärt werden kann. Das EU-finanzierte Projekt BLaSt will mit seiner Forschung die Entwicklung einer semantischen Basis für neue probabilistische Programmiersprachen ermöglichen – insbesondere für eine Programmiersprache, welche die nichtparametrischen Aspekte der sich abzeichnenden Symmetrien genau erklärt.
Ziel
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.
Wissenschaftliches Gebiet
Not validated
Not validated
Schlüsselbegriffe
Programm/Programme
Thema/Themen
Finanzierungsplan
ERC-COG - Consolidator GrantGastgebende Einrichtung
OX1 2JD Oxford
Vereinigtes Königreich