SimpleSamplingMlnReasoner

java.lang.Object

org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

org.tweetyproject.logics.mln.reasoner.SimpleSamplingMlnReasoner

All Implemented Interfaces:: QuantitativeReasoner<MarkovLogicNetwork,FolFormula>, Reasoner<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

Modifier and Type

Method

Description

boolean

isInstalled()

Methods inherited from class org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner
query, query

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- 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
Method Details
- isInstalled
  
  public boolean isInstalled()
  
  Returns:
  
  if reasoner is installed