public abstract class ModifiedConcept extends Concept
ALL, AND, AT_LEAST_VALUE, AT_MOST_VALUE, ATOMIC, BOTTOM, CHOQUET_INTEGRAL, COMPLEMENT, CONCEPT_BOTTOM, CONCEPT_TOP, CONCRETE, CONCRETE_COMPLEMENT, EXACT_VALUE, EXT_NEG_THRESHOLD, EXT_POS_THRESHOLD, FUZZY_NUMBER, FUZZY_NUMBER_COMPLEMENT, G_AND, G_IMPLIES, G_OR, L_AND, L_OR, LOOSE_LOWER_APPROX, LOOSE_UPPER_APPROX, LOWER_APPROX, MODIFIED, MODIFIED_COMPLEMENT, NEG_THRESHOLD, NOT_AT_LEAST_VALUE, NOT_AT_MOST_VALUE, NOT_CHOQUET_INTEGRAL, NOT_EXACT_VALUE, NOT_EXT_NEG_THRESHOLD, NOT_EXT_POS_THRESHOLD, NOT_G_IMPLIES, NOT_NEG_THRESHOLD, NOT_OWA, NOT_POS_THRESHOLD, NOT_QUANTIFIED_OWA, NOT_QUASI_SUGENO_INTEGRAL, NOT_SUGENO_INTEGRAL, NOT_W_MAX, NOT_W_MIN, NOT_W_SUM, NOT_W_SUM_ZERO, NOT_WEIGHTED, OR, OWA, POS_THRESHOLD, QUANTIFIED_OWA, QUASI_SUGENO_INTEGRAL, SELF, SOME, SUGENO_INTEGRAL, TIGHT_LOWER_APPROX, TIGHT_UPPER_APPROX, TOP, UPPER_APPROX, W_MAX, W_MIN, W_SUM, W_SUM_ZERO, WEIGHTED
Constructor and Description |
---|
ModifiedConcept(Concept c,
Modifier mod) |
Modifier and Type | Method and Description |
---|---|
abstract Concept |
complement()
Gets the complement of the concept.
|
void |
solveAssertion(Individual ind,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
|
void |
solveComplementAssertion(Individual ind,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
|
java.lang.String |
toString()
Gets a printable name of the concept.
|
all, and, and, atLeastValue, atMostValue, complement, exactValue, extendedNegThreshold, extendedPosThreshold, gAnd, gAnd, getRole, getType, getValue, getWeight, getWeightVar, gImplies, gOr, gOr, isAtomic, isComplementedAtomic, isConcrete, kdImplies, lAnd, lAnd, lImplies, looseLowerApprox, looseUpperApprox, lOr, lOr, lowerApprox, nAry, negThreshold, newAtomicConcept, or, or, posThreshold, self, setName, setType, setValue, some, tightLowerApprox, tightUpperApprox, upperApprox, weightedConcept, zImplies
public abstract Concept complement()
public void solveAssertion(Individual ind, Degree degree, KnowledgeBase kb)
ind
- An individual.degree
- Lower bound for the degree.kb
- A fuzzy KB.public void solveComplementAssertion(Individual ind, Degree degree, KnowledgeBase kb)
ind
- An individual.degree
- Lower bound for the degree.kb
- A fuzzy KB.