Uses of Class
org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

Packages that use AbstractMlnReasoner

Package	Description
org.tweetyproject.logics.mln.analysis
org.tweetyproject.logics.mln.reasoner

Uses of AbstractMlnReasoner in org.tweetyproject.logics.mln.analysis

Methods in org.tweetyproject.logics.mln.analysis with parameters of type AbstractMlnReasoner

Modifier and Type	Method	Description
abstract double	AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)	Measures the coherence of the given MLN using the given reasoner.
double	AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)
double	CompatibilityMeasure.compatibility(List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, List<FolSignature> signatures)	Measures the compatibility of the given MLNs wrt.
double	DefaultCompatibilityMeasure.compatibility(List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, List<FolSignature> signatures)

Uses of AbstractMlnReasoner in org.tweetyproject.logics.mln.reasoner

Subclasses of AbstractMlnReasoner in org.tweetyproject.logics.mln.reasoner

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

Constructors in org.tweetyproject.logics.mln.reasoner with parameters of type AbstractMlnReasoner

Modifier	Constructor	Description
	IteratingMlnReasoner(AbstractMlnReasoner reasoner, long numberOfIterations)	Creates a new IteratingMlnReasoner for the given MLN reaasoner.