A Delayed Column Generation Strategy for Exact k-Bounded MAP Inference in Markov Logic Networks

03/15/2012
by   Mathias Niepert, et al.
0

The paper introduces k-bounded MAP inference, a parameterization of MAP inference in Markov logic networks. k-Bounded MAP states are MAP states with at most k active ground atoms of hidden (non-evidence) predicates. We present a novel delayed column generation algorithm and provide empirical evidence that the algorithm efficiently computes k-bounded MAP states for meaningful real-world graph matching problems. The underlying idea is that, instead of solving one large optimization problem, it is often more efficient to tackle several small ones.

READ FULL TEXT
research
06/03/2015

Encoding Markov Logic Networks in Possibilistic Logic

Markov logic uses weighted formulas to compactly encode a probability di...
research
07/22/2010

New Results for the MAP Problem in Bayesian Networks

This paper presents new results for the (partial) maximum a posteriori (...
research
06/13/2012

Improving the Accuracy and Efficiency of MAP Inference for Markov Logic

In this work we present Cutting Plane Inference (CPI), a Maximum A Poste...
research
11/03/2014

Active Inference for Binary Symmetric Hidden Markov Models

We consider active maximum a posteriori (MAP) inference problem for Hidd...
research
08/04/2020

MAP Inference for Probabilistic Logic Programming

In Probabilistic Logic Programming (PLP) the most commonly studied infer...
research
10/09/2020

Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes

We investigate learning collections of languages from texts by an induct...
research
04/16/2013

RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models

RockIt is a maximum a-posteriori (MAP) query engine for statistical rela...

Please sign up or login with your details

Forgot password? Click here to reset