public class NaiveFolReasoner extends FolReasoner
defaultReasoner
Constructor and Description |
---|
NaiveFolReasoner() |
Modifier and Type | Method and Description |
---|---|
boolean |
equivalent(FolBeliefSet kb,
FolFormula f1,
FolFormula f2)
This method determines whether two formulas are
equivalent wrt.
|
java.lang.Boolean |
query(FolBeliefSet kb,
FolFormula formula)
Queries the given belief base for the given formula.
|
getDefaultReasoner, setDefaultReasoner
public java.lang.Boolean query(FolBeliefSet kb, FolFormula formula)
Reasoner
query
in interface QualitativeReasoner<FolBeliefSet,FolFormula>
query
in interface Reasoner<java.lang.Boolean,FolBeliefSet,FolFormula>
query
in class FolReasoner
kb
- a belief baseformula
- a formulapublic boolean equivalent(FolBeliefSet kb, FolFormula f1, FolFormula f2)
FolReasoner
equivalent
in class FolReasoner
kb
- the knowledge basef1
- the first formula.f2
- the second formula.