User loginNavigation 
Workshop on Probabilistic Programming in DecemberThe machine learning community has started to realize the importance of expressive languages for specifying probabilistic models and also executing those models (i.e., performing "inference" by computing conditional distributions). A number of "probabilistic programming languages" have been proposed by machine learning/AI researches recentlyPfeffer's IBAL, and Goodman, Mansinghka, my, and Tenenbaum's CHURCH, and Winn's CSOFT. Outside of the ML community, I know of a few languages, including Park, Pfenning, and Thrun's PTP, and Erwig and Kollmansberger's PFP/Haskell. In general, the work by ML researchers places more emphasis on the conditional execution of probabilistic programs (e.g., asking about the value of some variable given that the entire program takes on a particular value). Of possible interest to the PL community are a number of interesting relationships between ideas in probability theory and programming languages (when used to specify socalled generative models). One of these is that purity/referentialtransparency relaxes in the probabilistic setting to exchangeability (a property of a probability distribution being invariant to reordering). Other interesting theoretical connections relate to relaxed notions of halting (e.g., halting with probability one) and their effects on statistical inference (this is particularly relevant for socalled nonparametric distributions; e.g., see a recent workshop abstract of mine). Along with my colleagues (Vikash Mansinghka (MIT), John Winn (MSR Cambridge), David McAllester (TTIChicago) and Joshua Tenenbaum (MIT)), we are organizing a workshop at the NIPS*2008 conference. While I've been reading LtU for some time, I've joined now to announce this workshop to the PL community because we definitely need the PL communities help in solving some open problems. Probabilistic inference algorithms are very complicated beasts and writing universal inference algorithms that take as specifications "probabilistic programs" seems, at first blush, to implicate program analysis, compilation, partial evaluation and a host of other ideas from programming languages. If these questions pique your interest, visit the workshop website: http://probabilisticprogramming.org and also drop me an email (droy at mit edu). I hope to see some of you in Whistler this December. By Daniel Roy at 20080928 15:05  LtU Forum  previous forum topic  next forum topic  other blogs  4694 reads

Browse archivesActive forum topicsNew forum topics

Recent comments
1 hour 35 min ago
7 hours 45 min ago
8 hours 29 min ago
10 hours 11 min ago
11 hours 13 min ago
12 hours 52 min ago
13 hours 4 min ago
14 hours 1 min ago
20 hours 13 min ago
20 hours 13 min ago