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 and Description
double	AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, net.sf.tweety.logics.fol.syntax.FolSignature signature)
abstract double	AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, net.sf.tweety.logics.fol.syntax.FolSignature signature) Measures the coherence of the given MLN using the given reasoner.
double	CompatibilityMeasure.compatibility(List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, List<net.sf.tweety.logics.fol.syntax.FolSignature> signatures) Measures the compatibility of the given MLNs wrt.
double	DefaultCompatibilityMeasure.compatibility(List<MarkovLogicNetwork> mlns, AbstractMlnReasoner reasoner, List<net.sf.tweety.logics.fol.syntax.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 and 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 and Description
IteratingMlnReasoner(AbstractMlnReasoner reasoner, long numberOfIterations) Creates a new IteratingMlnReasoner for the given MLN reaasoner.