Markov Logic Networks with Statistical Quantifiers

07/03/2018
by   Víctor Gutiérrez-Basulto, et al.
Universität Bremen
KU Leuven
Cardiff University
0

Markov Logic Networks (MLNs) are well-suited for expressing statistics such as "with high probability a smoker knows another smoker" but not for expressing statements such as "there is a smoker who knows most other smokers", which is necessary for modeling, e.g. influencers in social networks. To overcome this shortcoming, we investigate quantified MLNs which generalize MLNs by introducing statistical universal quantifiers, allowing to express also the latter type of statistics in a principled way. Our main technical contribution is to show that the standard reasoning tasks in quantified MLNs, maximum a posteriori and marginal inference, can be reduced to their respective MLN counterparts in polynomial time.

READ FULL TEXT

page 1

page 2

page 3

page 4

07/03/2018

Quantified Markov Logic Networks

Markov Logic Networks (MLNs) are well-suited for expressing statistics s...
03/07/2019

Lifted Weight Learning of Markov Logic Networks Revisited

We study lifted weight learning of Markov logic networks. We show that t...
11/29/2022

Parameterisation of Reasoning on Temporal Markov Logic Networks

We aim at improving reasoning on inconsistent and uncertain data. We foc...
01/15/2020

Domain-Liftability of Relational Marginal Polytopes

We study computational aspects of relational marginal polytopes which ar...
06/03/2015

Encoding Markov Logic Networks in Possibilistic Logic

Markov logic uses weighted formulas to compactly encode a probability di...
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...
07/03/2018

Domain Aware Markov Logic Networks

Combining logic and probability has been a long standing goal of AI. Mar...

Please sign up or login with your details

Forgot password? Click here to reset