Descripción del proyecto
Unos nuevos lenguajes de programación probabilística más sencillos
Los científicos de hoy en día disfrutan del acceso a distintas bases de datos. Sin embargo, el análisis de los datos requiere nuevos métodos de razonamiento probabilístico y herramientas más precisas. La programación probabilística aprende de métodos de lenguajes de programación para aplicarlos en el diseño y el uso de un lenguaje de programación especial para modelos estadísticos. Se utiliza en modelización estadística bayesiana, principalmente para un espacio complejo de muestras no paramétricas, en el que el modelo estadístico puede explicarse de forma precisa, pero independientemente de los algoritmos de inferencia que están limitados en gran medida en cuanto a alcance. El proyecto BLaSt, financiado con fondos europeos, se propone realizar una investigación que permitirá crear una base semántica para nuevos lenguajes de programación probabilística y, especialmente, un lenguaje de programación que explique con precisión los aspectos no paramétricos de las simetrías que emerjan.
Objetivo
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.
Ámbito científico
Palabras clave
Programa(s)
Régimen de financiación
ERC-COG - Consolidator GrantInstitución de acogida
OX1 2JD Oxford
Reino Unido