Uses of Class
org.tweetyproject.logics.fol.syntax.FolBeliefSet

Packages that use FolBeliefSet

Package	Description
org.tweetyproject.logics.fol.parser
org.tweetyproject.logics.fol.reasoner
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.fol.writer
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.rpcl.semantics

Uses of FolBeliefSet in org.tweetyproject.logics.fol.parser

Subclasses with type arguments of type FolBeliefSet in org.tweetyproject.logics.fol.parser

Modifier and Type	Class	Description
class	FolParser	This class implements a parser for first-order logic.
class	TPTPParser	This class implements a parser for the TPTP syntax that parses single fol formulas and knowledge bases (TPTP problem files or axiom files).

Methods in org.tweetyproject.logics.fol.parser that return FolBeliefSet

Modifier and Type	Method	Description
FolBeliefSet	FolParser.parseBeliefBase(Reader reader)
FolBeliefSet	TPTPParser.parseBeliefBase(Reader reader)

Uses of FolBeliefSet in org.tweetyproject.logics.fol.reasoner

Classes in org.tweetyproject.logics.fol.reasoner that implement interfaces with type arguments of type FolBeliefSet

Modifier and Type	Class	Description
class	FolReasoner	Abstract FOL Prover to be implemented by concrete solvers.

Methods in org.tweetyproject.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)
Boolean	EFOLReasoner.query(FolBeliefSet kb, FolFormula query)
abstract Boolean	FolReasoner.query(FolBeliefSet beliefbase, FolFormula formula)
Boolean	Prover9FolReasoner.query(FolBeliefSet kb, FolFormula query)
Boolean	SimpleFolReasoner.query(FolBeliefSet kb, FolFormula formula)
Boolean	SpassFolReasoner.query(FolBeliefSet kb, FolFormula query)
String	SpassFolReasoner.queryProof(FolBeliefSet kb, Formula query)	Determines the answer wrt.

Uses of FolBeliefSet in org.tweetyproject.logics.fol.semantics

Subclasses with type arguments of type FolBeliefSet in org.tweetyproject.logics.fol.semantics

Modifier and Type	Class	Description
class	HerbrandInterpretation	A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.

Methods in org.tweetyproject.logics.fol.semantics with parameters of type FolBeliefSet

Modifier and Type	Method	Description
boolean	HerbrandInterpretation.satisfies(FolBeliefSet beliefBase)

Uses of FolBeliefSet in org.tweetyproject.logics.fol.writer

Methods in org.tweetyproject.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	StandardFolWriter.printBase(FolBeliefSet b)
void	TPTPWriter.printBase(FolBeliefSet b)
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 org.tweetyproject.logics.ml.semantics

Subclasses with type arguments of type FolBeliefSet in org.tweetyproject.logics.ml.semantics

Modifier and Type	Class	Description
class	MlHerbrandInterpretation	Modified version of HerbrandInterpretation that allows for modal formulas.

Methods in org.tweetyproject.logics.ml.semantics that return types with arguments of type FolBeliefSet

Modifier and Type	Method	Description
Set<Interpretation<FolBeliefSet,FolFormula>>	AccessibilityRelation.getNodes()	Returns all interpretations of the accessibility relation.
Set<Interpretation<FolBeliefSet,FolFormula>>	AccessibilityRelation.getSuccessors(Interpretation<FolBeliefSet,FolFormula> i)	Returns all interpretations that are accessible to a given interpretation i.

Methods in org.tweetyproject.logics.ml.semantics with parameters of type FolBeliefSet

Modifier and Type	Method	Description
boolean	MlHerbrandInterpretation.satisfies(FolBeliefSet beliefBase)

Method parameters in org.tweetyproject.logics.ml.semantics with type arguments of type FolBeliefSet

Modifier and Type	Method	Description
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, Set<Interpretation<FolBeliefSet,FolFormula>> successors)	Checks whether this Herbrand interpretation satisfies the given formula.

Constructor parameters in org.tweetyproject.logics.ml.semantics with type arguments of type FolBeliefSet

Modifier	Constructor	Description
	AccessibilityRelation(Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)	Constructs a new accessibility relation.
	AccessibilityRelation(Set<Pair<Interpretation<FolBeliefSet,FolFormula>,Interpretation<FolBeliefSet,FolFormula>>> tuples)	Constructs a new accessibility relation.
	KripkeModel(Set<? extends Interpretation<FolBeliefSet,FolFormula>> possibleWorlds, AccessibilityRelation accRelation)	Creates a new Kripke model.

Uses of FolBeliefSet in org.tweetyproject.logics.rdl.syntax

Methods in org.tweetyproject.logics.rdl.syntax that return FolBeliefSet

Modifier and Type	Method	Description
FolBeliefSet	DefaultTheory.getFacts()	Return FoL formulas in default theories

Constructors in org.tweetyproject.logics.rdl.syntax with parameters of type FolBeliefSet

Modifier	Constructor	Description
	DefaultTheory(FolBeliefSet facts, Collection<DefaultRule> defaults)	constructs a default theory from a knowledge base and a set of defaults

Uses of FolBeliefSet in org.tweetyproject.logics.rpcl.semantics

Classes in org.tweetyproject.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.

Subclasses with type arguments of type FolBeliefSet in org.tweetyproject.logics.rpcl.semantics

Modifier and Type	Class	Description
class	ReferenceWorld	Instances of this class represent reference worlds, i.e.

Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type FolBeliefSet

Modifier and Type	Method	Description
boolean	ReferenceWorld.satisfies(FolBeliefSet beliefBase)

Method parameters in org.tweetyproject.logics.rpcl.semantics with type arguments of type FolBeliefSet

Modifier and Type	Method	Description
abstract Statement	AbstractRpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	AggregatingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	AveragingSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)
Statement	RpclSemantics.getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)	Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.