Package | Description |
---|---|
fuzzydl | |
fuzzydl.milp |
Modifier and Type | Class and Description |
---|---|
class |
DegreeExpression
Degree defined using an expression.
|
class |
DegreeNumeric
Degree defined using a real number in [0,1].
|
class |
DegreeVariable
Degree defined using a variable.
|
Modifier and Type | Method and Description |
---|---|
Degree |
Restriction.getDegree()
Gets the lower bound for the degree.
|
Degree |
Relation.getDegree()
Returns the lower bound for the degree.
|
Degree |
GeneralConceptInclusion.getDegree()
Gets the lower bound for the degree.
|
Degree |
AtomicAssertion.getDegree()
Gets the lower bound degree.
|
static Degree |
Degree.getDegree(java.lang.Double numeric)
Constructor for a numeric degree.
|
static Degree |
Degree.getDegree(Expression expr)
Constructor for an expression degree.
|
static Degree |
Degree.getDegree(Variable variable)
Constructor for a variable degree.
|
Degree |
Assertion.getLowerLimit()
Gets the lower bound degree.
|
Modifier and Type | Method and Description |
---|---|
void |
KnowledgeBase.addAssertion(Individual a,
Concept c,
Degree n)
Adds a fuzzy assertion of the form (a : C >= n )
|
void |
KnowledgeBase.addRelation(Individual indA,
java.lang.String role,
Individual indB,
Degree degree)
Adds a fuzzy relation of the form (indA, indB, funcRole, degree)
|
Relation |
Relation.clone(java.lang.String role,
Degree degree)
Gets a relation (role, lower bound for the degree) for the subject individual.
|
boolean |
DegreeVariable.equals(Degree d) |
boolean |
DegreeNumeric.equals(Degree d) |
boolean |
DegreeExpression.equals(Degree d) |
abstract boolean |
Degree.equals(Degree d) |
void |
KnowledgeBase.gImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Goedel General Concept Inclusion.
|
void |
KnowledgeBase.implies(Concept conc1,
Concept conc2,
Degree degree)
Adds a General Concept Inclusion (conc1, conc2, degree)
|
void |
KnowledgeBase.kdImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Kleene-Dienes General Concept Inclusion.
|
void |
KnowledgeBase.lImplies(Concept conc1,
Concept conc2,
Degree degree)
Adds a Lukasiewicz General Concept Inclusion.
|
void |
Assertion.setLowerLimit(Degree deg)
Sets the lower bound degree.
|
void |
TriangularConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
TrapezoidalConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
RightConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
ModifiedConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
LinearConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
LeftConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
abstract void |
FuzzyConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
|
void |
CrispConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
TriangularModifier.solveAssertion(Individual ind,
Concept con,
Degree lowerLimit,
KnowledgeBase kb) |
abstract void |
Modifier.solveAssertion(Individual ind,
Concept con,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
|
void |
LinearModifier.solveAssertion(Individual ind,
Concept con,
Degree lowerLimit,
KnowledgeBase kb) |
void |
ModifiedConcept.solveAssertion(Individual ind,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
|
void |
FuzzyConcreteConcept.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.
|
void |
Modifier.solveComplementAssertion(Individual ind,
Concept con,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
|
void |
ModifiedConcept.solveComplementAssertion(Individual ind,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
|
Constructor and Description |
---|
Assertion(Individual a,
Concept c,
Degree l) |
AtomicAssertion(Concept c,
Degree degree) |
GeneralConceptInclusion(Concept subsumer,
Concept subsumed,
Degree degree,
int type) |
Label(Concept concept,
Degree weight) |
Relation(java.lang.String roleName,
Individual ind1,
Individual ind2,
Degree degree) |
Restriction(java.lang.String roleName,
Concept concept,
Degree degree) |
Modifier and Type | Method and Description |
---|---|
void |
MILPHelper.addNewConstraint(Expression expr,
char constraintType,
Degree degree)
Adds a new inequality of the form: expr constraintType degree.
|
void |
MILPHelper.addNewConstraint(Variable x,
Degree D)
Add an inequality of the form: x >= D.
|