{"id":"arxiv/2606.23715","url":"https://arxiv.org/abs/2606.23715","tags":["math.LO","cs.AI"],"score":0,"title":"Random coloured digraphs defined by a Markov logic network","domain":"math.LO","source":"arxiv","authors":["Yasmin Tousinejad","Vera Koponen"],"reviews":0,"subject":"math.LO","summary":"A Markov Logic Network (MLN) is a probabilistic relational model used in Statistical Relational Artificial Intelligence for defining a probability distribution on the set of possible worlds with domain $D$ for an arbitrary finite domain $D$. An MLN consists of soft constraints with associated weights which are nonnegative real numbers. In this study we consider a language speaking about a property $P(x)$ and a relation $R(x, y)$. We consider an MLN for which every Boolean combination of $P(x)$ and $R(x, y)$ is a soft constraint (with associated weight). Let $n$ denote the size (cardinality)…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-16","reactions":{}}