public class NaiveProver extends FolTheoremProver
defaultProver
Constructor and Description |
---|
NaiveProver() |
Modifier and Type | Method and Description |
---|---|
boolean |
equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
boolean |
query(FolBeliefSet kb,
FolFormula query)
This method determines the answer of the given query
wrt.
|
getDefaultProver, setDefaultProver
public boolean query(FolBeliefSet kb, FolFormula query)
FolTheoremProver
query
in class FolTheoremProver
kb
- the knowledge basequery
- a query.public boolean equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
equivalent
in class FolTheoremProver