PSI Solver: Exact Inference for Probabilistic Programs

by leephillips • 9 years ago

58 9 9 years ago

lbeziaud2• 9 years ago

Nice paper! This could be a great tool to help debugging differential privacy [0] of an algorithm. Certainly much simpler than CertiPriv [1].

[0] https://www.cis.upenn.edu/~aaroth/Papers/privacybook.pdf [1] http://certicrypt.gforge.inria.fr/certipriv/

leephillips• 9 years ago

I found out about this through a comment on my website, that includes a simple example of how to use it:

https://lee-phillips.org/chicks/#comments

marmaduke2• 9 years ago

Can anyone explain how this contrasts to Stan or other PP?

lbeziaud2• 9 years ago

I think Stan uses sampling-based Monte Carlo, whereas PSI is based on static program analysis.

marmaduke2• 9 years ago

I'm a Stan user and I guess I'm interested to know if this would solve similar problems.

pcarbonn• 9 years ago

See also problog : https://dtai.cs.kuleuven.be/problog/

ProbLog2 is our second generation engine to reason with the ProbLog language. The current engine builds on logic programming, knowledge compilation, the distribution semantics and probabilistic, graphical models. It allows you to:

- Compute marginal probabilities of any number of ground atoms in the presence of evidence.

- Learn the parameters of the ProbLog program from partial interpretations.

-Sample from a ProbLog program.

-Solve decision theoretic problems

antman• 9 years ago

Looks very intuitive, and nice tutorial.

tgehr• 9 years ago

Nice project. Does ProbLog2 support continuous probability distributions?

YeGoblynQueenne• 9 years ago

Problog rocks!

There's one thing I've always wanted to ask though - the first verison of Problog was implemented in Prolog and distributed as a library for YAP. How come Problog2 is implemented in Python? It's a probabilistic Prolog so I'd have thought Prolog would be the natural choice for it? Especially so coming from Ku-Leuven!

PSI Solver: Exact Inference for Probabilistic Programs

Related Stories