Modifier and Type | Method and Description |
---|---|
HerbrandInterpretation |
HerbrandInterpretation.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 interpretation
|
HerbrandInterpretation |
HerbrandInterpretation.exchange(Term<?> t1,
Term<?> t2)
Substitutes every occurrence of "t1" by "t2" and vice versa and returns the
new interpretation.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<HerbrandInterpretation> |
HerbrandBase.allHerbrandInterpretations()
Computes all possible Herbrand interpretations of this Herbrand
base, i.e.
|
Modifier and Type | Method and Description |
---|---|
boolean |
HerbrandInterpretation.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.
|
Modifier and Type | Field and Description |
---|---|
(package private) HerbrandInterpretation |
ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation.interpretation |
Modifier and Type | Field and Description |
---|---|
private ProbabilityDistribution<HerbrandInterpretation> |
ApproximateNaiveMlnReasoner.prob
The approximated model of the MLN (saved for avoid double
computation).
|
Modifier and Type | Method and Description |
---|---|
private HerbrandInterpretation |
NaiveMlnReasoner.parseInterpretation(java.lang.String str)
Constructs a Herbrand interpretation from the given string
|
Modifier and Type | Method and Description |
---|---|
private ProbabilityDistribution<HerbrandInterpretation> |
ApproximateNaiveMlnReasoner.computeModel()
Computes the model of the given MLN wrt.
|
Modifier and Type | Method and Description |
---|---|
protected double |
AbstractMlnReasoner.computeWeight(HerbrandInterpretation hInt)
Computes the (unnormalized) weight of the given Herbrand interpretation
with respect to the formulas in this reasoner's MLN.
|
protected int |
AbstractMlnReasoner.numberOfGroundSatisfactions(FolFormula formula,
HerbrandInterpretation hInt)
Computes the number of instantiations of the formula, wrt.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Map<HerbrandInterpretation,java.lang.Integer> |
RelationalRankingFunction.ranks
The ranks of the Herbrand interpretations.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<HerbrandInterpretation> |
RelationalRankingFunction.getPossibleInterpretations()
Returns all interpretations that are mapped to a rank
unequal to INFINITY.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Integer |
RelationalRankingFunction.numFalsifiedInstances(HerbrandInterpretation w,
RelationalConditional rc)
Returns the number of instances of "rc" that are falsified by
the given interpretation.
|
java.lang.Integer |
RelationalRankingFunction.numVerifiedInstances(HerbrandInterpretation w,
RelationalConditional rc)
Returns the number of instances of "rc" that are verified by
the given interpretation.
|
java.lang.Integer |
RelationalRankingFunction.rank(HerbrandInterpretation w)
Gets the rank of the given Herbrand interpretation.
|
void |
RelationalRankingFunction.setRank(HerbrandInterpretation w,
java.lang.Integer value)
Sets the rank for the given Herbrand interpretation.
|
Modifier and Type | Method and Description |
---|---|
static ReferenceWorld |
ReferenceWorld.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.
|
Modifier and Type | Method and Description |
---|---|
static Pair<HerbrandInterpretation,Probability> |
RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature) |