Skip to main content
European Commission logo print header

Better Languages for Statistics: foundations for non-parametric probabilistic programming

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.

Gastgebende Einrichtung

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Netto-EU-Beitrag
€ 1 931 178,00
Adresse
WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD Oxford
Vereinigtes Königreich

Auf der Karte ansehen

Region
South East (England) Berkshire, Buckinghamshire and Oxfordshire Oxfordshire
Aktivitätstyp
Higher or Secondary Education Establishments
Links
Gesamtkosten
€ 1 931 178,00

Begünstigte (1)