Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Example:
Show DeMorgans laws A B A B
show 1) A B A B
2) A B A B
(1) Show A B A B
Let S A B and T A B
Show A B A B show S T
show x S x T
1-6
Given x S => x A B
=> x A B => x A x B
=> x A x B => x A B T
S T
Similarly, T S (Assignment 1)
so ST
(2) Show A B A B (Assignment 2)
Partial order
Let X {a, b, c}
Let P( X ) be the power set of X ignoring the
empty set .
P( X ) {{a},{b},{c},{a, b},{a, c},{b, c},{a, b, c}}
Partition: ( A) { Ai | i I , Ai A}
i) Ai
ii) Ai Aj
1-8
iii) UA A
iI
i
Refinement relation :
Let 1 , 2 be 2 partitions of A.
If Ai1 one and only one A j s.t. Ai Aj
2 1 2
=> 1 is a refinement of 2
1 2
Let ( A) be the set of all partitions of A
( A), forms a lattice (partition lattice).
Nested family:
A = { A1 , A2 ,.............., An } if Ai Ai 1
A1 : innermost set, An : outermost set
Convex set A:
r , s A , and [0,1]
t r (1 ) s A
1-9
e.g.,
1
i) close to 0 : A ( x)
1 10 x 2
1-11
2
1
ii) very close to 0 : A ( x) 2
1 10 x
1
iii) close to a : A ( x)
1 10( x a ) 2
Generalization
i) Ordinary fuzzy sets: A : X [0,1]
Abbreviated as A : X [0,1] .
i.e., Each element of X is assigned a
particular real number (i.e., precise
membership grades).
ii) L-fuzzy sets: A : X L , where L is a partial
order set.
iii) Intervalvalued fuzzy sets: A : X ([0,1]) ,
where ([0,1]) is the family of all closed
interval in [0,1].
1-13
(b) Type-3
1-14
(b) Level 3:
1-15
Membership functions:
1 x 20
A1 ( x ) (35 x ) /15 20 x 35
0 x 35
0 x 20 or x 60
( x 20) /15 20 x 35
A2 ( x)
(60 x) /15 45 x 60
1 35 x 45
0 x 45
A3 ( x) ( x 45) /15 45 x 60
1 x 60
1-16
-cut A : A {x | A( x) }
1
If 1 2 A 2 A
Strong -cut
A:
A {x | A( x) }
e.g.,
1-17
A1 [0,35 15 ]
A2 [15 20, 60 15 ] (0,1]
A3 [15 45,80]
A1 (0,35 15 )
A2 (15 20, 60 15 ) [0,1)
A3 (15 45,80)
Level set ( A)
( A) { | x X , s.t A( x) }
or { | A }
e.g.,
Continuous case ---
( A1 ) ( A2 ) ( A3 ) [0,1]
Support
S ( A) = [x X | A( x ) 0]
S ( A) 0
A , e.g., S ( D2 ) {22, 24,
,58}
1-18
Normalh(A) = 1
Subnormalh(A) < 1
Convex fuzzy set
(0,1] , -cut is convex
A( x1 (1 ) x2 ) min [ A( x1 ), A( x2 )]
Proof
i, ( ) Given A : convex ,
x1, x2 , Let a = min[A(x1), A(x2 )]
x1, x2 a A
Q A : convex a A convex
[0,1], x x1 (1 ) x2 a A
(definition of convex set)
A( x) a min[ A( x1 ), A( x2 )]
ii, ( )
x1, x2 , Given A( x1 (1 ) x2 )
min[ A( x1), A( x2 )]
(Show that (0,1] , A : convex )
x1, x2 , , s,t.
A(x1) , A(x2 ) (i,e., x1,x2 A) (1)
Q [0,1]
A( x1 (1 ) x2 ) min[ A( x1), A( x2 )]
min( , ) ,
i.e., x1 (1 ) x2 A (2)
(1), (2) A : convex A : convex
Standard complement A( x) 1 A( x)
Equilibrium points A( x) A( x)
A( x) A( x) 1 A( x) 2 A( x) 1 A( x) A( x) 0.5
Standard intersection ( A B)( x) min[ A( x), B( x)]
Standard union: ( A B)( x) max[ A( x), B( x)]
Example: A1 A3 ?
1-23
x
i, if A(x) B(x) ,
min[A(x) , B(x)] = A(x) and
max[A(x), B(x)] = A(x)
ii, if A(x) > B(x) ,
min[A(x) , B(x)] = B(x) and
max[A(x) , B(x)] = A(x)
A B iff x , A( x) B ( x )
A B A, A B B
Fuzzy cardinality
1-27
Fuzzy cardinality | A |
--- a fuzzy number define on N whose
membership function is
A | A | (| A |)
or | A |
A | A |
the degree to which fuzzy set A
| A|
contain the number of members ,
| A | , is
1-28
Example
Xcrisp universal set
X = {5 , 10 , 20 , 30 , 40 , 50 , 60 , 70 , 80}
Fuzzy sets labeled as
infant , adult , young , old
1-29
when
1-30
| 0.1 old| 7
= 0.2, 0.2
old {30, 40,50, 60, 70,80}
| 0.2 old| 6
= 0.4, 0.4
old {40,50, 60, 70,80}
| 0.4 old| 5
= 0.6, 0.6
old {,50, 60, 70,80}
| 0.6 old| 4
= 0.8, 0.8
old {60, 70,80}
| 0.8 old| 3
= 1, old {70,80}
1
| 1 old| 2
| 0.1 0.2 0.4 0.6 0.8 1
| old
7 6 5 4 3 2
| A B |
S ( A, B )
| A|
1
S ( A, B ) (| A | max{0, A( x) B ( x )})
| A| x X
1
= (| B | max{0, B( x) A( x)})
| A| x X
1
= ( min{ A( x), B( x)})
| A | xX
a1 a a
A 1 n
x1 x2 xn
b1 b2 bn
B
x1 x2 xn
0 ai , bi 1
From A PA (a1 , a2 ,
, an )
From B PB (b1 , b2 ,
, bn )
In an n-D space ,
d ( A, B ) | A( x ) B ( x) |
x X
d ( A, B ) d ( B, A)
The n-cube represents the fuzzy power set (X)
The vertices represents the crisp power set P(X)
Scalar cardinality |A| = d(A,):
Probability distributions are represented by sets
1-33