| Package | Description |
|---|---|
| fuzzydl | |
| fuzzydl.milp |
| Modifier and Type | Method and Description |
|---|---|
Relation |
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.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
ClassicalSolver.solveAll(Relation rel,
Restriction restric,
KnowledgeBase kb)
Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
ZadehSolver.solveAll(Relation rel,
Restriction restric,
KnowledgeBase kb)
Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
LukasiewiczSolver.solveAll(Relation rel,
Restriction restric,
KnowledgeBase kb)
Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
|
| Modifier and Type | Method and Description |
|---|---|
Variable |
MILPHelper.getVariable(Relation rel)
Gets a variable taking the value of a role assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|