Markov Logic Networks

This is a method that combines first-order logic and probabilistic graphical models in a single representation. A Markov Logic Network (or MLN) is a probabilistic logic which applies the ideas of a Markov network to first-order logic, enabling uncertain inference. Markov logic networks generalize first-order logic, in the sense that, in a certain limit, all unsatisfiable statements have a probability of zero, and all tautologies have probability one.