Constraint Processing in Lifted Probabilistic Inference

05/09/2012
by   Jacek Kisynski, et al.
0

First-order probabilistic models combine representational power of first-order logic with graphical models. There is an ongoing effort to design lifted inference algorithms for first-order probabilistic models. We analyze lifted inference from the perspective of constraint processing and, through this viewpoint, we analyze and compare existing approaches and expose their advantages and limitations. Our theoretical results show that the wrong choice of constraint processing method can lead to exponential increase in computational complexity. Our empirical tests confirm the importance of constraint processing in lifted inference. This is the first theoretical and empirical study of constraint processing in lifted inference.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/04/2014

Lifted Variable Elimination: Decoupling the Operators from the Constraint Language

Lifted probabilistic inference algorithms exploit regularities in the st...
research
10/26/2016

New Liftable Classes for First-Order Probabilistic Inference

Statistical relational models provide compact encodings of probabilistic...
research
02/25/2022

Incremental Inference on Higher-Order Probabilistic Graphical Models Applied to Constraint Satisfaction Problems

Probabilistic graphical models (PGMs) are tools for solving complex prob...
research
09/04/2017

Exact Inference for Relational Graphical Models with Interpreted Functions: Lifted Probabilistic Inference Modulo Theories

Probabilistic Inference Modulo Theories (PIMT) is a recent framework tha...
research
09/30/2021

Strengthening Probabilistic Graphical Models: The Purge-and-merge Algorithm

Probabilistic graphical models (PGMs) are powerful tools for solving sys...
research
06/02/2020

Generating Random Logic Programs Using Constraint Programming

Testing algorithms across a wide range of problem instances is crucial t...
research
05/18/2023

Solving probability puzzles with logic toolkit

The proposed approach is to formalise the probabilistic puzzle in equati...

Please sign up or login with your details

Forgot password? Click here to reset