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

Packages that use FolSignature

Package	Description
org.tweetyproject.action.signature
org.tweetyproject.arg.delp.parser
org.tweetyproject.arg.delp.syntax
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.fol.parser
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.parser
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.ml.syntax
org.tweetyproject.logics.mln.analysis
org.tweetyproject.logics.mln.examples
org.tweetyproject.logics.mln.reasoner
org.tweetyproject.logics.mln.syntax
org.tweetyproject.logics.rcl.parser
org.tweetyproject.logics.rcl.reasoner
org.tweetyproject.logics.rcl.semantics
org.tweetyproject.logics.rcl.syntax
org.tweetyproject.logics.rdl.syntax
org.tweetyproject.logics.rpcl.parser
org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
org.tweetyproject.logics.rpcl.reasoner
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.rpcl.syntax
org.tweetyproject.lp.asp.syntax
org.tweetyproject.lp.nlp.syntax

Uses of FolSignature in org.tweetyproject.action.signature

Subclasses of FolSignature in org.tweetyproject.action.signature

Modifier and Type	Class	Description
class	ActionSignature	This class represents an action signature, which consists of a set of fluent names (representing environment states) and a set of action names (representing actions).

Uses of FolSignature in org.tweetyproject.arg.delp.parser

Methods in org.tweetyproject.arg.delp.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	DelpParser.getSignature()	Return the signature

Methods in org.tweetyproject.arg.delp.parser with parameters of type FolSignature

Modifier and Type	Method	Description
final FolAtom	DelpParser.Atom(DefeasibleLogicProgram delp, FolSignature signature)	Parses an atom (predicate with optional terms) from the input.
final void	DelpParser.Expression(DefeasibleLogicProgram delp, FolSignature signature)	Parses an expression in the defeasible logic program.
final FolFormula	DelpParser.Formula(FolSignature signature)	Parses a formula from the given signature.
final FolFormula	DelpParser.Literal(DefeasibleLogicProgram delp, FolSignature signature)	Parses a literal, which could be an atom or its negation.
final Term	DelpParser.Term(DefeasibleLogicProgram delp, FolSignature signature)	Parses a term (either a variable or a constant) from the input.
final DefeasibleLogicProgram	DelpParser.Theory(FolSignature signature)	Parses a defeasible logic program from a given signature.

Uses of FolSignature in org.tweetyproject.arg.delp.syntax

Methods in org.tweetyproject.arg.delp.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	DelpRule.getSignature()

Uses of FolSignature in org.tweetyproject.logics.dl.syntax

Methods in org.tweetyproject.logics.dl.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	DlSignature.getCorrespondingFolSignature()	Translates this DlSignature to a FolSignature, i.e.

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

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

Modifier and Type	Method	Description
FolSignature	FolParser.getSignature()	Returns the signature of this parser.
FolSignature	TPTPParser.getSignature()	Returns the signature of this parser.
FolSignature	FolParser.parseSignature(String s)	This function parses only the sorts declaration and type declaration parts of a belief base.

Methods in org.tweetyproject.logics.fol.parser with parameters of type FolSignature

Modifier and Type	Method	Description
void	FolParser.parseSortDeclaration(String s, FolSignature sig)	Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.
void	FolParser.parseTypeDeclaration(String s, FolSignature sig)	Parses a predicate declaration of the form "type" "(" PREDICATENAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" or a functor declaration of the form "type" "(" SORTNAME "=" FUNCTORNAME "(" (SORTNAME ("," SORTNAME)*)? ")" ")" and modifies the given signature accordingly.
void	FolParser.setSignature(FolSignature signature)	Sets the signature for this parser.
void	TPTPParser.setSignature(FolSignature signature)	Sets the signature for this parser.

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

Constructors in org.tweetyproject.logics.fol.semantics with parameters of type FolSignature

Modifier	Constructor	Description
	HerbrandBase(FolSignature sig)	Creates a new Herbrand base for the given signature.

Uses of FolSignature in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	FolSignature.clone()
FolSignature	FolBeliefSet.getMinimalSignature()
FolSignature	FolFormula.getSignature()

Uses of FolSignature in org.tweetyproject.logics.ml.parser

Methods in org.tweetyproject.logics.ml.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	MlParser.getSignature()	Returns the signature of this parser.

Methods in org.tweetyproject.logics.ml.parser with parameters of type FolSignature

Modifier and Type	Method	Description
void	MlParser.setSignature(FolSignature signature)	Sets the signature for this parser.

Uses of FolSignature in org.tweetyproject.logics.ml.semantics

