public class ZadehSolver
extends java.lang.Object
Constructor and Description |
---|
ZadehSolver() |
Modifier and Type | Method and Description |
---|---|
static void |
orEquation(java.util.Vector<Variable> x,
Variable z,
MILPHelper milp) |
static void |
solveAll(Relation rel,
Restriction restric,
KnowledgeBase kb)
Solves a universal restriction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
solveAnd(Assertion ass,
KnowledgeBase kb)
Solves a conjunction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
solveOr(Assertion ass,
KnowledgeBase kb)
Solves a disjunction fuzzy assertion with respect to a reference fuzzy KB.
|
static void |
solveSome(Assertion ass,
KnowledgeBase kb)
Solves a existential restriction fuzzy assertion with respect to a reference fuzzy KB.
|
public static void solveAnd(Assertion ass, KnowledgeBase kb)
ass
- A conjunction fuzzy assertion.kb
- A reference fuzzy KB.public static void solveOr(Assertion ass, KnowledgeBase kb)
ass
- A disjunction fuzzy assertion.kb
- A reference fuzzy KB.public static void solveSome(Assertion ass, KnowledgeBase kb)
ass
- A existential restriction fuzzy assertion.kb
- A reference fuzzy KB.public static void solveAll(Relation rel, Restriction restric, KnowledgeBase kb)
rel
- A relation.restric
- A universal restriction.kb
- A reference fuzzy KB.public static void orEquation(java.util.Vector<Variable> x, Variable z, MILPHelper milp)