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.
Dziedzina nauki
Słowa kluczowe
Program(-y)
Temat(-y)
System finansowania
ERC-COG - Consolidator GrantInstytucja przyjmująca
OX1 2JD Oxford
Zjednoczone Królestwo