Markov-Logik-Netze wenden probabilistische graphische Modelle auf die Prädikatenlogik erster Stufe an und ermöglichen so probabilistische Inferenz. Sie wurden 2006 von Matthew Richardson und Pedro Domingos vorgestellt.[1] In einem Markov-Logik-Netz werden Schlussfolgerungen durch die Anwendung des MCMC-Verfahrens gemacht.