Package | Description |
---|---|
net.sf.tweety.logics.cl.reasoner |
Modifier and Type | Method and Description |
---|---|
private Statement |
CReasoner.getRankConstraint(PossibleWorld w,
IntegerVariable ranki,
java.util.Map<Conditional,IntegerVariable> kappa_pos,
java.util.Map<Conditional,IntegerVariable> kappa_neg)
For the given interpretation "i" and the given kappas, this method
computes the constraint
k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj- |
Modifier and Type | Method and Description |
---|---|
private Statement |
CReasoner.getAcceptanceConstraint(Conditional cond,
java.util.Map<PossibleWorld,IntegerVariable> ranks)
For the given conditional (B|A) and the given ranks of possible worlds, this
method constructs the inequation k(AB) < k(A-B) where k(AB) is the minimum of
the ranks of the interpretations that satisfy AB.
|
private Statement |
CReasoner.getRankConstraint(PossibleWorld w,
IntegerVariable ranki,
java.util.Map<Conditional,IntegerVariable> kappa_pos,
java.util.Map<Conditional,IntegerVariable> kappa_neg)
For the given interpretation "i" and the given kappas, this method
computes the constraint
k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj- |
private Statement |
CReasoner.getRankConstraint(PossibleWorld w,
IntegerVariable ranki,
java.util.Map<Conditional,IntegerVariable> kappa_pos,
java.util.Map<Conditional,IntegerVariable> kappa_neg)
For the given interpretation "i" and the given kappas, this method
computes the constraint
k("i")=\sum_{"i" verifies ri} ki+ + \sum_{"i" falsifies ri} kj- |