Package net.sf.tweety.logics.mln.reasoner

Class SimpleSamplingMlnReasoner

java.lang.Object

net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner

net.sf.tweety.logics.mln.reasoner.SimpleSamplingMlnReasoner

All Implemented Interfaces:

net.sf.tweety.commons.QuantitativeReasoner<MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Reasoner<Double,MarkovLogicNetwork,net.sf.tweety.logics.fol.syntax.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
protected double	doQuery(MarkovLogicNetwork mln, net.sf.tweety.logics.fol.syntax.FolFormula query, net.sf.tweety.logics.fol.syntax.FolSignature signature)	Performs the actual querying.

Methods inherited from class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner

computeWeight, numberOfGroundSatisfactions, query, query

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

Method Detail

doQuery

protected double doQuery(MarkovLogicNetwork mln,
                         net.sf.tweety.logics.fol.syntax.FolFormula query,
                         net.sf.tweety.logics.fol.syntax.FolSignature signature)

Description copied from class: AbstractMlnReasoner

Performs the actual querying.

Specified by:

doQuery in class AbstractMlnReasoner

Parameters:

mln - an MLN

query - a fol formula guaranteed to be ground.

signature - the signature

Returns:

the answer of the query.