fuzzydl

Class FuzzyConcreteConcept

java.lang.Object

fuzzydl.Concept

fuzzydl.FuzzyConcreteConcept

Direct Known Subclasses:

CrispConcreteConcept, LeftConcreteConcept, LinearConcreteConcept, ModifiedConcreteConcept, RightConcreteConcept, TrapezoidalConcreteConcept, TriangularConcreteConcept

public abstract class FuzzyConcreteConcept
extends Concept

Fuzzy concrete concept defined with an explicit membership function.

Author:

Fernando Bobillo

Field Summary

Fields inherited from class fuzzydl.Concept

ALL, AND, AT_LEAST_VALUE, AT_MOST_VALUE, ATOMIC, BOTTOM, CHOQUET_INTEGRAL, COMPLEMENT, CONCEPT_BOTTOM, CONCEPT_TOP, CONCRETE, CONCRETE_COMPLEMENT, DEFAULT_NAME, EXACT_VALUE, EXT_NEG_THRESHOLD, EXT_POS_THRESHOLD, FUZZY_NUMBER, FUZZY_NUMBER_COMPLEMENT, G_AND, G_IMPLIES, G_OR, HAS_VALUE, 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_HAS_VALUE, NOT_NEG_THRESHOLD, NOT_OWA, NOT_POS_THRESHOLD, NOT_QUANTIFIED_OWA, NOT_QUASI_SUGENO_INTEGRAL, NOT_SELF, NOT_SUGENO_INTEGRAL, NOT_W_MAX, NOT_W_MIN, NOT_W_SUM, NOT_W_SUM_ZERO, NOT_WEIGHTED, NOT_Z_IMPLIES, 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, Z_IMPLIES

Constructor Summary

Constructors

Constructor and Description
FuzzyConcreteConcept(java.lang.String name) Constructor.

Method Summary

Modifier and Type	Method and Description
abstract Concept	complement() Gets the complement of the concept.
java.lang.String	computeName()
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 as a string.
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.

Methods inherited from class fuzzydl.Concept

all, and, and, atLeastValue, atMostValue, complement, containsNegatedSubconcept, containsSubconcept, equals, exactValue, extendedNegThreshold, extendedPosThreshold, gAnd, gAnd, getAtomicConceptNames, getAtomicConcepts, getRole, getType, getValue, getWeight, getWeightVar, gImplies, gOr, gOr, hasNominals, hasValue, hasValue, isAtomic, isComplementedAtomic, isConcrete, kdImplies, lAnd, lAnd, lImplies, looseLowerApprox, looseUpperApprox, lOr, lOr, lowerApprox, nAry, negThreshold, newAtomicConcept, notHasValue, or, or, posThreshold, removeElement, replace, self, setName, setType, setValue, some, tightLowerApprox, tightUpperApprox, upperApprox, weightedConcept, zImplies

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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.

computeName

public java.lang.String computeName()

toString

public java.lang.String toString()

Description copied from class: Concept

Gets a printable name of the concept.

Overrides:

toString in class Concept

Returns:

Name of the concept.

complement

public abstract Concept complement()
                            throws FuzzyOntologyException

Gets the complement of the concept.

Returns:

The complement of the concept.

Throws:

FuzzyOntologyException - fuzzy ontology exception.

solveAssertion

public abstract void solveAssertion(CreatedIndividual 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 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.

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.

getName

public abstract java.lang.String getName()

Gets the definition of the CFC as a string.

Returns:

Definition of the CFC.