3 ms·
I've totally seen a LISP dialect with probabilistic execution and Bayesian updating built in - it was one of the lecturers at SPARC 2012 - but damned if I can r
by Eliezer 13y ago
I've totally seen a LISP dialect with probabilistic execution and Bayesian updating built in - it was one of the lecturers at SPARC 2012 - but damned if I can remember the name of the speaker or the LISP dialect. Roughly, using this dialect, you could build a program that would randomly branch at various points, then keep only the cases of the program that matched some property, and ask what the probabilities were for some other property over those cases. I think the keyword was rejection-query but the first page of Google doesn't turn up the desired result for that.
- rawatson 13y agoChurch? I'm not very familiar with the language but I believe it sounds similar to what you're describing. http://projects.csail.mit.edu/church/wiki/Church http://projects.csail.mit.edu/church/wiki/Church
- gmodena 13y agoPossibly church? http://projects.csail.mit.edu/church/wiki/Church http://projects.csail.mit.edu/church/wiki/Church
- JadeNB 13y agoIt's not a Lisp, but there aren't many probabilistic programming languages, so you may be interested in IBAL (http://www.gelberpfeffer.net/Papers/ibal-ch.pdf http://www.gelberpfeffer.net/Papers/ibal-ch.pdf).