public class LeftConcreteConcept 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 |
---|
LeftConcreteConcept(java.lang.String name,
double k1,
double k2,
double a,
double b) |
LeftConcreteConcept(java.lang.String name,
int type,
double k1,
double k2,
double a,
double b) |
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.
|
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.
|
setK1, setK2, solveComplementAssertion, toString
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 LeftConcreteConcept(java.lang.String name, double k1, double k2, double a, double b) throws FuzzyOntologyException
FuzzyOntologyException
public LeftConcreteConcept(java.lang.String name, int type, double k1, double k2, double a, double b) throws FuzzyOntologyException
FuzzyOntologyException
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