Professional Documents
Culture Documents
Paradoxes
A heterological word is one that does not
describe itself. For example, long is
heterological, and monosyllabic is
heterological.
Is heterological heterological?
Paradoxes
Bertrand Russells barber paradox (1901)
The barber shaves a man if and only if he does
not shave himself. Who shaves the barber?
Paradoxes
Sorites paradox:
Premise 1: One million grains of sand is a heap
Premise 2: A heap minus one grain is a heap
Heap-ness
0
Number of grains
Fuzzy Sets
Sets with fuzzy boundaries
A = Set of tall people
Crisp set A
1.0
Fuzzy set A
1.0
.9
Membership
.5
510
Heights
function
510 62
Heights
Membership
tall in Asia
.8
tall in the US
.5
tall in NBA
.1
510
Height
Fuzzy Sets
Formal definition:
A fuzzy set A in X is expressed as a set of ordered
pairs:
A {( x , A ( x ))| x X }
Fuzzy set
Membership
function
(MF)
Universe or
universe of discourse
B(x)
1
x 50
1
10
Alternative Notation
A fuzzy set A can be alternatively denoted as
follows:
X is discrete
X is continuous
( xi ) / xi
xi X
A A( x) / x
X
Fuzzy Partition
Fuzzy partitions formed by the linguistic values
young, middle aged, and old:
lingmf.m
More Definitions
Support
Convexity
Core
Fuzzy numbers
Normality
Bandwidth
Crossover points
Symmetricity
Fuzzy singleton
-cut, strong -cut
MF Terminology
These expressions are all defined in terms of x.
MF
1
.5
Core
Crossover points
- cut
Support
convexmf.m
Set-Theoretic Operations
Subset:
A B A B for all x
Complement:
A X A A (x ) 1 A (x )
Union:
C A B c (x ) m ax(A (x ),B (x )) A (x ) B (x )
Intersection:
C A B c (x ) m in(A (x ),B (x )) A (x ) B (x )
Set-Theoretic Operations
subset.m
fuzsetop.m
MF Formulation
Triangular MF:
x a c x
trimf ( x; a, b, c) max min
,
,
0
b a c b
Trapezoidal MF:
d x
xa
trapmf ( x; a, b, c, d ) max min
,1,
, 0
d c
ba
Gaussian MF:
gaussmf ( x; c, ) e
1 x c
gbellmf ( x; a, b, c)
1
xc
1
a
2b
MF Formulation
disp_mf.m
MF Formulation
Sigmoidal MF: sigmf ( x; a, c)
1
1 e a ( x c )
c = crossover point
a controls the
slope, and right/left
Extensions:
Abs. difference
of two sig. MF
(open right MFs)
Product
of two sig. MFs
disp_sig.m
MF Formulation
L-R
(left-right)
MF:
Example:
c x
,x c
a
x c
FR
,x c
b
FL
LR( x; c, a, b)
F L (x ) m ax(0 ,1 x 2 ) F R (x ) exp( x )
c=65
c=25
a=60
a=10
b=10
b=40
difflr.m
Cylindrical Extension
Base set A
Cylindrical Ext. of A
cyl_ext.m
2D MF Projection
Two-dimensional
Projection
Projection
MF
onto X
onto Y
(a) A Two-dimensional MF
1
0.5
0
R ( x, y )
project.m
A( x)
max R ( x , y )
y
B( y)
max R ( x , y )
x
2D Membership Functions
2dmf.m
N s (a )
1 a
1 sa
N w ( a ) (1 a w )1/ w
Fuzzy Complement
Sugenos complement:
1 a
N s (a )
1 sa
Yagers complement:
N w ( a ) (1 a w )1/ w
negation.m
Minimum: Tm(a, b)
Algebraic product: Ta(a, b)
Bounded product: Tb(a, b)
Drastic product: Td(a, b)
T-norm Operator
Minimum:
Tm(a, b)
Algebraic
product:
Ta(a, b)
tnorm.m
Bounded
product:
Tb(a, b)
Drastic
product:
Td(a, b)
Maximum: Sm(a, b)
Algebraic sum: Sa(a, b)
Bounded sum: Sb(a, b)
Drastic sum: Sd(a, b)
T-conorm or S-norm
Maximum:
Sm(a, b)
Algebraic
sum:
Sa(a, b)
Bounded
sum:
Sb(a, b)
tconorm.m
Drastic
sum:
Sd(a, b)
Sm(a, b)
Sa(a, b)
Sb(a, b)
Sd(a, b)
Yager
Schweizer and Sklar
Dubois and Prade
Hamacher
Frank
Sugeno
Dombi