Conditional Independence in Functional Probabilistic Programming
Summary
Probabilistic programming languages are a relatively new field within computer science. As a result, not much research has been done on automatic improvements, such as static analyses and program transformations, that could increase the efficiency or usability of a probabilistic programming language. This is especially true for functional probabilistic programming languages, which are not widely used. We therefore set out to discover such improvements for probabilistic programming in a functional setting. Specifically, we look at methods to improve probabilistic programming that use information on the conditional dependencies between the variables of a probabilistic model.
In this thesis, we present a small but practical functional probabilistic programming language embedded in Haskell. We build a static analysis for this language that can automatically extract the conditional dependence information from a probabilistic model. Additionally, we implement a program transformation that uses the conditional dependence information that we have obtained to automatically perform complicated rewrites of probabilistic models, which previously had to be done by the user. Designing this language, the static analysis and the program transformation has given us many new insights on (functional) probabilistic programming language design, which will also be presented in the thesis.
Collections
Related items
Showing items related by title, author, creator and subject.
-
The evaluation of the Conductive Education program and the implementation of a Cognitive Stimulation program in a home for children with developmental disabilities in a rural area of South Africa.
Vos, R.V.; Westrhenen, N. van (2010)Samenvatting: Introduction: A Conductive Education (CE) program and a Cognitive Stimulation (CS) program were implemented in Sizanani Children’s Home, a residential facility in South Africa for children and young adults ... -
The evaluation of the Conductive Education program and the Cognitive Stimulation program in a home for children with developmental disabilities in a rural area of South Africa
Mathot, A.F.; Velzen, J.M. van (2010)Introduction: This research evaluated the effectiveness of two developmental programs given in the Sizanani Children’s Home for disabled children in Bronkhorstspruit, South Africa. The Conductive Education (CE) program ... -
Serving the Community; What are the individual and programmatic determinants for a corporate social responsibility program developed for high potentials in a talent management program?
Miert, I.C.J. van (2012)In the ongoing globalization, it becomes difficult to attract the talents that are suited for an organisation as Philips. Previous research shows that organisations need to innovate and listen to the needs of the High ...