public class WeightedGroundLogicalRule extends AbstractGroundLogicalRule implements WeightedGroundRule
dissatisfaction, negLiterals, posLiterals, rule
Modifier | Constructor and Description |
---|---|
protected |
WeightedGroundLogicalRule(WeightedLogicalRule rule,
List<GroundAtom> posLiterals,
List<GroundAtom> negLiterals,
short rvaCount) |
Modifier and Type | Method and Description |
---|---|
GeneralFunction |
getFunctionDefinition() |
double |
getIncompatibility()
Returns the incompatibility of the truth values of this GroundRule's GroundAtoms.
|
double |
getIncompatibility(GroundAtom replacementAtom,
float replacementValue)
Returns the incompatibility of the truth values of this GroundRule's GroundAtoms given
the replacment of a single atom's value with another value.
|
WeightedRule |
getRule() |
double |
getWeight()
Returns the Weight of this WeightedGroundRule.
|
protected GroundRule |
instantiateNegatedGroundRule(Formula disjunction,
List<GroundAtom> positiveAtoms,
List<GroundAtom> negativeAtoms,
String name) |
boolean |
isSquared() |
void |
setWeight(double weight)
Sets a weight for this WeightedGroundRule.
|
String |
toString() |
baseToString, equals, getAtoms, getNegativeAtoms, getPositiveAtoms, hashCode, negate, size
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
baseToString, getAtoms, negate
protected WeightedGroundLogicalRule(WeightedLogicalRule rule, List<GroundAtom> posLiterals, List<GroundAtom> negLiterals, short rvaCount)
public WeightedRule getRule()
getRule
in interface GroundRule
getRule
in interface WeightedGroundRule
Rule
public boolean isSquared()
isSquared
in interface WeightedGroundRule
public double getWeight()
WeightedGroundRule
getWeight
in interface WeightedGroundRule
public void setWeight(double weight)
WeightedGroundRule
setWeight
in interface WeightedGroundRule
public GeneralFunction getFunctionDefinition()
getFunctionDefinition
in interface WeightedGroundRule
public double getIncompatibility()
WeightedGroundRule
getIncompatibility
in interface WeightedGroundRule
public double getIncompatibility(GroundAtom replacementAtom, float replacementValue)
WeightedGroundRule
getIncompatibility
in interface WeightedGroundRule
public String toString()
toString
in class AbstractGroundLogicalRule
protected GroundRule instantiateNegatedGroundRule(Formula disjunction, List<GroundAtom> positiveAtoms, List<GroundAtom> negativeAtoms, String name)
instantiateNegatedGroundRule
in class AbstractGroundLogicalRule
Copyright © 2020 University of California, Santa Cruz. All rights reserved.