Modifier and Type | Method and Description |
---|---|
FolBeliefSet |
TPTPParser.parseBeliefBase(java.io.Reader reader) |
FolBeliefSet |
FolParser.parseBeliefBase(java.io.Reader reader) |
private FolBeliefSet |
TPTPParser.parseIncludedFiles(java.lang.String s)
Parses formulas of an included TPTP problem file.
|
Modifier and Type | Method and Description |
---|---|
boolean |
EFOLReasoner.equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
abstract boolean |
FolReasoner.equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b)
This method determines whether two formulas are
equivalent wrt.
|
boolean |
NaiveFolReasoner.equivalent(FolBeliefSet kb,
FolFormula f1,
FolFormula f2) |
boolean |
SpassFolReasoner.equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
boolean |
Prover9FolReasoner.equivalent(FolBeliefSet kb,
FolFormula a,
FolFormula b) |
java.lang.Boolean |
EFOLReasoner.query(FolBeliefSet kb,
FolFormula query) |
abstract java.lang.Boolean |
FolReasoner.query(FolBeliefSet beliefbase,
FolFormula formula) |
java.lang.Boolean |
NaiveFolReasoner.query(FolBeliefSet kb,
FolFormula formula) |
java.lang.Boolean |
SpassFolReasoner.query(FolBeliefSet kb,
FolFormula query) |
java.lang.Boolean |
Prover9FolReasoner.query(FolBeliefSet kb,
FolFormula query) |
java.lang.String |
SpassFolReasoner.queryProof(FolBeliefSet kb,
Formula query)
Determines the answer wrt.
|
Modifier and Type | Method and Description |
---|---|
boolean |
HerbrandInterpretation.satisfies(FolBeliefSet beliefBase) |
Modifier and Type | Method and Description |
---|---|
void |
Prover9Writer.printBase(FolBeliefSet b) |
void |
FolWriter.printBase(FolBeliefSet b)
Prints formatted representation of a knowledge base.
|
void |
TPTPWriter.printBase(FolBeliefSet b) |
private java.lang.String |
SPASSWriter.printFormulas(FolBeliefSet kb,
RelationalFormula formula)
Prints the axioms declaration and conjectures declaration for a SPASS input file.
|
void |
SPASSWriter.printProblem(FolBeliefSet kb,
RelationalFormula formula)
Prints the contents of a SPASS problem file for a given knowledge base and a formula.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> |
KripkeModel.possibleWorlds
The possible worlds of this model.
|
private java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> |
AccessibilityRelation.tuples
The actual relation
|
private java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> |
AccessibilityRelation.tuples
The actual relation
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Interpretation<FolBeliefSet,FolFormula>> |
AccessibilityRelation.getNodes()
Returns all interpretations of the accessibility relation.
|
java.util.Set<Interpretation<FolBeliefSet,FolFormula>> |
AccessibilityRelation.getSuccessors(Interpretation<FolBeliefSet,FolFormula> i)
Returns all interpretations that are accessible to a given interpretation i.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ModalHerbrandInterpretation.satisfies(FolBeliefSet beliefBase) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Interpretation<FolBeliefSet,FolFormula>> |
AccessibilityRelation.getSuccessors(Interpretation<FolBeliefSet,FolFormula> i)
Returns all interpretations that are accessible to a given interpretation i.
|
boolean |
ModalHerbrandInterpretation.satisfies(Formula formula,
java.util.Set<Interpretation<FolBeliefSet,FolFormula>> successors)
Checks whether this Herbrand interpretation satisfies
the given formula.
|
Constructor and Description |
---|
AccessibilityRelation(java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)
Constructs a new accessibility relation.
|
AccessibilityRelation(java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)
Constructs a new accessibility relation.
|
KripkeModel(java.util.Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds,
AccessibilityRelation accRelation)
Creates a new Kripke model.
|
Modifier and Type | Field and Description |
---|---|
private FolBeliefSet |
DefaultSequence.in
the in set
|
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 | Class and Description |
---|---|
class |
RpclProbabilityDistribution<T extends Interpretation<FolBeliefSet,FolFormula>>
Objects of this class represent probability distributions on the interpretations
of an underlying first-order signature for a relational probabilistic conditional knowledge base.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ReferenceWorld.satisfies(FolBeliefSet beliefBase) |