Package | Description |
---|---|
fuzzydl | |
fuzzydl.milp |
Modifier and Type | Method and Description |
---|---|
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 |
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.
|
static void |
ClassicalSolver.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.
|