What are the Odds? Probabilistic programming in Scala

Probabilistic programming is a powerful high-level paradigm for probabilistic modeling and inference. We present Odds, a small domain-specific language (DSL) for probabilistic programming, embedded in Scala. Odds provides first-class support for random variables and probabilistic choice, while reusing Scala's abstraction and modularity facilities for composing probabilistic computations and for executing deterministic program parts. Odds accurately represents possibly dependent random variables using a probability monad that models committed choice. This monadic representation of probabilistic models can be combined with a range of inference procedures. We present engines for exact inference, rejection sampling and importance sampling with look-ahead, but other types of solvers are conceivable as well. We evaluate Odds on several non-trivial probabilistic programs from the literature and we demonstrate how the basic probabilistic primitives can be used to build higher-level abstractions, such as rule-based logic programming facilities, using advanced Scala features.


Publié dans:
Proceedings of the 4th Workshop on Scala, 11, 11:1--11:9
Présenté à:
SCALA '13, 4th Workshop on Scala, Montpellier, France, July 2, 2013
Année
2013
Publisher:
New York, NY, USA, ACM
ISBN:
978-1-4503-2064-1
Mots-clefs:
Laboratoires:




 Notice créée le 2014-03-31, modifiée le 2019-03-16

Publisher's version:
Télécharger le document
PDF

Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)