Package | Description |
---|---|
fuzzydl | |
fuzzydl.milp |
Modifier and Type | Method and Description |
---|---|
void |
KnowledgeBase.addAssertion(Individual a,
Restriction restric)
Adds a fuzzy assertion of the form (a : forall R.C >= n )
|
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(Individual ind,
Restriction restric)
Gets a variable taking the value of a universal restriction, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|