SimpleSamplingMlnReasoner

java.lang.Object
- net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
- - net.sf.tweety.logics.mln.reasoner.SimpleSamplingMlnReasoner

All Implemented Interfaces:

QuantitativeReasoner<MarkovLogicNetwork,FolFormula>, Reasoner<java.lang.Double,MarkovLogicNetwork,FolFormula>
```
public class SimpleSamplingMlnReasoner
extends AbstractMlnReasoner
```
This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`SimpleSamplingMlnReasoner(double precision, int numOfPositiveTests)`	Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.

Method Summary
- Methods inherited from class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
  query, query
- Methods inherited from class java.lang.Object
  equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - SimpleSamplingMlnReasoner
```
public SimpleSamplingMlnReasoner(double precision,
                                 int numOfPositiveTests)
```
    Creates a new SimpleSamplingMlnReasoner for the given Markov logic network.
    
    Parameters:
    
    precision - the precision
    
    numOfPositiveTests - the number of positive consecutive tests on precision