fuzzydl
Class LinearlyModifiedConcept

java.lang.Object
  fuzzydl.Concept
      fuzzydl.ModifiedConcept
          fuzzydl.LinearlyModifiedConcept

public class LinearlyModifiedConcept
extends ModifiedConcept

Fuzzy concept modified with a linear 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

LinearlyModifiedConcept(Concept c, Modifier mod)

LinearlyModifiedConcept(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

LinearlyModifiedConcept

public LinearlyModifiedConcept(Concept c,
                               Modifier mod)

LinearlyModifiedConcept

public LinearlyModifiedConcept(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.