000197943 001__ 197943
000197943 005__ 20190316235904.0
000197943 020__ $$a978-1-4503-2064-1
000197943 0247_ $$2doi$$a10.1145/2489837.2489848
000197943 037__ $$aCONF
000197943 245__ $$aWhat are the Odds? Probabilistic programming in Scala
000197943 269__ $$a2013
000197943 260__ $$aNew York, NY, USA$$bACM$$c2013
000197943 336__ $$aConference Papers
000197943 520__ $$aProbabilistic 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.
000197943 6531_ $$aEDSL
000197943 6531_ $$aLanguages
000197943 6531_ $$aProbabilistic inference
000197943 6531_ $$aProbabilistic programming
000197943 6531_ $$aProbability Monad
000197943 6531_ $$aScala
000197943 700__ $$0246677$$aStucki, Sandro$$g152185
000197943 700__ $$0246589$$aAmin, Nada$$g164625
000197943 700__ $$0246590$$aJonnalagedda, Manohar$$g170823
000197943 700__ $$0243345$$aRompf, Tiark$$g185682
000197943 7112_ $$aSCALA '13, 4th Workshop on Scala$$cMontpellier, France$$dJuly 2, 2013
000197943 773__ $$k11$$q11:1--11:9$$tProceedings of the 4th Workshop on Scala
000197943 8564_ $$s315678$$uhttps://infoscience.epfl.ch/record/197943/files/a11-stucki.pdf$$yPublisher's version$$zPublisher's version
000197943 909C0 $$0252187$$pLAMP$$xU10409
000197943 909CO $$ooai:infoscience.tind.io:197943$$pconf$$pIC$$qGLOBAL_SET
000197943 917Z8 $$x152185
000197943 937__ $$aEPFL-CONF-197943
000197943 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000197943 980__ $$aCONF