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.