public class ClassicalSolver
extends java.lang.Object
Constructor and Description |
---|
ClassicalSolver() |
Modifier and Type | Method and Description |
---|---|
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.