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  3885 reads

Browse archivesActive forum topics 
Recent comments
12 min 41 sec ago
41 min 25 sec ago
48 min 37 sec ago
1 hour 18 min ago
1 hour 25 min ago
1 hour 55 min ago
1 hour 56 min ago
1 hour 57 min ago
2 hours 13 min ago
2 hours 41 min ago