DeepAI AI Chat
Log In Sign Up

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

by   Rodrigo de Salvo Braz, et al.

Probabilistic Inference Modulo Theories (PIMT) is a recent framework that expands exact inference on graphical models to use richer languages that include arithmetic, equalities, and inequalities on both integers and real numbers. In this paper, we expand PIMT to a lifted version that also processes random functions and relations. This enhancement is achieved by adapting Inversion, a method from Lifted First-Order Probabilistic Inference literature, to also be modulo theories. This results in the first algorithm for exact probabilistic inference that efficiently and simultaneously exploits random relations and functions, arithmetic, equalities and inequalities.


page 1

page 2

page 3

page 4


New Liftable Classes for First-Order Probabilistic Inference

Statistical relational models provide compact encodings of probabilistic...

flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs

Probabilistic programming is emerging as a popular and effective means o...

Lifted Graphical Models: A Survey

This article presents a survey of work on lifted graphical models. We re...

Lifted Variable Elimination: Decoupling the Operators from the Constraint Language

Lifted probabilistic inference algorithms exploit regularities in the st...

Constraint Processing in Lifted Probabilistic Inference

First-order probabilistic models combine representational power of first...

Learning Tractable Probabilistic Models in Open Worlds

Large-scale probabilistic representations, including statistical knowled...

Asymptotic elimination of partially continuous aggregation functions in directed graphical models

In Statistical Relational Artificial Intelligence, a branch of AI and ma...