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(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 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
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 Constructor Description IteratingMlnReasoner(AbstractMlnReasoner reasoner, long numberOfIterations)
Creates a new IteratingMlnReasoner for the given MLN reaasoner.
-