public class GroundRules extends Object
GroundRule
tasks.Constructor and Description |
---|
GroundRules() |
Modifier and Type | Method and Description |
---|---|
static double |
getExpectedTotalWeightedCompatibility(Iterable<WeightedGroundRule> groundRules)
Computes the expected weighted compatibility (1 - incompatibility)
of a collection of WeightedGroundRules.
|
static double |
getExpectedTotalWeightedIncompatibility(Iterable<WeightedGroundRule> groundRules)
Computes the expected total weighted incompatibility of an iterable
container of
GroundCompatibilityRules
from independently rounding each RandomVariableAtom to 1.0 or 0.0
with probability equal to its current truth value. |
static double |
getExpectedWeightedCompatibility(WeightedGroundRule groundRule)
Computes the expected weighted compatibility (1 - incompatibility)
of a WeightedGroundRule.
|
static double |
getInfeasibilityNorm(Iterable<UnweightedGroundRule> groundRules)
Computes the Euclidean norm of the infeasibilities of an iterable container
of
GroundConstraintRules . |
static double |
getTotalWeightedCompatibility(Iterable<WeightedGroundRule> groundRules)
Sums the total weighted compatibility (1 - incompatibility) of an iterable
container of
GroundCompatibilityRules . |
static double |
getTotalWeightedIncompatibility(Iterable<WeightedGroundRule> groundRules)
Sums the total weighted incompatibility of an iterable container of
GroundCompatibilityRules . |
public static double getTotalWeightedIncompatibility(Iterable<WeightedGroundRule> groundRules)
GroundCompatibilityRules
.groundRules
- the GroundCompatibilityRulesWeightedGroundRule.getIncompatibility()
,
WeightedGroundRule.getWeight()
public static double getTotalWeightedCompatibility(Iterable<WeightedGroundRule> groundRules)
GroundCompatibilityRules
.
WARNING: This method does not account for GroundCompatibilityRules that
were not grounded because they are trivially satisfied.groundRules
- the GroundCompatibilityRulesWeightedGroundRule.getIncompatibility()
,
WeightedGroundRule.getWeight()
public static double getExpectedTotalWeightedIncompatibility(Iterable<WeightedGroundRule> groundRules)
GroundCompatibilityRules
from independently rounding each RandomVariableAtom
to 1.0 or 0.0
with probability equal to its current truth value.
WARNING: the result of this function is incorrect if the RandomVariableAtoms
are subject to any GroundConstraintRules
.groundRules
- the GroundCompatibilityRulesWeightedGroundRule.getIncompatibility()
,
WeightedGroundRule.getWeight()
public static double getExpectedTotalWeightedCompatibility(Iterable<WeightedGroundRule> groundRules)
RandomVariableAtom
to 1.0 or 0.0
with probability equal to its current truth value.
WARNING: the result of this function is incorrect if the RandomVariableAtoms
are subject to any GroundConstraintRules
.
WARNING: This method does not account for GroundCompatibilityRules that
were not grounded because they are trivially satisfied.public static double getExpectedWeightedCompatibility(WeightedGroundRule groundRule)
RandomVariableAtom
to 1.0 or 0.0
with probability equal to its current truth value.
WARNING: the result of this function is incorrect if the RandomVariableAtoms
are subject to any GroundConstraintRules
.
WARNING: This method does not account for GroundCompatibilityRules that
were not grounded because they are trivially satisfied.public static double getInfeasibilityNorm(Iterable<UnweightedGroundRule> groundRules)
GroundConstraintRules
.groundRules
- the GroundConstraintRulesUnweightedGroundRule.getInfeasibility()
Copyright © 2018 University of California, Santa Cruz. All rights reserved.