Uses of Class
org.tweetyproject.logics.fol.syntax.FolSignature
Packages that use FolSignature
Package
Description
-
Uses of FolSignature in org.tweetyproject.action.signature
Subclasses of FolSignature in org.tweetyproject.action.signatureModifier and TypeClassDescriptionclass
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 FolSignatureMethods in org.tweetyproject.arg.delp.parser with parameters of type FolSignatureModifier and TypeMethodDescriptionfinal 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 -
Uses of FolSignature in org.tweetyproject.logics.dl.syntax
Methods in org.tweetyproject.logics.dl.syntax that return FolSignatureModifier and TypeMethodDescriptionDlSignature.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 FolSignatureModifier 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.Methods in org.tweetyproject.logics.fol.parser with parameters of type FolSignatureModifier 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
Constructors in org.tweetyproject.logics.fol.semantics with parameters of type FolSignatureModifierConstructorDescriptionHerbrandBase
(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 FolSignatureModifier and TypeMethodDescriptionFolSignature.clone()
FolBeliefSet.getMinimalSignature()
FolFormula.getSignature()
-
Uses of FolSignature in org.tweetyproject.logics.ml.parser
Methods in org.tweetyproject.logics.ml.parser that return FolSignatureMethods in org.tweetyproject.logics.ml.parser with parameters of type FolSignatureModifier and TypeMethodDescriptionvoid
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 FolSignatureModifierConstructorDescriptionCreates 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 -
Uses of FolSignature in org.tweetyproject.logics.mln.analysis
Methods in org.tweetyproject.logics.mln.analysis with parameters of type FolSignatureModifier 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
Methods in org.tweetyproject.logics.mln.examples that return types with arguments of type FolSignatureModifier and TypeMethodDescriptionstatic 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 FolSignatureModifier 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
Methods in org.tweetyproject.logics.mln.syntax that return FolSignature -
Uses of FolSignature in org.tweetyproject.logics.rcl.parser
Methods in org.tweetyproject.logics.rcl.parser that return FolSignature -
Uses of FolSignature in org.tweetyproject.logics.rcl.reasoner
Methods in org.tweetyproject.logics.rcl.reasoner with parameters of type FolSignatureModifier 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
Constructors in org.tweetyproject.logics.rcl.semantics with parameters of type FolSignatureModifierConstructorDescriptionRelationalRankingFunction
(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 -
Uses of FolSignature in org.tweetyproject.logics.rdl.syntax
Methods in org.tweetyproject.logics.rdl.syntax that return FolSignature -
Uses of FolSignature in org.tweetyproject.logics.rpcl.parser
Methods in org.tweetyproject.logics.rpcl.parser that return FolSignatureModifier and TypeMethodDescriptionRpclParser.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 FolSignatureModifier and TypeMethodDescriptionRpclCondensedProbabilityDistributionParser.ConstantSet
(FolSignature signature) Parses a set of constants from the input and adds them to the specifiedFolSignature
.static final CondensedProbabilityDistribution
RpclCondensedProbabilityDistributionParser.Distribution
(RpclSemantics semantics, FolSignature signature) Create a distributionstatic final InstanceAssignment
RpclCondensedProbabilityDistributionParser.InstanceAssignment
(FolSignature signature) Parses anInstanceAssignment
from the input stream.static final ReferenceWorld
RpclCondensedProbabilityDistributionParser.Interpretation
(FolSignature signature) Parses anInterpretation
(specifically, aReferenceWorld
) from the input streamstatic final Pair
<ReferenceWorld, Probability> RpclCondensedProbabilityDistributionParser.ProbabilityAssignment
(FolSignature signature) Parses a probability assignment from the input stream.void
RpclCondensedProbabilityDistributionParser.setSignature
(FolSignature signature) setter signatureConstructors in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser with parameters of type FolSignatureModifierConstructorDescriptionRpclCondensedProbabilityDistributionParser
(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 FolSignatureModifier and TypeMethodDescriptionstatic final RpclProbabilityDistribution
RpclProbabilityDistributionParser.Distribution
(RpclSemantics semantics, FolSignature signature) Constructorstatic 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 aHerbrandInterpretation
and its associatedProbability
.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 FolSignatureModifierConstructorDescriptionRpclProbabilityDistributionParser
(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 FolSignatureModifier 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
Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type FolSignatureModifier 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.Constructors in org.tweetyproject.logics.rpcl.semantics with parameters of type FolSignatureModifierConstructorDescriptionCondensedProbabilityDistribution
(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 FolSignatureModifier and TypeMethodDescriptionRpclBeliefSet.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 FolSignatureModifier 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
Methods in org.tweetyproject.lp.nlp.syntax that return FolSignatureModifier and TypeMethodDescriptionNLPProgram.getMinimalSignature()
Retrieves the minimal signature of the nested logic program.NLPRule.getSignature()