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 consisting 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()

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

Modifier and Type	Method	Description
FolAtom	DelpParser.Atom(DefeasibleLogicProgram delp, FolSignature signature)
void	DelpParser.Expression(DefeasibleLogicProgram delp, FolSignature signature)
FolFormula	DelpParser.Formula(FolSignature signature)
FolFormula	DelpParser.Literal(DefeasibleLogicProgram delp, FolSignature signature)
Term	DelpParser.Term(DefeasibleLogicProgram delp, FolSignature signature)
DefeasibleLogicProgram	DelpParser.Theory(FolSignature 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(java.lang.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(java.lang.String s, FolSignature sig)	Parses a sort declaration of the form "SORTNAME "=" "{" (CONSTANTNAME ("," CONSTANTNAME)*)? "}"" and modifies the given signature accordingly.
void	FolParser.parseTypeDeclaration(java.lang.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

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

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)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.ElephantZooExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.iterateExamples(int exNum, int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon1()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon2()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample2.Nixon3()
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SimpleExample(int domain_size)
static Pair<MarkovLogicNetwork,FolSignature>	MlnExample.SmokersExample(int 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
java.util.Map<HerbrandInterpretation,java.lang.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)
java.lang.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.
java.lang.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

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 java.util.Set<Constant>	RpclCondensedProbabilityDistributionParser.ConstantSet(FolSignature signature)
static CondensedProbabilityDistribution	RpclCondensedProbabilityDistributionParser.Distribution(RpclSemantics semantics, FolSignature signature)
static InstanceAssignment	RpclCondensedProbabilityDistributionParser.InstanceAssignment(FolSignature signature)
static ReferenceWorld	RpclCondensedProbabilityDistributionParser.Interpretation(FolSignature signature)
static Pair<ReferenceWorld,Probability>	RpclCondensedProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)
void	RpclCondensedProbabilityDistributionParser.setSignature(FolSignature signature)

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

Constructor	Description
RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)

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 RpclProbabilityDistribution	RpclProbabilityDistributionParser.Distribution(RpclSemantics semantics, FolSignature signature)
static FolAtom	RpclProbabilityDistributionParser.GroundAtom(FolSignature signature)
static Pair<HerbrandInterpretation,Probability>	RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)
void	RpclProbabilityDistributionParser.setSignature(FolSignature signature)

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

Constructor	Description
RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature 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.
java.lang.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, java.util.Set<java.util.Set<Constant>> equivalenceClasses)	Returns a random distribution on the given signature.
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.
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature, java.util.Set<java.util.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

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
java.util.Set<java.util.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	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()
FolSignature	NLPRule.getSignature()