public abstract class FuzzyConcreteConcept 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 |
---|
FuzzyConcreteConcept(java.lang.String name)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
abstract Concept |
complement()
Gets the complement of the concept.
|
abstract double |
getMembershipDegree(double x)
Gets the image in [0,1] of a real number to the explicit membership function.
|
abstract java.lang.String |
getName()
Gets the definition of the CFC.
|
void |
setK1(double k1)
Sets the value of the parameter k1.
|
void |
setK2(double k2)
Sets the value of the parameter k2.
|
abstract void |
solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
|
void |
solveComplementAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb)
Solves an assertion of the form (individual, complement of the concept, 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 FuzzyConcreteConcept(java.lang.String name)
name
- Name of the concept.public void setK1(double k1)
k1
- New value of the parameter.public void setK2(double k2)
k2
- New value of the parameter.public java.lang.String toString()
Concept
public abstract Concept complement() throws FuzzyOntologyException
FuzzyOntologyException
public abstract void solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
ind
- Subject of the assertion.lowerLimit
- Lower bound of the assertion.kb
- Fuzzy KB.public void solveComplementAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
ind
- Subject of the assertion.lowerLimit
- Lower bound of the assertion.kb
- Fuzzy KB.public abstract double getMembershipDegree(double x)
x
- A real number in the range of values of the explicit membership function.public abstract java.lang.String getName()