Material Detail

On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference

On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference

This video was recorded at 25th Annual Conference on Neural Information Processing Systems (NIPS), Granada 2011. Probabilistic logics are receiving a lot of attention today because of their expressive power for knowledge representation and learning. However, this expressivity is detrimental to the tractability of inference, when done at the propositional level. To solve this problem, various lifted inference algorithms have been proposed that reason at the first-order level, about groups of objects as a whole. Despite the existence of various lifted inference approaches, there are currently no completeness results about these algorithms. The key contribution of this paper is that we introduce a formal definition of lifted inference that allows us to reason about the completeness of lifted inference algorithms relative to a particular class of probabilistic models. We then show how to obtain a completeness result using a first-order knowledge compilation approach for theories of formulae containing up to two logical variables.

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Browse...

Disciplines with similar materials as On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.