reasoner
Class Quantifier
java.lang.Object
reasoner.Trapezoid
reasoner.Quantifier
- All Implemented Interfaces:
- FuzzySet
public class Quantifier
- extends Trapezoid
Constructor Summary |
Quantifier(java.lang.Double a1,
java.lang.Double b1,
java.lang.Double c1,
java.lang.Double d1,
java.lang.Double max)
|
Quantifier(java.lang.String name)
|
Methods inherited from class reasoner.Trapezoid |
diff, geta, getb, getc, getd, prod, ratio, seta, setb, setc, setd, setVertices, sum |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
name
private java.lang.String name
formatter
private java.text.NumberFormat formatter
v1
private static double v1
v2
private static double v2
maxval
private double maxval
patternAround
private static final java.lang.String patternAround
- See Also:
- Constant Field Values
patternBetween
private static final java.lang.String patternBetween
- See Also:
- Constant Field Values
Quantifier
public Quantifier(java.lang.Double a1,
java.lang.Double b1,
java.lang.Double c1,
java.lang.Double d1,
java.lang.Double max)
Quantifier
public Quantifier(java.lang.String name)
getAroundValue
public static boolean getAroundValue(java.lang.String name)
getBetweenValue
public static boolean getBetweenValue(java.lang.String name)
setName
private void setName(java.lang.String name1)
setName
private void setName()
getName
public java.lang.String getName()
setVertices
protected void setVertices(java.lang.Double a1,
java.lang.Double b1,
java.lang.Double c1,
java.lang.Double d1,
java.lang.Double max)
fixVertices
private void fixVertices()
getKeys
private java.util.Vector getKeys()
getValue
private java.lang.Double getValue(java.lang.Double d)
getValues
private java.util.Vector getValues()
print
protected void print()
sum
public Quantifier sum(Quantifier t)
diff
public Quantifier diff(Quantifier t)
prod
public Quantifier prod(Quantifier t)
- quantifier product.
- Parameters:
t
-
- Returns:
- the product with a Quantifier
ratio
public Quantifier ratio(Quantifier t)
- quantifier ratio. Possible for divisor quantifier non containing zero!
- Parameters:
t
-
- Returns:
- the ratio with a Quantifier
intersection
public Quantifier intersection(FuzzySet f)
- Overrides:
intersection
in class Trapezoid
- Parameters:
f
-
- Returns:
- the intersection with a FuzzySet
union
public Quantifier union(FuzzySet f)
- Overrides:
union
in class Trapezoid
- Parameters:
f
-
- Returns:
- the union with a FuzzySet
eval
public double eval(Role r,
Concept c)
- evaluation with relative quantifier, a Role and a Concept
- Parameters:
r
- c
-
- Returns:
- (Q)R.C = Q(R_intersection_C / R)
print
public void print(java.util.TreeSet<java.lang.Double> lambda2)
qvalue
public java.lang.Double qvalue(java.lang.Double ratio2)
- evaluation with absolute quantifier, a Role or a Concept
- Parameters:
c
-
- Returns:
- evaluation of expression (Q)C
eval
public double eval(FuzzySet c)
- Parameters:
c
-
- Returns:
getMaxval
public double getMaxval()
- Returns:
- the maxval
setMaxval
public void setMaxval(double maxval)
- Parameters:
maxval
- the maxval to set
card
public java.lang.Integer card(java.lang.Double alfa1)
getLambda
public java.util.TreeSet<java.lang.Double> getLambda()