Class AbstractMlReasoner
java.lang.Object
org.tweetyproject.logics.ml.reasoner.AbstractMlReasoner
- All Implemented Interfaces:
QualitativeReasoner<MlBeliefSet,
,FolFormula> Reasoner<Boolean,
MlBeliefSet, FolFormula>
- Direct Known Subclasses:
MleanCoPReasoner
,SimpleMlReasoner
,SPASSMlReasoner
public abstract class AbstractMlReasoner
extends Object
implements QualitativeReasoner<MlBeliefSet,FolFormula>
Abstract modal reasoner to be implemented by concrete reasoners.
- Author:
- Bastian Wolf, Nils Geilen, Anna Gessler, Matthias Thimm
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionstatic AbstractMlReasoner
Returns the default reasoner for modal logicabstract Boolean
query
(MlBeliefSet beliefbase, FolFormula formula) Queries the given belief base for the given formula.static void
setDefaultReasoner
(AbstractMlReasoner reasoner) Set default modal reasoner with givenMethods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface org.tweetyproject.commons.QualitativeReasoner
isInstalled
-
Field Details
-
defaultReasoner
Empty default prover
-
-
Constructor Details
-
AbstractMlReasoner
public AbstractMlReasoner()
-
-
Method Details
-
setDefaultReasoner
Set default modal reasoner with given- Parameters:
reasoner
- an ML Reasoner
-
getDefaultReasoner
Returns the default reasoner for modal logic- Returns:
- the default modal reasoner
-
query
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<MlBeliefSet,
FolFormula> - Specified by:
query
in interfaceReasoner<Boolean,
MlBeliefSet, FolFormula> - Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-