What is probabilistic programming?

#1

Post by tianyicui » Sun, Oct 05, 2014, 2:41 PM UTC

What is probabilistic programming?
pl-enthusiast.net

Re: What is probabilistic programming?

#2

Post by abhinandan123 » Sun, Oct 05, 2014, 3:47 PM UTC

Techguru lab is one of the best platforms for students, developer and new learner to learn from basic java programming courses to advanced java programming courses at your home. Our java courses are top level and updated our courses respective to current version of java.you may follow our quiz test at http://techgurulab.com/course/java-tutorials/

Re: What is probabilistic programming?

#3

Post by platz » Sun, Oct 05, 2014, 4:42 PM UTC

Just a wild guess, but I wonder if there could be a nice connection between probabilistic programming and logic languages like prolog, if only due to the fact that both Bayes graphs and unification both have this "run forwards and backwards" characteristic that is so unlike imperative programming

Re: What is probabilistic programming?

#4

Post by jamii » Sun, Oct 05, 2014, 4:50 PM UTC

platz wrote: post #3

Just a wild guess, but I wonder if there could be a nice connection between probabilistic programming and logic languages like prolog, if only due to the fact that both Bayes graphs and unification both have this "run forwards and backwards" characteristic that is so unlike imperative programming

There have been various attempts to build logic languages that deal with uncertain information (eg http://www.is.informatik.uni-duisburg.de/bib/pdf/ir/Fuhr_99a...).

Re: What is probabilistic programming?

#5

Post by sudowhodoido » Sun, Oct 05, 2014, 5:10 PM UTC

OT of course, but I think that's what our outsourcers did: keep adding monkeys then the probability of completing a programming task slowly converges on 1...

Re: What is probabilistic programming?

#6

Post by scottdw » Sun, Oct 05, 2014, 5:38 PM UTC

jamii wrote: post #4

platz wrote: post #3

Just a wild guess, but I wonder if there could be a nice connection between probabilistic programming and logic languages like prolog, if only due to the fact that both Bayes graphs and unification both have this "run forwards and backwards" characteristic that is so unlike imperative programming

There have been various attempts to build logic languages that deal with uncertain information (eg http://www.is.informatik.uni-duisburg.de/bib/pdf/ir/Fuhr_99a... ).

Also Church [http://projects.csail.mit.edu/church/wiki/Church], a Scheme derivative with probabilistic semantics.

Re: What is probabilistic programming?

#7

Post by coolsunglasses » Sun, Oct 05, 2014, 6:35 PM UTC

platz wrote: post #3

Just a wild guess, but I wonder if there could be a nice connection between probabilistic programming and logic languages like prolog, if only due to the fact that both Bayes graphs and unification both have this "run forwards and backwards" characteristic that is so unlike imperative programming

>run forwards and backwards

Half-serious: http://hackage.haskell.org/package/tardis-0.3.0.0/docs/Contr...

>probabilistic programming

https://hackage.haskell.org/package/probability

There are a number of articles about writing your own probability monad in Haskell. It's not hard.

Re: What is probabilistic programming?

#8

Post by jules » Sun, Oct 05, 2014, 10:06 PM UTC

platz wrote: post #3

Just a wild guess, but I wonder if there could be a nice connection between probabilistic programming and logic languages like prolog, if only due to the fact that both Bayes graphs and unification both have this "run forwards and backwards" characteristic that is so unlike imperative programming

Yes, logic programming and probabilistic programming are closely related. See http://okmij.org/ftp/kakuritu/logic-programming.html

Re: What is probabilistic programming?

#9

Post by dbaupp » Mon, Oct 06, 2014, 2:23 AM UTC

coolsunglasses wrote: post #7

platz wrote: post #3

Just a wild guess, but I wonder if there could be a nice connection between probabilistic programming and logic languages like prolog, if only due to the fact that both Bayes graphs and unification both have this "run forwards and backwards" characteristic that is so unlike imperative programming

>run forwards and backwards Half-serious: http://hackage.haskell.org/package/tardis-0.3.0.0/docs/Contr... >probabilistic programming https://hackage.haskell.org/package/probability There are a number of articles about writing your own probability monad in Haskell. It's not hard.

> There are a number of articles about writing your own probability monad in Haskell. It's not hard.

Could you provide some links? In a quick search I can only find one article, and that's just about using that package, writing one.

Re: What is probabilistic programming?

#10

Post by eli_gottlieb » Mon, Oct 06, 2014, 7:01 AM UTC

coolsunglasses wrote: post #7

platz wrote: post #3

Just a wild guess, but I wonder if there could be a nice connection between probabilistic programming and logic languages like prolog, if only due to the fact that both Bayes graphs and unification both have this "run forwards and backwards" characteristic that is so unlike imperative programming

>run forwards and backwards Half-serious: http://hackage.haskell.org/package/tardis-0.3.0.0/docs/Contr... >probabilistic programming https://hackage.haskell.org/package/probability There are a number of articles about writing your own probability monad in Haskell. It's not hard.

The Probability monad allows for computing exact probabilities, as stated, but that more-or-less misses the point of newer probabilistic programming approaches: avoid the exponential blow-up in complexity of inference due to marginalization by generalizing from evaluation to sampling rather than from evaluation to probability assignment.