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 (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véase: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véase: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
- ciencias naturalesinformática y ciencias de la informaciónsoftware
- ciencias naturalesmatemáticasmatemáticas aplicadasestadística y probabilidad
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Palabras clave
Programa(s)
Convocatoria de propuestas
(se abrirá en una nueva ventana) ERC-2019-COG
Consulte otros proyectos de esta convocatoriaRégimen de financiación
ERC-COG -Institución de acogida
OX1 2JD Oxford
Reino Unido