Class SimpleFolReasoner
java.lang.Object
org.tweetyproject.logics.fol.reasoner.FolReasoner
org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner
- All Implemented Interfaces:
QualitativeReasoner<FolBeliefSet,
,FolFormula> Reasoner<Boolean,
FolBeliefSet, FolFormula>
Uses a naive brute force search procedure for theorem proving.
- Author:
- Matthias Thimm
-
Field Summary
Fields inherited from class org.tweetyproject.logics.fol.reasoner.FolReasoner
defaultReasoner
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
equivalent
(FolBeliefSet kb, FolFormula f1, FolFormula f2) This method determines whether two formulas are equivalent wrt.boolean
query
(FolBeliefSet kb, FolFormula formula) Queries the given belief base for the given formula.Methods inherited from class org.tweetyproject.logics.fol.reasoner.FolReasoner
getDefaultReasoner, setDefaultReasoner
-
Constructor Details
-
SimpleFolReasoner
public SimpleFolReasoner()
-
-
Method Details
-
query
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<Boolean,
FolBeliefSet, FolFormula> - Specified by:
query
in classFolReasoner
- Parameters:
kb
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
equivalent
Description copied from class:FolReasoner
This method determines whether two formulas are equivalent wrt. to the given knowledge base.- Specified by:
equivalent
in classFolReasoner
- Parameters:
kb
- the knowledge basef1
- the first formula.f2
- the second formula.- Returns:
- the answer to the query.
-
isInstalled
public boolean isInstalled()- Returns:
- if the solver is installed
-