Package | Description |
---|---|
fuzzydl | |
fuzzydl.milp |
Modifier and Type | Class and Description |
---|---|
class |
CreatedIndividual
New individual (created during the reasoning).
|
Modifier and Type | Field and Description |
---|---|
Individual |
CreatedIndividual.parent
Parent of the individual.
|
Modifier and Type | Field and Description |
---|---|
java.util.Hashtable<java.lang.String,Individual> |
KnowledgeBase.individuals
Individuals.
|
Modifier and Type | Method and Description |
---|---|
Individual |
Individual.clone()
Gets a copy of an individual.
|
Individual |
Assertion.getIndividual()
Gets the individual.
|
Individual |
KnowledgeBase.getIndividual(java.lang.String indName)
Gets an individual with the indicated name (creating it if necessary).
|
Individual |
Relation.getObjectIndividual()
Gets the object individual.
|
Individual |
CreatedIndividual.getParent()
Gets the parent of the individual.
|
Individual |
Relation.getSubjectIndividual()
Gets the subject individual.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Individual> |
AllInstancesQuery.getIndividuals()
Gets the named individuals of the knowledge base.
|
Modifier and Type | Method and Description |
---|---|
void |
KnowledgeBase.addAssertion(Individual a,
Concept c,
Degree n)
Adds a fuzzy assertion of the form (a : C >= n )
|
void |
KnowledgeBase.addAssertion(Individual a,
Restriction restric)
Adds a fuzzy assertion of the form (a : forall R.C >= n )
|
void |
KnowledgeBase.addRelation(Individual indA,
java.lang.String role,
Individual indB,
Degree degree)
Adds a fuzzy relation of the form (indA, indB, funcRole, degree)
|
void |
Assertion.setIndividual(Individual ind)
Sets the individual of the assertion.
|
void |
Relation.setObjectIndividual(Individual ind)
Sets the object individual.
|
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 |
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.
|
Expression |
FeatureFunction.toExpression(Individual a,
MILPHelper milp)
Returns a Expression representing the function.
|
Constructor and Description |
---|
Assertion(Individual a,
Concept c,
Degree l) |
CreatedIndividual(java.lang.String name,
Individual parent,
java.lang.String roleName)
Constructor.
|
DefuzzifyQuery(Concept c,
Individual ind,
java.lang.String featureName) |
InstanceQuery(Concept concept,
Individual individual) |
LomDefuzzifyQuery(Concept c,
Individual ind,
java.lang.String featureName) |
MaxInstanceQuery(Concept concept,
Individual individual) |
MaxRelatedQuery(Individual a,
Individual b,
java.lang.String roleName) |
MaxSatisfiableQuery(Concept c,
Individual a)
Constructor for a satisfiability query involving a specific individual.
|
MinInstanceQuery(Concept concept,
Individual individual) |
MinRelatedQuery(Individual a,
Individual b,
java.lang.String roleName) |
MinSatisfiableQuery(Concept c,
Individual a)
Constructor for a satisfiability query involving a specific individual.
|
MomDefuzzifyQuery(Concept c,
Individual ind,
java.lang.String featureName) |
Relation(java.lang.String roleName,
Individual ind1,
Individual ind2,
Degree degree) |
SatisfiableQuery(Concept c,
Individual a)
Constructor for a satisfiability query involving a specific individual.
|
SomDefuzzifyQuery(Concept c,
Individual ind,
java.lang.String fName) |
Modifier and Type | Method and Description |
---|---|
Variable |
MILPHelper.getVariable(Individual ind,
Concept c)
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.
|
Variable |
MILPHelper.getVariable(Individual a,
Individual b,
java.lang.String role)
Gets a variable taking the value of a role assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
Variable |
MILPHelper.getVariable(Individual a,
Individual b,
java.lang.String role,
char type)
Gets a variable taking the value of a role assertion, creating a new one of type UP_BOUND_BY_ONE if it does not exist.
|
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.
|
Variable |
MILPHelper.getVariable(Individual ind,
java.lang.String conceptName)
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.
|