public class CReasoner extends AbstractConditionalLogicReasoner
Constructor and Description |
---|
CReasoner() |
Modifier and Type | Method and Description |
---|---|
private Statement |
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.
|
RankingFunction |
getModel(ClBeliefSet kb)
Returns a single (dedicated) model of the given belief base.
|
private Statement |
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- |
getModels, query
private Statement getAcceptanceConstraint(Conditional cond, java.util.Map<PossibleWorld,IntegerVariable> ranks)
cond
- a conditionalranks
- a map from possible worlds to integer variablesprivate Statement getRankConstraint(PossibleWorld w, IntegerVariable ranki, java.util.Map<Conditional,IntegerVariable> kappa_pos, java.util.Map<Conditional,IntegerVariable> kappa_neg)
i
- a possible world.ranki
- the rank (an integer variable) of interpretation "i".kappa_pos
- the positive penalties for interpretations.kappa_min
- the negative penalties for interpretations.public RankingFunction getModel(ClBeliefSet kb)
ModelProvider
getModel
in interface ModelProvider<Conditional,ClBeliefSet,RankingFunction>
getModel
in class AbstractConditionalLogicReasoner