e/Markov logic network

Information
has gloss	eng: A Markov logic network (or MLN) is a probabilistic logic which applies the ideas of a Markov network to first-order logic. Markov logic networks generalize first-order logic, in the sense that, in a certain limit, all unsatisfiable statements have a probability of zero, and the set of all entailed formulas have probability one.
lexicalization	eng: Markov logic network
instance of	e/Bayesian inference