Uses of Class
net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner

Packages that use AbstractMlnReasoner

Package	Description
net.sf.tweety.logics.mln.analysis
net.sf.tweety.logics.mln.reasoner

Uses of AbstractMlnReasoner in net.sf.tweety.logics.mln.analysis

Methods in net.sf.tweety.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(java.util.List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, java.util.List<FolSignature> signatures)	Measures the compatibility of the given MLNs wrt.
double	DefaultCompatibilityMeasure.compatibility(java.util.List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, java.util.List<FolSignature> signatures)

Uses of AbstractMlnReasoner in net.sf.tweety.logics.mln.reasoner

Subclasses of AbstractMlnReasoner in net.sf.tweety.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
class	SimpleSamplingMlnReasoner	This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.

Constructors in net.sf.tweety.logics.mln.reasoner with parameters of type AbstractMlnReasoner

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