Class AbstractMlnReasoner
- java.lang.Object
-
- net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
-
- All Implemented Interfaces:
QuantitativeReasoner<MarkovLogicNetwork,FolFormula>
,Reasoner<java.lang.Double,MarkovLogicNetwork,FolFormula>
- Direct Known Subclasses:
AlchemyMlnReasoner
,ApproximateNaiveMlnReasoner
,IteratingMlnReasoner
,SimpleMlnReasoner
,SimpleSamplingMlnReasoner
public abstract class AbstractMlnReasoner extends java.lang.Object implements QuantitativeReasoner<MarkovLogicNetwork,FolFormula>
This class provides common methods for MLN reasoner.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractMlnReasoner()
-
Method Summary
Modifier and Type Method Description java.lang.Double
query(MarkovLogicNetwork mln, FolFormula query)
Queries the given belief base for the given formula.java.lang.Double
query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
Queries the given MLN wrt.
-
-
-
Method Detail
-
query
public java.lang.Double query(MarkovLogicNetwork mln, FolFormula query)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceReasoner<java.lang.Double,MarkovLogicNetwork,FolFormula>
- Parameters:
mln
- a belief basequery
- a formula- Returns:
- the answer to the query
-
query
public java.lang.Double query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
Queries the given MLN wrt. the given signature- Parameters:
mln
- some mlnquery
- some querysignature
- some signature- Returns:
- the answer to the query
-
-