Package org.tweetyproject.logics.mln.reasoner
package org.tweetyproject.logics.mln.reasoner

ClassDescriptionThis 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 class implements a simple reasoner for MLNs.This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.