Feature Overview

Markov Logic Networks in Python

• Inference (posterior marginal probabilties of formulas)

  • MC-SAT

  • Gibbs Sampling

  • Enumeration-Ask (exact)

• Probabilistic Inference with Uncertain Evidence (Soft Evidential Update)

  • MC-SAT-PC

  • IPFP-M (iterative proportional fitting)

• Inference (most probable explanation)

  • MaxWalkSAT (approximate)

  • WCSP (exact)

• Learning

  • maximum pseudo-likelihood

  • maximum likelihood

• Knowledge Representation

  • Fuzzy-MLN reasoning

  • Cardinality restrictions (count constraints)

  • Constraints on (prior) marginal probabilities of formulas

  • Constraints on posterior probabilities of ground atoms and formulas (soft evidence)

• Evaluation

  • Tools for automated k-fold crossvalidation

  • Computation of confusion matrices with Latex export