fuzzydl
Class TriangularlyModifiedConcept

java.lang.Object
  fuzzydl.Concept
      fuzzydl.ModifiedConcept
          fuzzydl.TriangularlyModifiedConcept

public class TriangularlyModifiedConcept
extends ModifiedConcept

Fuzzy concept modified with a triangular modifier.

Field Summary

Fields inherited from class fuzzydl.ModifiedConcept

mod

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

TriangularlyModifiedConcept(Concept c, Modifier mod)

TriangularlyModifiedConcept(Concept c, Modifier mod, java.lang.String name, int type)

Method Summary

Concept	complement() Gets the complement of the concept.
void	solveAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
void	solveComplementAssertion(Individual ind, Degree lowerLimit, KnowledgeBase kb) Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.

Methods inherited from class fuzzydl.ModifiedConcept

getFuzzydlName

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

Constructor Detail

TriangularlyModifiedConcept

public TriangularlyModifiedConcept(Concept c,
                                   Modifier mod)

TriangularlyModifiedConcept

public TriangularlyModifiedConcept(Concept c,
                                   Modifier mod,
                                   java.lang.String name,
                                   int type)

Method Detail

complement

public Concept complement()

Description copied from class: ModifiedConcept

Gets the complement of the concept.

Specified by:

complement in class ModifiedConcept

Returns:

Complement of the concept.

solveAssertion

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

Description copied from class: ModifiedConcept

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

Specified by:

solveAssertion in class ModifiedConcept

Parameters:

ind - An individual.

lowerLimit - Lower bound for the degree.

kb - A fuzzy KB.

solveComplementAssertion

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

Description copied from class: ModifiedConcept

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

Specified by:

solveComplementAssertion in class ModifiedConcept

Parameters:

ind - An individual.

lowerLimit - Lower bound for the degree.

kb - A fuzzy KB.