| 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.
|