Package org.tweetyproject.logics.mln.reasoner

package org.tweetyproject.logics.mln.reasoner
  • Classes
    This class provides common methods for MLN reasoner.
    This class implements a wrapper for Alchemy in order to reason with MLNs.
    This reasoner performs approximate reasoning with MLNs by considering only a subset of all Herbrand interpretations.
    This MLN reasoner takes another MLN reasoner and performs several iterations with this one and takes the average result as result.
    This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.