Uses of Class
net.sf.tweety.logics.fol.syntax.FolSignature
-
-
-
Uses of FolSignature in net.sf.tweety.action.signature
Subclasses of FolSignature in net.sf.tweety.action.signature Modifier and Type Class Description class
ActionSignature
This class represents an action signature consisting of a set of fluent names and a set of action names. -
Uses of FolSignature in net.sf.tweety.arg.delp.parser
Fields in net.sf.tweety.arg.delp.parser declared as FolSignature Modifier and Type Field Description private FolSignature
DelpParser. signature
Methods in net.sf.tweety.arg.delp.parser that return FolSignature Modifier and Type Method Description FolSignature
DelpParser. getSignature()
Methods in net.sf.tweety.arg.delp.parser with parameters of type FolSignature Modifier and Type Method Description FolAtom
DelpParser. Atom(DefeasibleLogicProgram delp, FolSignature signature)
private Constant
DelpParser. createConstant(java.lang.String image, 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 net.sf.tweety.arg.delp.syntax
Methods in net.sf.tweety.arg.delp.syntax that return FolSignature Modifier and Type Method Description FolSignature
DelpRule. getSignature()
protected FolSignature
DefeasibleLogicProgram. instantiateSignature()
-
Uses of FolSignature in net.sf.tweety.arg.lp.syntax
Methods in net.sf.tweety.arg.lp.syntax that return FolSignature Modifier and Type Method Description protected FolSignature
ArgumentationKnowledgeBase. instantiateSignature()
-
Uses of FolSignature in net.sf.tweety.logics.dl.syntax
Methods in net.sf.tweety.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 net.sf.tweety.logics.fol.parser
Fields in net.sf.tweety.logics.fol.parser declared as FolSignature Modifier and Type Field Description private FolSignature
FolParser. signature
Keeps track of the signature.private FolSignature
TPTPParser. signature
Keeps track of the signature.Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.fol.semantics
Methods in net.sf.tweety.logics.fol.semantics with parameters of type FolSignature Modifier and Type Method Description private java.util.Set<FolAtom>
HerbrandBase. getAllInstantiations(FolSignature sig, Predicate p, java.util.List<Term<?>> arguments)
Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.Constructors in net.sf.tweety.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 net.sf.tweety.logics.fol.syntax
Methods in net.sf.tweety.logics.fol.syntax that return FolSignature Modifier and Type Method Description FolSignature
FolSignature. clone()
FolSignature
FolBeliefSet. getMinimalSignature()
FolSignature
FolFormula. getSignature()
protected FolSignature
FolBeliefSet. instantiateSignature()
-
Uses of FolSignature in net.sf.tweety.logics.fol.writer
Methods in net.sf.tweety.logics.fol.writer with parameters of type FolSignature Modifier and Type Method Description private java.lang.String
SPASSWriter. printSignature(FolSignature signature)
Prints the symbols declaration for a SPASS input file. -
Uses of FolSignature in net.sf.tweety.logics.ml.parser
Methods in net.sf.tweety.logics.ml.parser that return FolSignature Modifier and Type Method Description FolSignature
MlParser. getSignature()
Returns the signature of this parser.Methods in net.sf.tweety.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 net.sf.tweety.logics.ml.semantics
Constructors in net.sf.tweety.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 net.sf.tweety.logics.ml.syntax
Methods in net.sf.tweety.logics.ml.syntax that return FolSignature Modifier and Type Method Description FolSignature
MlFormula. getSignature()
protected FolSignature
MlBeliefSet. instantiateSignature()
-
Uses of FolSignature in net.sf.tweety.logics.ml.writer
Methods in net.sf.tweety.logics.ml.writer with parameters of type FolSignature Modifier and Type Method Description private java.lang.String
SPASSWriter. printSignature(FolSignature signature)
Prints the symbols declaration for a SPASS input file. -
Uses of FolSignature in net.sf.tweety.logics.mln.analysis
Methods in net.sf.tweety.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 net.sf.tweety.logics.mln.examples
Methods in net.sf.tweety.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 net.sf.tweety.logics.mln.reasoner
Methods in net.sf.tweety.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.private java.io.File
SimpleMlnReasoner. computeModel(MarkovLogicNetwork mln, FolSignature signature)
Computes the model of the given MLN.protected double
AbstractMlnReasoner. computeWeight(MarkovLogicNetwork mln, HerbrandInterpretation hInt, FolSignature signature)
Computes the (unnormalized) weight of the given Herbrand interpretation with respect to the formulas in this reasoner's MLN.protected abstract double
AbstractMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
Performs the actual querying.double
AlchemyMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected double
ApproximateNaiveMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected double
IteratingMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
double
SimpleMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected double
SimpleSamplingMlnReasoner. doQuery(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
protected int
AbstractMlnReasoner. numberOfGroundSatisfactions(FolFormula formula, HerbrandInterpretation hInt, FolSignature signature)
Computes the number of instantiations of the formula, wrt.private HerbrandInterpretation
SimpleMlnReasoner. parseInterpretation(java.lang.String str, FolSignature signature)
Constructs a Herbrand interpretation from the given stringjava.lang.Double
AbstractMlnReasoner. query(MarkovLogicNetwork mln, FolFormula query, FolSignature signature)
Queries the given MLN wrt.private java.io.File
AlchemyMlnReasoner. writeAlchemyMlnFile(MarkovLogicNetwork mln, FolSignature signature, FolFormula formula)
Writes the given MLN wrt. -
Uses of FolSignature in net.sf.tweety.logics.mln.syntax
Methods in net.sf.tweety.logics.mln.syntax that return FolSignature Modifier and Type Method Description FolSignature
MlnFormula. getSignature()
protected FolSignature
MarkovLogicNetwork. instantiateSignature()
-
Uses of FolSignature in net.sf.tweety.logics.rcl.parser
Methods in net.sf.tweety.logics.rcl.parser that return FolSignature Modifier and Type Method Description FolSignature
RclParser. getSignature()
Returns the signature of this parser. -
Uses of FolSignature in net.sf.tweety.logics.rcl.reasoner
Methods in net.sf.tweety.logics.rcl.reasoner with parameters of type FolSignature Modifier and Type Method Description private RelationalRankingFunction
SimpleRelationalCReasoner. constructRankingFunction(java.lang.Integer[] kappa, java.util.Map<java.lang.Integer,RelationalConditional> indexToConditional, FolSignature signature)
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.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 net.sf.tweety.logics.rcl.semantics
Fields in net.sf.tweety.logics.rcl.semantics declared as FolSignature Modifier and Type Field Description private FolSignature
RelationalRankingFunction. signature
The signature of the language this ranking function is defined on.Constructors in net.sf.tweety.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 net.sf.tweety.logics.rcl.syntax
Methods in net.sf.tweety.logics.rcl.syntax that return FolSignature Modifier and Type Method Description FolSignature
RelationalConditional. getSignature()
protected FolSignature
RclBeliefSet. instantiateSignature()
-
Uses of FolSignature in net.sf.tweety.logics.rdl.syntax
Methods in net.sf.tweety.logics.rdl.syntax that return FolSignature Modifier and Type Method Description FolSignature
DefaultRule. getSignature()
-
Uses of FolSignature in net.sf.tweety.logics.rpcl.parser
Methods in net.sf.tweety.logics.rpcl.parser that return FolSignature Modifier and Type Method Description FolSignature
RpclParser. getSignature()
Returns the signature of this parser. -
Uses of FolSignature in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Fields in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser declared as FolSignature Modifier and Type Field Description private FolSignature
RpclCondensedProbabilityDistributionParser. signature
Methods in net.sf.tweety.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 net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser with parameters of type FolSignature Constructor Description RpclCondensedProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)
-
Uses of FolSignature in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
Fields in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser declared as FolSignature Modifier and Type Field Description private FolSignature
RpclProbabilityDistributionParser. signature
Methods in net.sf.tweety.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 net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser with parameters of type FolSignature Constructor Description RpclProbabilityDistributionParser(RpclSemantics semantics, FolSignature signature)
-
Uses of FolSignature in net.sf.tweety.logics.rpcl.reasoner
Methods in net.sf.tweety.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 net.sf.tweety.logics.rpcl.semantics
Fields in net.sf.tweety.logics.rpcl.semantics declared as FolSignature Modifier and Type Field Description private FolSignature
RpclProbabilityDistribution. signature
The used FOL signatureMethods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.logics.rpcl.syntax
Methods in net.sf.tweety.logics.rpcl.syntax that return FolSignature Modifier and Type Method Description protected FolSignature
RpclBeliefSet. instantiateSignature()
Methods in net.sf.tweety.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 net.sf.tweety.lp.asp.syntax
Methods in net.sf.tweety.lp.asp.syntax that return FolSignature Modifier and Type Method Description FolSignature
ASPHead. createEmptySignature()
FolSignature
Program. getMinimalSignature()
FolSignature
AggregateAtom. getSignature()
FolSignature
AggregateElement. getSignature()
FolSignature
ASPAtom. getSignature()
abstract FolSignature
ASPElement. getSignature()
FolSignature
ASPHead. getSignature()
FolSignature
ASPRule. getSignature()
FolSignature
ComparativeAtom. getSignature()
FolSignature
DefaultNegation. getSignature()
FolSignature
StrictNegation. getSignature()
-
Uses of FolSignature in net.sf.tweety.lp.nlp.syntax
Methods in net.sf.tweety.lp.nlp.syntax that return FolSignature Modifier and Type Method Description FolSignature
NLPProgram. getMinimalSignature()
FolSignature
NLPRule. getSignature()
-