Constructors in org.tweetyproject.logics.ml.semantics with parameters of type FolSignature

Modifier	Constructor	Description
	MlHerbrandBase(FolSignature sig)	Creates a new Herbrand base for the given signature.

Uses of FolSignature in org.tweetyproject.logics.ml.syntax

Methods in org.tweetyproject.logics.ml.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	MlFormula.getSignature()

Uses of FolSignature in org.tweetyproject.logics.mln.analysis

Methods in org.tweetyproject.logics.mln.analysis with parameters of type FolSignature

Modifier and Type	Method	Description
abstract double	AbstractCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)	Measures the coherence of the given MLN using the given reasoner.
double	AggregatingCoherenceMeasure.coherence(MarkovLogicNetwork mln, AbstractMlnReasoner reasoner, FolSignature signature)

Uses of FolSignature in org.tweetyproject.logics.mln.examples

Methods in org.tweetyproject.logics.mln.examples that return types with arguments of type FolSignature

Modifier and Type	Method	Description
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.CommonColdExample(int domain_size)	Constructs the Common Cold MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.ElephantZooExample(int domain_size)	Constructs the Elephant Zoo Example MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.iterateExamples(int exNum, int domain_size)	Generates a pair of a MarkovLogicNetwork and a FolSignature based on the example number.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon1()	Constructs the Nixon1 MLN example, which represents a scenario with Quakers, Republicans, and Pacifists with certain probabilities.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon2()	Constructs the Nixon2 MLN example, which represents Nixon being both a Quaker, Republican, and President.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon3()	Constructs the Nixon3 MLN example, which represents Reagan as an actor and president, with certain probabilities on roles.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SimpleExample(int domain_size)	Constructs the Simple Example MLN with a given domain size.
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SmokersExample(int domain_size)	Constructs the Smokers Example MLN with a given domain size.

Uses of FolSignature in org.tweetyproject.logics.mln.reasoner

Methods in org.tweetyproject.logics.mln.reasoner with parameters of type FolSignature

Modifier and Type	Method	Description
Map<HerbrandInterpretation,Double>	ApproximateNaiveMlnReasoner.computeModel(MarkovLogicNetwork mln, FolSignature signature)	Computes the model of the given MLN wrt.
double	AlchemyMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
double	SimpleMlnReasoner.doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
Double	AbstractMlnReasoner.query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)	Queries the given MLN wrt.

Uses of FolSignature in org.tweetyproject.logics.mln.syntax

Methods in org.tweetyproject.logics.mln.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	MlnFormula.getSignature()

Uses of FolSignature in org.tweetyproject.logics.rcl.parser

Methods in org.tweetyproject.logics.rcl.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	RclParser.getSignature()	Returns the signature of this parser.

Uses of FolSignature in org.tweetyproject.logics.rcl.reasoner

Methods in org.tweetyproject.logics.rcl.reasoner with parameters of type FolSignature

Modifier and Type	Method	Description
RelationalRankingFunction	SimpleRelationalCReasoner.getModel(RclBeliefSet bs, FolSignature signature)	Retrieves the C representation of the given belief set wrt.
Boolean	SimpleRelationalCReasoner.query(RclBeliefSet bs, FolFormula query, FolSignature signature)	Queries the given belief set wrt.

Uses of FolSignature in org.tweetyproject.logics.rcl.semantics

Constructors in org.tweetyproject.logics.rcl.semantics with parameters of type FolSignature

Modifier	Constructor	Description
	RelationalRankingFunction(FolSignature signature)	Creates a new ranking function mapping each given interpretation to zero.

Uses of FolSignature in org.tweetyproject.logics.rcl.syntax

Methods in org.tweetyproject.logics.rcl.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	RelationalConditional.getSignature()

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

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

Modifier and Type	Method	Description
FolSignature	DefaultRule.getSignature()

Uses of FolSignature in org.tweetyproject.logics.rpcl.parser

Methods in org.tweetyproject.logics.rpcl.parser that return FolSignature

Modifier and Type	Method	Description
FolSignature	RpclParser.getSignature()	Returns the signature of this parser.

Uses of FolSignature in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser with parameters of type FolSignature

