public class SimpleSamplingMlnReasoner extends AbstractMlnReasoner
Modifier and Type | Field and Description |
---|---|
private int |
numOfPositiveTests |
private double |
precision
The computation is aborted when the given precision is reached for at least
numOfPositive number of consecutive tests.
|
Constructor and Description |
---|
SimpleSamplingMlnReasoner(double precision,
int numOfPositiveTests)
Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.
|
Modifier and Type | Method and Description |
---|---|
protected double |
doQuery(MarkovLogicNetwork mln,
FolFormula query,
FolSignature signature)
Performs the actual querying.
|
computeWeight, numberOfGroundSatisfactions, query, query
private double precision
private int numOfPositiveTests
public SimpleSamplingMlnReasoner(double precision, int numOfPositiveTests)
beliefBase
- a Markov logic network.signature
- another signature (if the probability distribution should be defined
on that one (that one should subsume the signature of the Markov logic network)precision
- the precisionnumOfPositiveTests
- the number of positive consecutive tests on precisionprotected double doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
AbstractMlnReasoner
doQuery
in class AbstractMlnReasoner
mln
- an MLNquery
- a fol formula guaranteed to be ground.