Uses of Class
org.tweetyproject.logics.fol.semantics.HerbrandInterpretation
-
-
Uses of HerbrandInterpretation in org.tweetyproject.logics.fol.semantics
Methods in org.tweetyproject.logics.fol.semantics that return HerbrandInterpretation Modifier and Type Method Description HerbrandInterpretationHerbrandInterpretation. exchange(java.util.Map<Term<?>,Term<?>> mapping)For every mapping t1 -> t2, this method substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretationHerbrandInterpretationHerbrandInterpretation. exchange(Term<?> t1, Term<?> t2)Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.Methods in org.tweetyproject.logics.fol.semantics that return types with arguments of type HerbrandInterpretation Modifier and Type Method Description java.util.Set<HerbrandInterpretation>HerbrandBase. getAllHerbrandInterpretations()Computes all possible Herbrand interpretations of this Herbrand base, i.e.Methods in org.tweetyproject.logics.fol.semantics with parameters of type HerbrandInterpretation Modifier and Type Method Description booleanHerbrandInterpretation. isSyntacticallyEquivalent(HerbrandInterpretation other, java.util.Collection<? extends java.util.Collection<? extends Constant>> equivalenceClasses)Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e. -
Uses of HerbrandInterpretation in org.tweetyproject.logics.mln.reasoner
Methods in org.tweetyproject.logics.mln.reasoner that return types with arguments of type HerbrandInterpretation 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. -
Uses of HerbrandInterpretation in org.tweetyproject.logics.rcl.semantics
Methods in org.tweetyproject.logics.rcl.semantics that return types with arguments of type HerbrandInterpretation Modifier and Type Method Description java.util.Set<HerbrandInterpretation>RelationalRankingFunction. getPossibleInterpretations()Returns all interpretations that are mapped to a rank unequal to INFINITY.Methods in org.tweetyproject.logics.rcl.semantics with parameters of type HerbrandInterpretation Modifier and Type Method Description java.lang.IntegerRelationalRankingFunction. numFalsifiedInstances(HerbrandInterpretation w, RelationalConditional rc)Returns the number of instances of "rc" that are falsified by the given interpretation.java.lang.IntegerRelationalRankingFunction. numVerifiedInstances(HerbrandInterpretation w, RelationalConditional rc)Returns the number of instances of "rc" that are verified by the given interpretation.java.lang.IntegerRelationalRankingFunction. rank(HerbrandInterpretation w)Gets the rank of the given Herbrand interpretation.voidRelationalRankingFunction. setRank(HerbrandInterpretation w, java.lang.Integer value)Sets the rank for the given Herbrand interpretation. -
Uses of HerbrandInterpretation in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
Methods in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser that return types with arguments of type HerbrandInterpretation Modifier and Type Method Description static Pair<HerbrandInterpretation,Probability>RpclProbabilityDistributionParser. ProbabilityAssignment(FolSignature signature) -
Uses of HerbrandInterpretation in org.tweetyproject.logics.rpcl.semantics
Methods in org.tweetyproject.logics.rpcl.semantics that return types with arguments of type HerbrandInterpretation Modifier and Type Method Description static RpclProbabilityDistribution<HerbrandInterpretation>RpclProbabilityDistribution. getUniformDistribution(RpclSemantics semantics, FolSignature signature)Returns the uniform distribution on the given signature.Methods in org.tweetyproject.logics.rpcl.semantics with parameters of type HerbrandInterpretation Modifier and Type Method Description static ReferenceWorldReferenceWorld. getMapping(HerbrandInterpretation i, java.util.Set<Predicate> predicates, java.util.Set<java.util.Set<Constant>> constants)Determines the reference world of the given interpretation wrt.
-