Markov Logic Networks with Statistical Quantifiers

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

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.


page 1

page 2

page 3

page 4


Quantified Markov Logic Networks

Markov Logic Networks (MLNs) are well-suited for expressing statistics s...

Lifted Weight Learning of Markov Logic Networks Revisited

We study lifted weight learning of Markov logic networks. We show that t...

Parameterisation of Reasoning on Temporal Markov Logic Networks

We aim at improving reasoning on inconsistent and uncertain data. We foc...

Domain-Liftability of Relational Marginal Polytopes

We study computational aspects of relational marginal polytopes which ar...

Encoding Markov Logic Networks in Possibilistic Logic

Markov logic uses weighted formulas to compactly encode a probability di...

Improving the Accuracy and Efficiency of MAP Inference for Markov Logic

In this work we present Cutting Plane Inference (CPI), a Maximum A Poste...

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