Modifier and Type	Method	Description
static final Set<Constant>	RpclCondensedProbabilityDistributionParser.ConstantSet(FolSignature signature)	Parses a set of constants from the input and adds them to the specified FolSignature.
static final CondensedProbabilityDistribution	RpclCondensedProbabilityDistributionParser.Distribution(RpclSemantics semantics, FolSignature signature)	Create a distribution
static final InstanceAssignment	RpclCondensedProbabilityDistributionParser.InstanceAssignment(FolSignature signature)	Parses an InstanceAssignment from the input stream.
static final ReferenceWorld	RpclCondensedProbabilityDistributionParser.Interpretation(FolSignature signature)	Parses an Interpretation (specifically, a ReferenceWorld) from the input stream
static final Pair<ReferenceWorld,Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)	Parses a probability assignment from the input stream.
void	RpclCondensedProbabilityDistributionParser.setSignature(FolSignature signature)	setter signature

Constructors in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser with parameters of type FolSignature

Modifier	Constructor	Description
	RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)	Constructor

Uses of FolSignature in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser with parameters of type FolSignature

Modifier and Type	Method	Description
static final RpclProbabilityDistribution	RpclProbabilityDistributionParser.Distribution(RpclSemantics semantics, FolSignature signature)	Constructor
static final FolAtom	RpclProbabilityDistributionParser.GroundAtom(FolSignature signature)	Parses and returns a ground atom (an atom where all terms are constants) from the input stream.
static final Pair<HerbrandInterpretation,Probability>	RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)	Parses and returns a pair consisting of a HerbrandInterpretation and its associated Probability.
void	RpclProbabilityDistributionParser.setSignature(FolSignature signature)	Sets the signature to be used for interpreting the parsed terms.

Constructors in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser with parameters of type FolSignature

Modifier	Constructor	Description
	RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)	Constructor that initializes the parser with the given semantics and signature.

Uses of FolSignature in org.tweetyproject.logics.rpcl.reasoner

Methods in org.tweetyproject.logics.rpcl.reasoner with parameters of type FolSignature

Modifier and Type	Method	Description
RpclProbabilityDistribution<?>	RpclMeReasoner.getModel(RpclBeliefSet kb, FolSignature signature)	Determines the ME distribution of the given knowlege base wrt.
Double	RpclMeReasoner.query(RpclBeliefSet beliefbase, FolFormula query, FolSignature signature)	Queries the knowledge base wrt.

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

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

Modifier and Type	Method	Description
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getRandomDistribution(RpclSemantics semantics, FolSignature signature, Set<Set<Constant>> equivalenceClasses)	Returns a random distribution on the given signature.
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.
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature, Set<Set<Constant>> equivalenceClasses)	Returns the uniform distribution on the given signature.
static RpclProbabilityDistribution<HerbrandInterpretation>	RpclProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature)	Returns the uniform distribution on the given signature.

Constructors in org.tweetyproject.logics.rpcl.semantics with parameters of type FolSignature

Modifier	Constructor	Description
	CondensedProbabilityDistribution(RpclSemantics semantics, FolSignature signature)	Creates a new condensed probability distribution for the given signature.
	RpclProbabilityDistribution(RpclSemantics semantics, FolSignature signature)	Creates a new probability distribution for the given signature.

Uses of FolSignature in org.tweetyproject.logics.rpcl.syntax

Methods in org.tweetyproject.logics.rpcl.syntax with parameters of type FolSignature

Modifier and Type	Method	Description
Set<Set<Constant>>	RpclBeliefSet.getEquivalenceClasses(FolSignature signature)	Determines the equivalence classes of this belief set wrt.

Uses of FolSignature in org.tweetyproject.lp.asp.syntax

Methods in org.tweetyproject.lp.asp.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	ClassicalHead.createEmptySignature()
FolSignature	Program.getMinimalSignature()
FolSignature	AggregateAtom.getSignature()
FolSignature	AggregateElement.getSignature()
FolSignature	AggregateHead.getSignature()
FolSignature	ASPAtom.getSignature()
abstract FolSignature	ASPElement.getSignature()
FolSignature	ASPRule.getSignature()
FolSignature	ChoiceElement.getSignature()
FolSignature	ChoiceHead.getSignature()
FolSignature	ClassicalHead.getSignature()
FolSignature	ComparativeAtom.getSignature()
FolSignature	DefaultNegation.getSignature()
FolSignature	OptimizationElement.getSignature()
FolSignature	OptimizationStatement.getSignature()
FolSignature	StrictNegation.getSignature()

Uses of FolSignature in org.tweetyproject.lp.nlp.syntax

Methods in org.tweetyproject.lp.nlp.syntax that return FolSignature

Modifier and Type	Method	Description
FolSignature	NLPProgram.getMinimalSignature()	Retrieves the minimal signature of the nested logic program.
FolSignature	NLPRule.getSignature()