reasoner
Class Quantifier

java.lang.Object
  extended by reasoner.Trapezoid
      extended by reasoner.Quantifier
All Implemented Interfaces:
FuzzySet

public class Quantifier
extends Trapezoid


Field Summary
private  java.text.NumberFormat formatter
           
private  double maxval
           
private  java.lang.String name
           
private static java.lang.String patternAround
           
private static java.lang.String patternBetween
           
private static double v1
           
private static double v2
           
 
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)
           
 
Method Summary
 java.lang.Integer card(java.lang.Double alfa1)
           
 Quantifier diff(Quantifier t)
           
 double eval(FuzzySet c)
           
 double eval(Role r, Concept c)
          evaluation with relative quantifier, a Role and a Concept
private  void fixVertices()
           
static boolean getAroundValue(java.lang.String name)
           
static boolean getBetweenValue(java.lang.String name)
           
private  java.util.Vector getKeys()
           
 java.util.TreeSet<java.lang.Double> getLambda()
           
 double getMaxval()
           
 java.lang.String getName()
           
private  java.lang.Double getValue(java.lang.Double d)
           
private  java.util.Vector getValues()
           
 Quantifier intersection(FuzzySet f)
           
protected  void print()
           
 void print(java.util.TreeSet<java.lang.Double> lambda2)
           
 Quantifier prod(Quantifier t)
          quantifier product.
 java.lang.Double qvalue(java.lang.Double ratio2)
          evaluation with absolute quantifier, a Role or a Concept
 Quantifier ratio(Quantifier t)
          quantifier ratio.
 void setMaxval(double maxval)
           
private  void setName()
           
private  void setName(java.lang.String name1)
           
protected  void setVertices(java.lang.Double a1, java.lang.Double b1, java.lang.Double c1, java.lang.Double d1, java.lang.Double max)
           
 Quantifier sum(Quantifier t)
           
 Quantifier union(FuzzySet f)
           
 
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
 

Field Detail

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
Constructor Detail

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)
Method Detail

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()