Package | Description |
---|---|
fuzzydl | |
fuzzydl.parser |
Modifier and Type | Method and Description |
---|---|
KnowledgeBase |
KnowledgeBase.clone()
Gets a copy of a knowledge base.
|
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 |
CreatedIndividual.isBlocked(KnowledgeBase kb)
Gets if the individual is blocked with respect to a fuzzy KB.
|
boolean |
KbSatisfiableQuery.isConsistentKB(KnowledgeBase kb) |
boolean |
CreatedIndividual.isIndirectlyBlocked(KnowledgeBase kb)
Gets if the individual is indirectly blocked with respect to a fuzzy KB.
|
void |
CreatedIndividual.markIndirectlySimpleUnChecked(KnowledgeBase kb)
Marks the subtree of a node as indirectly unblocked
|
abstract void |
Query.preprocess(KnowledgeBase kb)
Performs some preprocessing steps of the query over a fuzzy KB.
|
void |
MomDefuzzifyQuery.preprocess(KnowledgeBase kb) |
void |
MinSubsumesQuery.preprocess(KnowledgeBase kb) |
void |
MinSatisfiableQuery.preprocess(KnowledgeBase kb) |
void |
MinRelatedQuery.preprocess(KnowledgeBase kb) |
void |
MinQuery.preprocess(KnowledgeBase kb) |
void |
MinInstanceQuery.preprocess(KnowledgeBase kb) |
void |
MaxSubsumesQuery.preprocess(KnowledgeBase kb) |
void |
MaxSatisfiableQuery.preprocess(KnowledgeBase kb) |
void |
MaxRelatedQuery.preprocess(KnowledgeBase kb) |
void |
MaxQuery.preprocess(KnowledgeBase kb) |
void |
MaxInstanceQuery.preprocess(KnowledgeBase kb) |
void |
KbSatisfiableQuery.preprocess(KnowledgeBase kb) |
void |
DefuzzifyQuery.preprocess(KnowledgeBase kb) |
void |
BnpQuery.preprocess(KnowledgeBase kb) |
void |
AllInstancesQuery.preprocess(KnowledgeBase kb) |
abstract Solution |
Query.solve(KnowledgeBase kb)
Solves the query over a fuzzy KB.
|
Solution |
MomDefuzzifyQuery.solve(KnowledgeBase kb) |
Solution |
MinSubsumesQuery.solve(KnowledgeBase kb) |
Solution |
MinSatisfiableQuery.solve(KnowledgeBase kb) |
Solution |
MinRelatedQuery.solve(KnowledgeBase kb) |
Solution |
MinQuery.solve(KnowledgeBase kb) |
Solution |
MinInstanceQuery.solve(KnowledgeBase kb) |
Solution |
MaxSubsumesQuery.solve(KnowledgeBase kb) |
Solution |
MaxSatisfiableQuery.solve(KnowledgeBase kb) |
Solution |
MaxRelatedQuery.solve(KnowledgeBase kb) |
Solution |
MaxQuery.solve(KnowledgeBase kb) |
Solution |
MaxInstanceQuery.solve(KnowledgeBase kb) |
Solution |
KbSatisfiableQuery.solve(KnowledgeBase kb) |
Solution |
DefuzzifyQuery.solve(KnowledgeBase kb) |
Solution |
BnpQuery.solve(KnowledgeBase kb) |
Solution |
AllInstancesQuery.solve(KnowledgeBase kb) |
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.
|
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.
|
void |
TriangularConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
TrapezoidalConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
RightConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
ModifiedConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
LinearConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
LeftConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
abstract void |
FuzzyConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, degree) with respect to a fuzzy KB.
|
void |
CrispConcreteConcept.solveAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb) |
void |
TriangularModifier.solveAssertion(Individual ind,
Concept con,
Degree lowerLimit,
KnowledgeBase kb) |
abstract void |
Modifier.solveAssertion(Individual ind,
Concept con,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
|
void |
LinearModifier.solveAssertion(Individual ind,
Concept con,
Degree lowerLimit,
KnowledgeBase kb) |
void |
ModifiedConcept.solveAssertion(Individual ind,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept, lower degree) with respect to a fuzzy KB.
|
void |
WeightedSumZeroConcept.solveAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
|
void |
WeightedSumConcept.solveAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
|
void |
WeightedMinConcept.solveAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
|
void |
WeightedMaxConcept.solveAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
|
void |
SugenoIntegral.solveAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
|
void |
OwaConcept.solveAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
|
void |
ChoquetIntegral.solveAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, concept) with respect to a fuzzy KB.
|
void |
FuzzyConcreteConcept.solveComplementAssertion(CreatedIndividual ind,
Degree lowerLimit,
KnowledgeBase kb)
Solves an assertion of the form (individual, complement of the concept, degree) with respect to a fuzzy KB.
|
void |
Modifier.solveComplementAssertion(Individual ind,
Concept con,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
|
void |
ModifiedConcept.solveComplementAssertion(Individual ind,
Degree degree,
KnowledgeBase kb)
Solves an assertion of the form (individual, negated concept, lower degree) with respect to a fuzzy KB.
|
void |
WeightedSumZeroConcept.solveComplementedAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
|
void |
WeightedSumConcept.solveComplementedAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
|
void |
WeightedMinConcept.solveComplementedAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
|
void |
WeightedMaxConcept.solveComplementedAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
|
void |
SugenoIntegral.solveComplementedAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
|
void |
OwaConcept.solveComplementedAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, not concept) with respect to a fuzzy KB.
|
void |
ChoquetIntegral.solveComplementedAssertion(Individual ind,
KnowledgeBase kb)
Solves an assertion of the form (individual, not concept) with respect to a 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.
|
void |
CreatedIndividual.unblockDirectlyBlocked(KnowledgeBase kb)
Unblocks an indirectly blocked individual.
|
void |
CreatedIndividual.unblockIndirectlyBlocked(KnowledgeBase kb)
Unblocks an indirectly blocked individual.
|
Modifier and Type | Method and Description |
---|---|
KnowledgeBase |
Parser.getKB()
Gets the fuzzy KB.
|
static KnowledgeBase |
Parser.getKB(java.lang.String fileName)
Creates a fuzzy KB from an external file.
|