Quantified Markov Logic Networks
Abstract
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 study 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.
Keywords
Cite
@article{arxiv.1807.01183,
title = {Quantified Markov Logic Networks},
author = {Víctor Gutiérrez-Basulto and Jean Christoph Jung and Ondrej Kuzelka},
journal= {arXiv preprint arXiv:1807.01183},
year = {2018}
}
Comments
Paper accepted at the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). This work was also presented in the Eighth International Workshop on Statistical Relational AI (StarAI 2018) under the title "Markov Logic Networks with Statistical Quantifiers"