Package | Description |
---|---|
fuzzydl | |
fuzzydl.milp |
Modifier and Type | Field and Description |
---|---|
java.util.ArrayList<Assertion> |
KnowledgeBase.assertions
Fuzzy assertions.
|
java.util.Hashtable<java.lang.String,java.util.ArrayList<Assertion>> |
KnowledgeBase.blockedAssertions
Blocked assertions.
|
java.util.Hashtable<java.lang.String,java.util.ArrayList<Assertion>> |
KnowledgeBase.blockedExistAssertions
Blocked existential assertions.
|
java.util.ArrayList<Assertion> |
KnowledgeBase.existAssertions
Exists assertions.
|
Modifier and Type | Method and Description |
---|---|
static void |
DatatypeReasoner.applyAtLeastValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy at-least value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyAtMostValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy at-most value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyExactValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy exact value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyNotAtLeastValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy not at-least value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyNotAtMostValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy not at-most value assertion, with respect to a fuzzy KB.
|
static void |
DatatypeReasoner.applyNotExactValueRule(Assertion ass,
KnowledgeBase kb)
Reasons with a fuzzy not exact value assertion, with respect to a fuzzy KB.
|
boolean |
Assertion.equals(Assertion ass)
Indicates whether some other assertion is "equal to" this one.
|
static void |
ZadehSolver.solveAnd(Assertion ass,
KnowledgeBase kb)
Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
LukasiewiczSolver.solveAnd(Assertion ass,
KnowledgeBase kb)
Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
ClassicalSolver.solveAnd(Assertion ass,
KnowledgeBase kb)
Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
ZadehSolver.solveOr(Assertion ass,
KnowledgeBase kb)
Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
LukasiewiczSolver.solveOr(Assertion ass,
KnowledgeBase kb)
Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
ClassicalSolver.solveOr(Assertion ass,
KnowledgeBase kb)
Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
ZadehSolver.solveSome(Assertion ass,
KnowledgeBase kb)
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
LukasiewiczSolver.solveSome(Assertion ass,
KnowledgeBase kb)
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
ClassicalSolver.solveSome(Assertion ass,
KnowledgeBase kb)
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
|
Modifier and Type | Method and Description |
---|---|
void |
MILPHelper.addNewConstraint(Assertion ass)
Adds a new inequality encoded in a fuzzy assertion.
|
void |
MILPHelper.addNewConstraint(Assertion ass,
double n)
Given a fuzzy assertion a:C >= L and a number n, adds an inequality of the form: xAss >= n.
|
int |
MILPHelper.getNumberForAssertion(Assertion ass)
Gets an integer codification of an assertion.
|
Variable |
MILPHelper.getVariable(Assertion ass)
Gets a variable taking the value of a concept assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
boolean |
MILPHelper.hasVariable(Assertion ass)
Cheks if there is a variable for a concept assertion.
|