paper-with-me

Papers

Quantified Markov Logic Networks

2018-07-03 · Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka

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.

📄 PDF Abstract BibTeX arXiv:1807.01183

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Relational Linear Programs

2014-10-12 · Kristian Kersting, Martin Mladenov, Pavel Tokmakov

We propose relational linear programming, a simple framework for combing linear programs (LPs) and logic programs. A relational linear program (RLP) is a declarative LP template defining the objective and the constraints…

On Exact Sampling in the Two-Variable Fragment of First-Order Logic

2023-02-06 · Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondřej Kuželka

In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite domain? We extend their result for the …

Sentence

Exponential convergence rate for Iterative Markovian Fitting

2025-08-04 · Kirill Sokolov, Alexander Korotin arxiv

We consider the discrete-time Schrödinger bridge problem on a finite state space. Although it has been known that the Iterative Markovian Fitting (IMF) algorithm converges in Kullback-Leibler divergence to the ground tru…

Planning with Incomplete Information in Quantified Answer Set Programming

2021-08-13 · Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub 외

We present a general approach to planning with incomplete information in Answer Set Programming (ASP). More precisely, we consider the problems of conformant and conditional planning with sensing actions and assumptions.…

Translation

Equilibrium Graphs

2016-09-07 · Pedro Cabalar, Carlos Pérez, Gilberto Pérez

In this paper we present an extension of Peirce's existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives are replac…