Uses of Class
org.tweetyproject.logics.fol.syntax.FolSignature
Package
Description
-
Uses of FolSignature in org.tweetyproject.action.signature
Modifier and TypeClassDescriptionclass
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
Modifier and TypeMethodDescriptionfinal FolAtom
DelpParser.Atom
(DefeasibleLogicProgram delp, FolSignature signature) final void
DelpParser.Expression
(DefeasibleLogicProgram delp, FolSignature signature) final FolFormula
DelpParser.Formula
(FolSignature signature) final FolFormula
DelpParser.Literal
(DefeasibleLogicProgram delp, FolSignature signature) final Term
DelpParser.Term
(DefeasibleLogicProgram delp, FolSignature signature) final DefeasibleLogicProgram
DelpParser.Theory
(FolSignature signature) -
Uses of FolSignature in org.tweetyproject.arg.delp.syntax
-
Uses of FolSignature in org.tweetyproject.logics.dl.syntax
Modifier and TypeMethodDescriptionDlSignature.getCorrespondingFolSignature()
Translates this DlSignature to a FolSignature, i.e. -
Uses of FolSignature in org.tweetyproject.logics.fol.parser
Modifier and TypeMethodDescriptionFolParser.getSignature()
Returns the signature of this parser.TPTPParser.getSignature()
Returns the signature of this parser.FolParser.parseSignature
(String s) This function parses only the sorts declaration and type declaration parts of a belief base.Modifier and TypeMethodDescriptionvoid
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
ModifierConstructorDescriptionHerbrandBase
(FolSignature sig) Creates a new Herbrand base for the given signature. -
Uses of FolSignature in org.tweetyproject.logics.fol.syntax
Modifier and TypeMethodDescriptionFolSignature.clone()
FolBeliefSet.getMinimalSignature()
FolFormula.getSignature()
-
Uses of FolSignature in org.tweetyproject.logics.ml.parser
Modifier and TypeMethodDescriptionvoid
MlParser.setSignature
(FolSignature signature) Sets the signature for this parser. -
Uses of FolSignature in org.tweetyproject.logics.ml.semantics
ModifierConstructorDescriptionCreates a new Herbrand base for the given signature. -
Uses of FolSignature in org.tweetyproject.logics.ml.syntax
-
Uses of FolSignature in org.tweetyproject.logics.mln.analysis
Modifier and TypeMethodDescriptionabstract 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
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionApproximateNaiveMlnReasoner.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) AbstractMlnReasoner.query
(MarkovLogicNetwork mln, FolFormula query, FolSignature signature) Queries the given MLN wrt. -
Uses of FolSignature in org.tweetyproject.logics.mln.syntax
-
Uses of FolSignature in org.tweetyproject.logics.rcl.parser
-
Uses of FolSignature in org.tweetyproject.logics.rcl.reasoner
Modifier and TypeMethodDescriptionSimpleRelationalCReasoner.getModel
(RclBeliefSet bs, FolSignature signature) Retrieves the C representation of the given belief set wrt.SimpleRelationalCReasoner.query
(RclBeliefSet bs, FolFormula query, FolSignature signature) Queries the given belief set wrt. -
Uses of FolSignature in org.tweetyproject.logics.rcl.semantics
ModifierConstructorDescriptionRelationalRankingFunction
(FolSignature signature) Creates a new ranking function mapping each given interpretation to zero. -
Uses of FolSignature in org.tweetyproject.logics.rcl.syntax
-
Uses of FolSignature in org.tweetyproject.logics.rdl.syntax
-
Uses of FolSignature in org.tweetyproject.logics.rpcl.parser
Modifier and TypeMethodDescriptionRpclParser.getSignature()
Returns the signature of this parser. -
Uses of FolSignature in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Modifier and TypeMethodDescriptionRpclCondensedProbabilityDistributionParser.ConstantSet
(FolSignature signature) static final CondensedProbabilityDistribution
RpclCondensedProbabilityDistributionParser.Distribution
(RpclSemantics semantics, FolSignature signature) static final InstanceAssignment
RpclCondensedProbabilityDistributionParser.InstanceAssignment
(FolSignature signature) static final ReferenceWorld
RpclCondensedProbabilityDistributionParser.Interpretation
(FolSignature signature) static final Pair<ReferenceWorld,
Probability> RpclCondensedProbabilityDistributionParser.ProbabilityAssignment
(FolSignature signature) void
RpclCondensedProbabilityDistributionParser.setSignature
(FolSignature signature) ModifierConstructorDescriptionRpclCondensedProbabilityDistributionParser
(RpclSemantics semantics, FolSignature signature) -
Uses of FolSignature in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
Modifier and TypeMethodDescriptionstatic final RpclProbabilityDistribution
RpclProbabilityDistributionParser.Distribution
(RpclSemantics semantics, FolSignature signature) static final FolAtom
RpclProbabilityDistributionParser.GroundAtom
(FolSignature signature) static final Pair<HerbrandInterpretation,
Probability> RpclProbabilityDistributionParser.ProbabilityAssignment
(FolSignature signature) void
RpclProbabilityDistributionParser.setSignature
(FolSignature signature) ModifierConstructorDescriptionRpclProbabilityDistributionParser
(RpclSemantics semantics, FolSignature signature) -
Uses of FolSignature in org.tweetyproject.logics.rpcl.reasoner
Modifier and TypeMethodDescriptionRpclMeReasoner.getModel
(RpclBeliefSet kb, FolSignature signature) Determines the ME distribution of the given knowlege base wrt.RpclMeReasoner.query
(RpclBeliefSet beliefbase, FolFormula query, FolSignature signature) Queries the knowledge base wrt. -
Uses of FolSignature in org.tweetyproject.logics.rpcl.semantics
Modifier and TypeMethodDescriptionCondensedProbabilityDistribution.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) AggregatingSemantics.getSatisfactionStatement
(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable> worlds2vars) AveragingSemantics.getSatisfactionStatement
(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet, FolFormula>, FloatVariable> worlds2vars) 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.CondensedProbabilityDistribution.getUniformDistribution
(RpclSemantics semantics, FolSignature signature, Set<Set<Constant>> equivalenceClasses) Returns the uniform distribution on the given signature.RpclProbabilityDistribution.getUniformDistribution
(RpclSemantics semantics, FolSignature signature) Returns the uniform distribution on the given signature.ModifierConstructorDescriptionCondensedProbabilityDistribution
(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
Modifier and TypeMethodDescriptionRpclBeliefSet.getEquivalenceClasses
(FolSignature signature) Determines the equivalence classes of this belief set wrt. -
Uses of FolSignature in org.tweetyproject.lp.asp.syntax
Modifier and TypeMethodDescriptionClassicalHead.createEmptySignature()
Program.getMinimalSignature()
AggregateAtom.getSignature()
AggregateElement.getSignature()
AggregateHead.getSignature()
ASPAtom.getSignature()
abstract FolSignature
ASPElement.getSignature()
ASPRule.getSignature()
ChoiceElement.getSignature()
ChoiceHead.getSignature()
ClassicalHead.getSignature()
ComparativeAtom.getSignature()
DefaultNegation.getSignature()
OptimizationElement.getSignature()
OptimizationStatement.getSignature()
StrictNegation.getSignature()
-
Uses of FolSignature in org.tweetyproject.lp.nlp.syntax