Package org.tweetyproject.logics.mln.reasoner

Class Summary

Class	Description
AbstractMlnReasoner	This class provides common methods for MLN reasoner.
AlchemyMlnReasoner	This class implements a wrapper for Alchemy in order to reason with MLNs.
ApproximateNaiveMlnReasoner	This reasoner performs approximate reasoning with MLNs by considering only a subset of all Herbrand interpretations.
IteratingMlnReasoner	This MLN reasoner takes another MLN reasoner and performs several iterations with this one and takes the average result as result.
SimpleMlnReasoner
SimpleSamplingMlnReasoner	This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.