Package | Description |
---|---|
net.sf.tweety.logics.cl |
Modifier and Type | Field and Description |
---|---|
private RankingFunction |
CReasoner.crepresentation
The c-representation for this knowledge base.
|
private RankingFunction |
BruteForceCReasoner.crepresentation
The c-representation for the given knowledge base.
|
private RankingFunction |
ZReasoner.ocf
The ranking function for this knowledge base based
on penalty points of System Z.
|
private RankingFunction |
RuleBasedCReasoner.rfunc
The ranking function representing the c-representation of the given belief base, is null until process() returns true
|
Modifier and Type | Method and Description |
---|---|
private RankingFunction |
CReasoner.computeCRepresentation()
Computes a minimal c-representation for this reasoner's knowledge base.
|
private RankingFunction |
BruteForceCReasoner.computeCRepresentation()
Computes a minimal c-representation for this reasoner's knowledge base.
|
private RankingFunction |
ZReasoner.computeOCF()
Returns a ranking functions based on penalty points of System Z.
|
private RankingFunction |
BruteForceCReasoner.constructRankingFunction(java.lang.Integer[] kappa)
Constructs a ranking function with the given kappa values [k1+,k1-,...,kn+,kn-], i.e.
|
RankingFunction |
CReasoner.getCRepresentation()
Returns the c-representation this reasoner bases on.
|
RankingFunction |
BruteForceCReasoner.getCRepresentation()
Returns the c-representation this reasoner bases on.
|
RankingFunction |
ZReasoner.getOCF()
Returns the ranking function this reasoner bases on.
|
RankingFunction |
RuleBasedCReasoner.getSemantic() |