Class | Description |
---|---|
AbstractMlnReasoner |
This class provides common methods for MLN reasoner.
|
AlchemyMlnReasoner |
This class implements a wrapper for Alchemy in order to
reason with MLNs.
|
ApproximateNaiveMlnReasoner |
This reasoner performs approximate reasoning with MLNs by considering
only a subset of all Herbrand interpretations.
|
IteratingMlnReasoner |
This MLN reasoner takes another MLN reasoner and performs several iterations
with this one and takes the average result as result.
|
MarkovLogicNetwork |
Instances of this class represent Markov Logic Networks [Domingos et.
|
NaiveMlnReasoner | |
SimpleSamplingMlnReasoner |
This MLN reasoner employs simple random sampling from
the set of interpretations to compute the probability of a formula.
|