Package | Description |
---|---|
net.sf.tweety.logics.fol.parser | |
net.sf.tweety.logics.fol.prover | |
net.sf.tweety.logics.fol.writer | |
net.sf.tweety.logics.rdl | |
net.sf.tweety.logics.rdl.semantics |
Modifier and Type | Method and Description |
---|---|
FolBeliefSet |
FolParserB.KB() |
FolBeliefSet |
FolParser.parseBeliefBase(java.io.Reader reader) |
Modifier and Type | Method and Description |
---|---|
boolean |
Prover9.equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
boolean |
NaiveProver.equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
abstract boolean |
FolTheoremProver.equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
boolean |
EProver.equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
boolean |
Prover9.query(FolBeliefSet kb,
FolFormula query) |
boolean |
NaiveProver.query(FolBeliefSet kb,
FolFormula query) |
abstract boolean |
FolTheoremProver.query(FolBeliefSet kb,
FolFormula query)
This method determines the answer of the given query
wrt.
|
boolean |
EProver.query(FolBeliefSet kb,
FolFormula query) |
Modifier and Type | Method and Description |
---|---|
void |
TptpWriter.printBase(FolBeliefSet b) |
void |
Prover9Writer.printBase(FolBeliefSet b) |
void |
FolWriter.printBase(FolBeliefSet b)
Prints formatted representation of a knowledge base.
|
Modifier and Type | Field and Description |
---|---|
private FolBeliefSet |
DefaultTheory.facts
The set of facts (first-order formulas).
|
Modifier and Type | Method and Description |
---|---|
FolBeliefSet |
DefaultTheory.getFacts() |
Constructor and Description |
---|
DefaultTheory(FolBeliefSet facts,
java.util.Collection<DefaultRule> defaults)
constructs a default theory from a knowledge base and a set of defaults
|
Modifier and Type | Field and Description |
---|---|
private FolBeliefSet |
DefaultSequence.in
the in set
|