7 ms·

What is probabilistic programming?

95 points by tianyicui 12y ago

abhinandan123 12y ago
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/ http://techgurulab.com/course/java-tutorials/
platz 12y ago
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
- jamii 12y ago
  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.pdf http://www.is.informatik.uni-duisburg.de/bib/pdf/ir/Fuhr_99a...).
  - scottdw 12y ago
    Also Church [http://projects.csail.mit.edu/church/wiki/Church http://projects.csail.mit.edu/church/wiki/Church], a Scheme derivative with probabilistic semantics.
- coolsunglasses 12y ago
  >run forwards and backwards Half-serious: http://hackage.haskell.org/package/tardis-0.3.0.0/docs/Control-Monad-Tardis.html http://hackage.haskell.org/package/tardis-0.3.0.0/docs/Contr... >probabilistic programming https://hackage.haskell.org/package/probability https://hackage.haskell.org/package/probability There are a number of articles about writing your own probability monad in Haskell. It's not hard.
  - dbaupp 12y ago
    > 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.
  - eli_gottlieb 12y ago
    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.
- jules 12y ago
  Yes, logic programming and probabilistic programming are closely related. See http://okmij.org/ftp/kakuritu/logic-programming.html http://okmij.org/ftp/kakuritu/logic-programming.html
sudowhodoido 12y ago
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...
CmonDev 12y ago
In a way any Python program is probabilistic.

95 points by tianyicui 12y ago

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/ http://techgurulab.com/course/java-tutorials/

platz 12y ago

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

jamii 12y ago
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.pdf http://www.is.informatik.uni-duisburg.de/bib/pdf/ir/Fuhr_99a...).
- scottdw 12y ago
  Also Church [http://projects.csail.mit.edu/church/wiki/Church http://projects.csail.mit.edu/church/wiki/Church], a Scheme derivative with probabilistic semantics.
coolsunglasses 12y ago
>run forwards and backwards Half-serious: http://hackage.haskell.org/package/tardis-0.3.0.0/docs/Control-Monad-Tardis.html http://hackage.haskell.org/package/tardis-0.3.0.0/docs/Contr... >probabilistic programming https://hackage.haskell.org/package/probability https://hackage.haskell.org/package/probability There are a number of articles about writing your own probability monad in Haskell. It's not hard.
- dbaupp 12y ago
  > 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.
- eli_gottlieb 12y ago
  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.
jules 12y ago
Yes, logic programming and probabilistic programming are closely related. See http://okmij.org/ftp/kakuritu/logic-programming.html http://okmij.org/ftp/kakuritu/logic-programming.html

sudowhodoido 12y ago

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...

CmonDev 12y ago

In a way any Python program is probabilistic.