fuzzydl
Class GeneralConceptInclusion

java.lang.Object
  extended by fuzzydl.GeneralConceptInclusion

public class GeneralConceptInclusion
extends java.lang.Object

General concept inclusion axiom.


Field Summary
static int GODEL
          Goedel implication
static int KLEENE_DIENES
          Kleene-Dienes implication
static int LUKASIEWICZ
          Lukasiewicz implication
static int ZADEH
          Zadeh'set inclusion
 
Constructor Summary
GeneralConceptInclusion(Concept subsumer, Concept subsumed, Degree degree, int type)
           
 
Method Summary
 Degree getDegree()
          Gets the lower bound for the degree.
 Concept getSubsumed()
          Gets the subsumed concept.
 Concept getSubsumer()
          Gets the subsumer concept.
 int getType()
          Gets the type of the GCI (which depends on the fuzzy implication).
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LUKASIEWICZ

public static final int LUKASIEWICZ
Lukasiewicz implication

See Also:
Constant Field Values

GODEL

public static final int GODEL
Goedel implication

See Also:
Constant Field Values

KLEENE_DIENES

public static final int KLEENE_DIENES
Kleene-Dienes implication

See Also:
Constant Field Values

ZADEH

public static final int ZADEH
Zadeh'set inclusion

See Also:
Constant Field Values
Constructor Detail

GeneralConceptInclusion

public GeneralConceptInclusion(Concept subsumer,
                               Concept subsumed,
                               Degree degree,
                               int type)
Method Detail

getSubsumer

public Concept getSubsumer()
Gets the subsumer concept.

Returns:
Subsumer concept.

getSubsumed

public Concept getSubsumed()
Gets the subsumed concept.

Returns:
Subsumed concept.

getType

public int getType()
Gets the type of the GCI (which depends on the fuzzy implication).

Returns:
Type of the GCI.

getDegree

public Degree getDegree()
Gets the lower bound for the degree.

Returns:
lLwer bound for the degree