Package | Description |
---|---|
net.sf.tweety.logics.mln.analysis | |
net.sf.tweety.logics.mln.reasoner |
Modifier and Type | Method and Description |
---|---|
double |
AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln,
AbstractMlnReasoner reasoner,
FolSignature signature) |
abstract double |
AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln,
AbstractMlnReasoner reasoner,
FolSignature signature)
Measures the coherence of the given MLN using the given reasoner.
|
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) |
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 |
NaiveMlnReasoner |
class |
SimpleSamplingMlnReasoner
This MLN reasoner employs simple random sampling from
the set of interpretations to compute the probability of a formula.
|
Modifier and Type | Field and Description |
---|---|
private AbstractMlnReasoner |
IteratingMlnReasoner.reasoner
The reasoner inside this reasoner.
|
Constructor and Description |
---|
IteratingMlnReasoner(AbstractMlnReasoner reasoner,
long numberOfIterations)
Creates a new IteratingMlnReasoner for the given MLN reaasoner.
|