Package | Description |
---|---|
net.sf.tweety.logics.ml |
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.
|