public class ModifiedConcreteConcept extends FuzzyConcreteConcept
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 |
---|
ModifiedConcreteConcept(java.lang.String name,
int type,
Modifier modifier,
FuzzyConcreteConcept f) |
ModifiedConcreteConcept(java.lang.String name,
Modifier modifier,
FuzzyConcreteConcept f) |
Modifier and Type | Method and Description |
---|---|
Concept |
complement()
Gets the complement of the concept.
|
double |
getMembershipDegree(double x)
Gets the image in [0,1] of a real number to the explicit membership function.
|
FuzzyConcreteConcept |
getModified()
Gets the concept that is being modified.
|
java.lang.String |
getName()
Gets the definition of the CFC.
|
void |
solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
|
java.lang.String |
toString()
Gets a printable name of the concept.
|
setK1, setK2, solveComplementAssertion
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 ModifiedConcreteConcept(java.lang.String name, Modifier modifier, FuzzyConcreteConcept f) throws FuzzyOntologyException
FuzzyOntologyException
public ModifiedConcreteConcept(java.lang.String name, int type, Modifier modifier, FuzzyConcreteConcept f) throws FuzzyOntologyException
FuzzyOntologyException
public FuzzyConcreteConcept getModified()
public Concept complement() throws FuzzyOntologyException
FuzzyConcreteConcept
complement
in class FuzzyConcreteConcept
FuzzyOntologyException
public void solveAssertion(CreatedIndividual ind, Degree lowerLimit, KnowledgeBase kb)
FuzzyConcreteConcept
solveAssertion
in class FuzzyConcreteConcept
ind
- Subject of the assertion.lowerLimit
- Lower bound of the assertion.kb
- Fuzzy KB.public double getMembershipDegree(double x)
FuzzyConcreteConcept
getMembershipDegree
in class FuzzyConcreteConcept
x
- A real number in the range of values of the explicit membership function.public java.lang.String getName()
FuzzyConcreteConcept
getName
in class FuzzyConcreteConcept
public java.lang.String toString()
Concept
toString
in class FuzzyConcreteConcept