fuzzydl
Class RightConcreteConcept

java.lang.Object
  fuzzydl.Concept
      fuzzydl.FuzzyConcreteConcept
          fuzzydl.RightConcreteConcept

public class RightConcreteConcept
extends FuzzyConcreteConcept

Fuzzy concrete concept defined with a right shoulder function.

Field Summary

Fields inherited from class fuzzydl.FuzzyConcreteConcept

k1, 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

RightConcreteConcept(java.lang.String name, double k1, double k2, double a, double b)

RightConcreteConcept(java.lang.String name, int type, double k1, double k2, double a, double b)

Method Summary

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

Methods inherited from class fuzzydl.FuzzyConcreteConcept

setK1, setK2

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, upperApprox, weightedConcept, z_implies

Methods inherited from class java.lang.Object

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

Constructor Detail

RightConcreteConcept

public RightConcreteConcept(java.lang.String name,
                            double k1,
                            double k2,
                            double a,
                            double b)
                     throws FuzzyOntologyException

Throws:

FuzzyOntologyException

RightConcreteConcept

public RightConcreteConcept(java.lang.String name,
                            int type,
                            double k1,
                            double k2,
                            double a,
                            double b)
                     throws FuzzyOntologyException

Throws:

FuzzyOntologyException

Method Detail

complement

public Concept complement()

Description copied from class: FuzzyConcreteConcept

Gets the complement of the concept.

Specified by:

complement in class FuzzyConcreteConcept

Returns:

The complement of the concept.

solveAssertion

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

Description copied from class: FuzzyConcreteConcept

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

Specified by:

solveAssertion in class FuzzyConcreteConcept

Parameters:

ind - Subject of the assertion.

lowerLimit - Lower bound of the assertion.

kb - Fuzzy KB.

solveComplementAssertion

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

Description copied from class: FuzzyConcreteConcept

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

Specified by:

solveComplementAssertion in class FuzzyConcreteConcept

Parameters:

ind - Subject of the assertion.

lowerLimit - Lower bound of the assertion.

kb - Fuzzy KB.

getMembershipDegree

public double getMembershipDegree(double x)

Description copied from class: FuzzyConcreteConcept

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

Specified by:

getMembershipDegree in class FuzzyConcreteConcept

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.

toString

public java.lang.String toString()

Overrides:

toString in class Concept