public class ClassicalInference extends Reasoner
Constructor and Description |
---|
ClassicalInference(BeliefBase beliefBase)
Creates a new classical inference operator for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
equivalent(FolFormula f1,
FolFormula f2)
Tests naively whether two fol formulas are equivalent
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
public ClassicalInference(BeliefBase beliefBase)
beliefBase
- public Answer query(Formula query)
Reasoner
public static boolean equivalent(FolFormula f1, FolFormula f2)
f1
- some formulaf2
- some formula