Package org.tweetyproject.logics.mln.reasoner

Class AbstractMlnReasoner

java.lang.Object

org.tweetyproject.logics.mln.reasoner.AbstractMlnReasoner

All Implemented Interfaces:

QuantitativeReasoner<MarkovLogicNetwork,FolFormula>, Reasoner<Double,MarkovLogicNetwork,FolFormula>

Direct Known Subclasses:

AlchemyMlnReasoner, ApproximateNaiveMlnReasoner, IteratingMlnReasoner, SimpleMlnReasoner, SimpleSamplingMlnReasoner

public abstract class AbstractMlnReasoner
extends Object
implements QuantitativeReasoner<MarkovLogicNetwork,FolFormula>

This class provides common methods for MLN reasoner.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractMlnReasoner()	Default

Method Summary

Modifier and Type	Method	Description
Double	query(MarkovLogicNetwork mln, FolFormula query)	Queries the given belief base for the given formula.
Double	query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)	Queries the given MLN wrt.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.tweetyproject.commons.QuantitativeReasoner

isInstalled

Constructor Details

AbstractMlnReasoner

public AbstractMlnReasoner()

Default

Method Details

query

public Double query(MarkovLogicNetwork mln,
 FolFormula query)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface Reasoner<Double,MarkovLogicNetwork,FolFormula>

Parameters:

mln - a belief base

query - a formula

Returns:

the answer to the query

query

public Double query(MarkovLogicNetwork mln,
 FolFormula query,
 FolSignature signature)

Queries the given MLN wrt. the given signature

Parameters:

mln - some mln

query - some query

signature - some signature

Returns:

the answer to the query