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