Bayesian Logic Programming

#1

Post by jlturner » Thu, Dec 17, 2015, 5:35 AM UTC

Bayesian Logic Programming
bayesianlogic.github.io

Re: Bayesian Logic Programming

#2

Post by nl » Fri, Dec 18, 2015, 1:27 AM UTC

They really called their language "blog"? I have to think that wasn't the best name ever..

Re: Bayesian Logic Programming

#3

Post by ced » Fri, Dec 18, 2015, 1:35 AM UTC

It's by Stuart Russell's group at Berkeley (he coauthored the AI bible with Peter Norvig). Their tutorial: http://bayesianlogic.github.io/download/BLOG-tutorial-2014.p... Page 58 has some good sample code. Semantics are on page 70.

Every well-formed BLOG model specifies a unique proper probability distribution over all possible worlds definable given its vocabulary •No infinite receding ancestor chains; •no conditioned cycles; •all expressions finitely evaluable; •Functions of countable sets

They instantiate some parts of the network and do inference with MCMC. I wonder how it compares to the Markov Logic approach from the University of Washington.

Re: Bayesian Logic Programming

#4

Post by argonaut » Fri, Dec 18, 2015, 1:48 AM UTC

Doesn't seem to be under active development. https://github.com/BayesianLogic/blog

Re: Bayesian Logic Programming

#5

Post by emmanueloga_ » Fri, Dec 18, 2015, 2:13 AM UTC

More resources related to this subject:

http://probabilistic-programming.org

There's probably some alternative, actively developed projects that have the same objective as BLOG listed on that page.

Re: Bayesian Logic Programming

#6

Post by chmullig » Fri, Dec 18, 2015, 2:28 AM UTC

Interesting. They talk about plain old Metropolis Hastings, which is pretty questionable.

Anyone excited about this, I highly recommend checking out Stan; it's under active development, actually works with real problems, and is used in the real world. With NUTS and HMC they've really made good on their promises, and quite soon they'll have meaningful ADVI support. See this former discussion: https://news.ycombinator.com/item?id=10244771

Re: Bayesian Logic Programming

#7

Post by nickpsecurity » Fri, Dec 18, 2015, 2:35 AM UTC

"We've coded up the application that will run your business. It has a 80% chance of working correctly roughly 20% of the time with a 95% confidence interval."

Re: Bayesian Logic Programming

#8

Post by [deleted] » Fri, Dec 18, 2015, 3:54 AM UTC

nickpsecurity wrote: post #7

"We've coded up the application that will run your business. It has a 80% chance of working correctly roughly 20% of the time with a 95% confidence interval."

[deleted]

Re: Bayesian Logic Programming

#9

Post by slyrus » Fri, Dec 18, 2015, 5:11 AM UTC

Nice ungooglable project name

Re: Bayesian Logic Programming

#10

Post by probinso » Fri, Dec 18, 2015, 6:58 AM UTC

also check out FIGARO and Hakaru.