Class FolReasoner
- java.lang.Object
-
- net.sf.tweety.logics.fol.reasoner.FolReasoner
-
- All Implemented Interfaces:
QualitativeReasoner<FolBeliefSet,FolFormula>
,Reasoner<java.lang.Boolean,FolBeliefSet,FolFormula>
- Direct Known Subclasses:
EFOLReasoner
,Prover9FolReasoner
,SimpleFolReasoner
,SpassFolReasoner
public abstract class FolReasoner extends java.lang.Object implements QualitativeReasoner<FolBeliefSet,FolFormula>
Abstract FOL Prover to be implemented by concrete solvers- Author:
- Bastian Wolf, Nils Geilen, Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description static FolReasoner
defaultReasoner
Empty default reasoner
-
Constructor Summary
Constructors Constructor Description FolReasoner()
-
Method Summary
Modifier and Type Method Description abstract boolean
equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
This method determines whether two formulas are equivalent wrt.static FolReasoner
getDefaultReasoner()
Returns the default theorem proverabstract java.lang.Boolean
query(FolBeliefSet beliefbase, FolFormula formula)
Queries the given belief base for the given formula.static void
setDefaultReasoner(FolReasoner reasoner)
Set default reasoner with given
-
-
-
Field Detail
-
defaultReasoner
public static FolReasoner defaultReasoner
Empty default reasoner
-
-
Method Detail
-
setDefaultReasoner
public static void setDefaultReasoner(FolReasoner reasoner)
Set default reasoner with given- Parameters:
reasoner
- a FolReasoner
-
getDefaultReasoner
public static FolReasoner getDefaultReasoner()
Returns the default theorem prover- Returns:
- the default theorem prover
-
equivalent
public abstract boolean equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
This method determines whether two formulas are equivalent wrt. to the given knowledge base.- Parameters:
kb
- the knowledge basea
- the first formula.b
- the second formula.- Returns:
- the answer to the query.
-
query
public abstract java.lang.Boolean query(FolBeliefSet beliefbase, FolFormula formula)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<FolBeliefSet,FolFormula>
- Specified by:
query
in interfaceReasoner<java.lang.Boolean,FolBeliefSet,FolFormula>
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
-