fuzzydl
Class FuzzyConcreteConcept

java.lang.Object
  fuzzydl.Concept
      fuzzydl.FuzzyConcreteConcept

Direct Known Subclasses:

CrispConcreteConcept, LeftConcreteConcept, RightConcreteConcept, TrapezoidalConcreteConcept, TriangularConcreteConcept

public abstract class FuzzyConcreteConcept
extends Concept

Fuzzy concrete concept defined with an explicit membership function.

Field Summary

protected double	k1
protected double	k2

Fields inherited from class fuzzydl.Concept

ALL, AND, AT_LEAST_VALUE, AT_MOST_VALUE, ATOMIC, BOTTOM, c1, c2, 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_EXACT_VALUE, NOT_EXT_NEG_THRESHOLD, NOT_EXT_POS_THRESHOLD, NOT_G_IMPLIES, NOT_NEG_THRESHOLD, NOT_POS_THRESHOLD, NOT_W_SUM, NOT_WEIGHTED, OR, POS_THRESHOLD, SELF, SOME, TIGHT_LOWER_APPROX, TIGHT_UPPER_APPROX, TOP, type, UPPER_APPROX, W_SUM, WEIGHTED

Constructor Summary

FuzzyConcreteConcept(java.lang.String name)
Constructor.

Method Summary

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.
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(Individual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
abstract void	solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.

Methods inherited from class fuzzydl.Concept

all, and, and, atLeastValue, atMostValue, complement, exactValue, extendedNegThreshold, extendedPosThreshold, g_and, g_and, g_and, g_implies, g_or, g_or, getAtomicConcepts, getFuzzydlName, getName, getRole, getType, getValue, getWeight, getWeightVar, isConcrete, kd_implies, l_and, l_and, l_implies, l_or, l_or, looseLowerApprox, looseUpperApprox, lowerApprox, negThreshold, newAtomicConcept, or, or, posThreshold, self, setName, setType, setValue, some, tightLowerApprox, tightUpperApprox, toString, upperApprox, weightedConcept, z_implies

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

k1

protected double k1

k2

protected double k2

Constructor Detail

FuzzyConcreteConcept

public FuzzyConcreteConcept(java.lang.String name)

Constructor.

Parameters:

name - Name of the concept.

Method Detail

setK1

public void setK1(double k1)

Sets the value of the parameter k1.

Parameters:

k1 - New value of the parameter.

setK2

public void setK2(double k2)

Sets the value of the parameter k2.

Parameters:

k2 - New value of the parameter.

complement

public abstract Concept complement()

Gets the complement of the concept.

Returns:

The complement of the concept.

solveAssertion

public abstract void solveAssertion(Individual ind,
                                    Degree lowerLimit,
                                    KnowledgeBase kb)

Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.

Parameters:

ind - Subject of the assertion.

lowerLimit - Lower bound of the assertion.

kb - Fuzzy KB.

solveComplementAssertion

public abstract void solveComplementAssertion(Individual ind,
                                              Degree lowerLimit,
                                              KnowledgeBase kb)

Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.

Parameters:

ind - Subject of the assertion.

lowerLimit - Lower bound of the assertion.

kb - Fuzzy KB.

getMembershipDegree

public abstract double getMembershipDegree(double x)

Gets the image in [0,1] of a real number to the explicit membership function.

Parameters:

x - A real number in the range of values of the explicit membership function.

Returns:

Image in [0,1] of x to the explicit membership function.