A Concise Function Representation for Faster Exact MPE and Constrained Optimisation in Graphical Models

08/09/2021
by   Filippo Bistaffa, et al.
0

We propose a novel concise function representation for graphical models, a central theoretical framework that provides the basis for many reasoning tasks. We then show how we exploit our concise representation based on deterministic finite state automata within Bucket Elimination (BE), a general approach based on the concept of variable elimination that accommodates many inference and optimisation tasks such as most probable explanation and constrained optimisation. We denote our version of BE as FABE. By using our concise representation within FABE, we dramatically improve the performance of BE in terms of runtime and memory requirements. Results on standard benchmarks obtained using an established experimental methodology show that FABE often outperforms the best available approach (RBFAOO), leading to significant runtime improvements (up to 2 orders of magnitude in our tests).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/19/2012

On Triangulating Dynamic Graphical Models

This paper introduces new methodology to triangulate dynamic Bayesian ne...
research
08/17/2015

Variable Elimination in the Fourier Domain

The ability to represent complex high dimensional probability distributi...
research
06/01/2023

Bounds on BDD-Based Bucket Elimination

We study BDD-based bucket elimination, an approach to satisfiability tes...
research
06/29/2015

Exact and approximate inference in graphical models: variable elimination and beyond

Probabilistic graphical models offer a powerful framework to account for...
research
03/15/2012

BEEM : Bucket Elimination with External Memory

A major limitation of exact inference algorithms for probabilistic graph...
research
02/04/2014

Lifted Variable Elimination: Decoupling the Operators from the Constraint Language

Lifted probabilistic inference algorithms exploit regularities in the st...
research
02/15/2019

On resampling vs. adjusting probabilistic graphical models in estimation of distribution algorithms

The Bayesian Optimisation Algorithm (BOA) is an Estimation of Distributi...

Please sign up or login with your details

Forgot password? Click here to reset