Professional Documents
Culture Documents
مساق الحوسبة ر
Soft Computing 8702661
Dr. Labib Arafeh,
Associate Professor
Larafeh@staff.alquds.edu
10 15 20 10 15 20
Air Temperature Air Temperature
Ch2 SC Fall 2016 3
• Sets with fuzzy boundaries
Degree of Membership of “tall men”
No Name Height (cm)
Crisp Fuzzy
1 Fadi 206 1 1
2 Rami 190 1 1
3 Hani 175 0 0.8
4 Sami 160 0 0.7
5 Hadi 155 0 0.4
A = Set of tall people
.8
.5 “tall” in the US
.1 “tall” in NBA
175 Heights
Ch2 SC Fall 2016 5
Basic definitions & Terminology
• Classical Set vs Fuzzy set:
– Let X be the universe of discourse and its elements be
denoted as x.
– In the classical set theory, crisp set A of X is defined as
function fA(x) called the characteristic function of A
1, if x A
f A ( x ) : X {0,1}, where f A ( x )
0, if x A
–In the fuzzy theory, fuzzy set A of universe of discourse X is
defined by function A (x) (membership function of set A)
A ( x) : X [0,1], where A ( x) 1 if x is totally in A;
A ( x) 0 if x is not in A;
0 A ( x) 1 if x is partly in A.
Ch2 SC Fall 2016 6
• Formal definition:
If X is a collection of objects denoted generally by x, then
A fuzzy set A in X is expressed as a set of ordered pairs:
A {( x , A ( x ))| x X }
Membership
Universe or
Fuzzy set function
universe of discourse
(MF)
Membership 0.8
0.6
values!) 0.4
0.2
0
0 1 2 3 4 5 6
X = Number of Children
1 0.80
μB(x) 2
membership Grades
0.70
x 50
1
0.60
10
0.50
0.40
0.30
0.20
0.10
0.00
0 10 20 30 40 50 60 70 80 90 100
x = Age
X is discrete
A μ (x
x i X
A i )/x i
X is continuous A μ A (x)/x
X
A B A B
• Complement:
A X A A ( x ) 1 A ( x )
• Intersection:
C A B c ( x ) min( A ( x ), B ( x )) A ( x ) B ( x )
x a c x
trimf ( x ; a, b , c ) max min , , 0
b a c b
Traingular MF
1
0.8
Membership Grades
0.6
0.4
0.2
0
0 10 20 30 40 50 60 70 80 90 100
x a d x
trapmf ( x ; a, b , c , d ) max min , 1, , 0
b a d c
2
1 x c
gaussmf ( x; c, ) e 2
1
a
1
a
1
a
Ch2 SC Fall 2016 30
• Gaussian MFs and bell MFs achieve smoothness, they
are unable to specify asymmetric Mfs which are
important in many applications;
• Asymmetric & close MFs can be synthesized using
either the absolute difference or the product of two
sigmoidal functions. sigmf(x; a, c) 1
• Sigmoidal MF: 1 e a( x c )
Extensions:
Abs. difference
of two sig. MF
Product
of two sig. MF
c=65 c=25
a=60 a=10
b=10 b=40
• C(A) can be
viewed as a
2-D fuzzy
set;
» it is non-composite.
• A composite 2-dimensional MF is usually the result of
two statements joined by the AND or OR
connectives.
• Composite 2-dimensional MFs based on min & max
operations
– Let trap(x) = trapezoid (x;-6,-2,2,6)
trap(y) = trapezoid (y;-6,-2,2,6)
be two trapezoidal MFs on X and Y respectively,
Ch2 SC Fall 2016 37
trap(x) = trapezoid (x;-6,-2,2,6)
trap(y) = trapezoid (y;-6,-2,2,6)
By applying min & max operators, we obtain 2-D MFs
on XxY.
• Monotonicity: T ( a , b ) ≤ T ( c , d ) i f a ≤ c a n d b ≤ d
A decrease of membership in A & B cannot increase a
membership in A B
• Commutativity: T ( a , b ) = T ( b , a )
T is indifferent to the order of fuzzy sets to be combined
• Associativity: T ( a , T ( b , c ) ) = T ( T ( a , b ) , c )
Intersection is independent of the order of pair wise
groupings
Ch2 SC Fall 2016 42
• T-norm (cont.)
~ ~
Tm(a, b) Sm(a, b)
Ta(a, b) Sa(a, b)
Tb(a, b) Sb(a, b)
Td(a, b) Sd(a, b)