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__ $$bACM$$c2013$$aNew York, NY, USA
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$$g152185$$aStucki, Sandro
000197943 700__ $$0246589$$g164625$$aAmin, Nada
000197943 700__ $$g170823$$aJonnalagedda, Manohar$$0246590
000197943 700__ $$aRompf, Tiark$$g185682$$0243345
000197943 7112_ $$dJuly 2, 2013$$cMontpellier, France$$aSCALA '13, 4th Workshop on Scala
000197943 773__ $$tProceedings of the 4th Workshop on Scala$$k11$$q11:1--11:9
000197943 8564_ $$uhttps://infoscience.epfl.ch/record/197943/files/a11-stucki.pdf$$zPublisher's version$$s315678$$yPublisher's version
000197943 909C0 $$xU10409$$0252187$$pLAMP
000197943 909CO $$ooai:infoscience.tind.io:197943$$qGLOBAL_SET$$pconf$$pIC
000197943 917Z8 $$x152185
000197943 937__ $$aEPFL-CONF-197943
000197943 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000197943 980__ $$aCONF