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
-
Method Summary
Modifier and TypeMethodDescriptionquery(MarkovLogicNetwork mln, FolFormula query)
Queries the given belief base for the given formula.query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
Queries the given MLN wrt.
-
Constructor Details
-
AbstractMlnReasoner
public AbstractMlnReasoner()
-
-
Method Details
-
query
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceReasoner<Double,MarkovLogicNetwork,FolFormula>
- Parameters:
mln
- a belief basequery
- a formula- Returns:
- the answer to the query
-
query
Queries the given MLN wrt. the given signature- Parameters:
mln
- some mlnquery
- some querysignature
- some signature- Returns:
- the answer to the query
-