Skip to main content
European Commission logo
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

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

Opis projektu

W kierunku nowych, łatwiejszych probabilistycznych języków programowania

Naukowcy korzystają z dostępu do różnych baz danych, jednak do analizy zawartych w nich informacji potrzebne są nowe metody z zakresu logiki prawdopodobieństwa oraz bardziej precyzyjne narzędzia. Programowanie probabilistyczne czerpie z metod języków programowania, aby zastosować je w projektowaniu i używaniu specjalnego języka programowania dla modeli statystycznych. Jest ono stosowane w modelowaniu na potrzeby statystyki bayesowskiej, głównie do złożonej, nieparametrycznej przestrzeni próbkowania, w której model statystyczny może zostać wyjaśniony w sposób precyzyjny, ale oddzielnie od algorytmów wnioskowania, które są ograniczone głównie pod względem zakresu. Celem finansowanego przez Unię Europejską projektu BLaSt jest przeprowadzenie badania, które umożliwi stworzenie bazy semantycznej dla nowych probabilistycznych języków programowania oraz w szczególności dla języka programowania precyzyjnie wyjaśniającego nieparametryczne aspekty pojawiających się symetrii.

Cel

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.

System finansowania

ERC-COG - Consolidator Grant

Instytucja przyjmująca

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Wkład UE netto
€ 1 931 178,00
Adres
WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD Oxford
Zjednoczone Królestwo

Zobacz na mapie

Region
South East (England) Berkshire, Buckinghamshire and Oxfordshire Oxfordshire
Rodzaj działalności
Higher or Secondary Education Establishments
Linki
Koszt całkowity
€ 1 931 178,00

Beneficjenci (1)