Uses of Class
net.sf.tweety.logics.fol.syntax.FolBeliefSet
-
-
-
Uses of FolBeliefSet in net.sf.tweety.logics.fol.parser
Methods in net.sf.tweety.logics.fol.parser that return FolBeliefSet Modifier and Type Method Description FolBeliefSet
FolParser. parseBeliefBase(java.io.Reader reader)
FolBeliefSet
TPTPParser. parseBeliefBase(java.io.Reader reader)
private FolBeliefSet
TPTPParser. parseIncludedFiles(java.lang.String s)
Parses formulas of an included TPTP problem file. -
Uses of FolBeliefSet in net.sf.tweety.logics.fol.reasoner
Methods in net.sf.tweety.logics.fol.reasoner with parameters of type FolBeliefSet Modifier and Type Method 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
Prover9FolReasoner. equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean
SimpleFolReasoner. equivalent(FolBeliefSet kb, FolFormula f1, FolFormula f2)
boolean
SpassFolReasoner. 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
Prover9FolReasoner. query(FolBeliefSet kb, FolFormula query)
java.lang.Boolean
SimpleFolReasoner. query(FolBeliefSet kb, FolFormula formula)
java.lang.Boolean
SpassFolReasoner. query(FolBeliefSet kb, FolFormula query)
java.lang.String
SpassFolReasoner. queryProof(FolBeliefSet kb, Formula query)
Determines the answer wrt. -
Uses of FolBeliefSet in net.sf.tweety.logics.fol.semantics
Methods in net.sf.tweety.logics.fol.semantics with parameters of type FolBeliefSet Modifier and Type Method Description boolean
HerbrandInterpretation. satisfies(FolBeliefSet beliefBase)
-
Uses of FolBeliefSet in net.sf.tweety.logics.fol.writer
Methods in net.sf.tweety.logics.fol.writer with parameters of type FolBeliefSet Modifier and Type Method Description void
FolWriter. printBase(FolBeliefSet b)
Prints formatted representation of a knowledge base.void
Prover9Writer. printBase(FolBeliefSet b)
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. -
Uses of FolBeliefSet in net.sf.tweety.logics.ml.semantics
Fields in net.sf.tweety.logics.ml.semantics with type parameters of type FolBeliefSet Modifier and Type Field 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 relationprivate java.util.Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>>
AccessibilityRelation. tuples
The actual relationMethods in net.sf.tweety.logics.ml.semantics that return types with arguments of type FolBeliefSet Modifier and Type Method 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.Methods in net.sf.tweety.logics.ml.semantics with parameters of type FolBeliefSet Modifier and Type Method Description boolean
MlHerbrandInterpretation. satisfies(FolBeliefSet beliefBase)
Method parameters in net.sf.tweety.logics.ml.semantics with type arguments of type FolBeliefSet Modifier and Type Method 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
MlHerbrandInterpretation. satisfies(Formula formula, java.util.Set<Interpretation<FolBeliefSet,FolFormula>> successors)
Checks whether this Herbrand interpretation satisfies the given formula.Constructor parameters in net.sf.tweety.logics.ml.semantics with type arguments of type FolBeliefSet Constructor 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. -
Uses of FolBeliefSet in net.sf.tweety.logics.rdl.semantics
Fields in net.sf.tweety.logics.rdl.semantics declared as FolBeliefSet Modifier and Type Field Description private FolBeliefSet
DefaultSequence. in
the in set -
Uses of FolBeliefSet in net.sf.tweety.logics.rdl.syntax
Fields in net.sf.tweety.logics.rdl.syntax declared as FolBeliefSet Modifier and Type Field Description private FolBeliefSet
DefaultTheory. facts
The set of facts (first-order formulas).Methods in net.sf.tweety.logics.rdl.syntax that return FolBeliefSet Modifier and Type Method Description FolBeliefSet
DefaultTheory. getFacts()
Constructors in net.sf.tweety.logics.rdl.syntax with parameters of type FolBeliefSet Constructor Description DefaultTheory(FolBeliefSet facts, java.util.Collection<DefaultRule> defaults)
constructs a default theory from a knowledge base and a set of defaults -
Uses of FolBeliefSet in net.sf.tweety.logics.rpcl.semantics
Classes in net.sf.tweety.logics.rpcl.semantics with type parameters of type FolBeliefSet Modifier and Type Class 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.Methods in net.sf.tweety.logics.rpcl.semantics with parameters of type FolBeliefSet Modifier and Type Method Description boolean
ReferenceWorld. satisfies(FolBeliefSet beliefBase)
Method parameters in net.sf.tweety.logics.rpcl.semantics with type arguments of type FolBeliefSet Modifier and Type Method Description abstract Statement
AbstractRpclSemantics. getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement
AggregatingSemantics. getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement
AveragingSemantics. getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement
RpclSemantics. getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.protected Term
AbstractRpclSemantics. probabilityTerm(FolFormula f, java.util.Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Constructs the term expressing the probability of the given formula "f" wrt.
-