Markov Logic Networks with Statistical Quantifiers

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

research
07/03/2018

Quantified Markov Logic Networks

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

Lifted Weight Learning of Markov Logic Networks Revisited

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

Parameterisation of Reasoning on Temporal Markov Logic Networks

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

Domain-Liftability of Relational Marginal Polytopes

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

Encoding Markov Logic Networks in Possibilistic Logic

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