Descrizione del progetto
Per linguaggi di programmazione probabilistica nuovi e più semplici
Gli scienziati moderni possono contare sull’accessibilità a vari database, ma l’analisi richiede nuovi metodi nel ragionamento probabilistico e strumenti più precisi. La programmazione probabilistica apprende dai metodi dei linguaggi di programmazione per applicarli nella progettazione e nell’uso di un linguaggio di programmazione specifico per i modelli statistici. Viene utilizzata nella modellizzazione della statistica Bayesiana, principalmente per uno spazio di campionamento complesso e non parametrico, in cui il modello statistico può essere spiegato in modo preciso, ma distintamente dagli algoritmi di inferenza alquanto limitati nella portata. Il progetto BLaSt, finanziato dall’UE, punta a una ricerca che consentirà di creare una base semantica per nuovi linguaggi di programmazione probabilistica e specificatamente per un linguaggio di programmazione che spieghi esattamente gli aspetti non parametrici nelle simmetrie che emergono.
Obiettivo
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.
Campo scientifico
Not validated
Not validated
Parole chiave
Programma(i)
Argomento(i)
Meccanismo di finanziamento
ERC-COG - Consolidator GrantIstituzione ospitante
OX1 2JD Oxford
Regno Unito