Università di Pisa
Sistema bibliotecario di ateneo

Extending a probabilistic language based upon Sampling Functions to model correlation

Bartoloni, Leonardo and Canciani, Andrea and Cisternino, Antonio and Morelli, Davide (2013) Extending a probabilistic language based upon Sampling Functions to model correlation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Other (Gzip)
Available under License Creative Commons Attribution No Derivatives.

Download (252Kb)


    Probability is permeating many applications of computer science, ranging from probabilistic reasoning to stochastic simulations. Therefore, researchers have started working on domain specific languages to target probabilistic computations, in order to support better understanding and development of probabilistic models. Among the proposed approaches sampling functions is one of the most promising: distributions are described as functional mappings from the unit interval (0,1] to probability domains which allows expressing a very broad class of distributions. The key advantage of this approach lies in its ability of lifting operations on values into operations on related distributions. The current state of the art frameworks, however, lack the ability to properly express variable correlation in a clean and composable way, which is a major issue of many real-world problems. In this paper we present LiXely, a probabilistic DSL which extends the sampling functions approach by providing explicit means for expressing variable correlation in a composable way and its implementation in F#.

    Item Type: Book
    Uncontrolled Keywords: probabilistic language, correlation, sampling functions, f#
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (from 2013) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 22 Oct 2014 16:11
    Last Modified: 22 Oct 2014 16:57
    URI: http://eprints.adm.unipi.it/id/eprint/2309

    Repository staff only actions

    View Item