ISC Unit I Topic-5
ISC Unit I Topic-5
Fuzzy Relation
Suppose
• A is a fuzzy set on the universe of discourse X with μA(x) | x X
• B is a fuzzy set on the universe of discourse Y with μB(y) | y Y
• Then R = A B ⸦ X Y , where R has its membership function given
by μR(x, y) = μAB(x, y) = min{μA(x), μB(y)}
• Example -
A = {(a1, 0.2), (a2, 0.7), (a3, 0.4)} and B = {(b1, 0.5), (b2, 0.6)}
b1 b2
a1 0.2 0.2
R=A B= a2 0.5 0.6
a3 0.4 0.4
Example.
X = (x1, x2, x3), Y = (y1, y2), Z = (z1, z2, z3)
y1 y2
z1 z2 z 3
x1 0.5 0.1
R = y1 0.6 0.4 0.7
x2 0.2 0.9 S =
y2 0.5 0.8 0.9
x3 0.8 0.6
• Two fuzzy relations R and S are defined on sets X, Y and Z. That is,
R ⊆ X × Y, S ⊆ Y × Z. The composition R•S = RS of two relations R
and S is expressed by the relation from A to C.
▫ For (x, y) ∈ X × Y, (y, z) ∈ Y × Z
μR•S (x, z) = maxy [min(μR (x, y)) ,min(μS (y, z))]
= ∨y [μR (x, y) • μS (y, z)]
MR•S = MR • MS (matrix notation)
Example.
Let X = (x1. x2. x3). Y = (y1. y2). Z = (z1. z2. z3)
y1 y2
z1 z2 z 3
x1 0.5 0.1
R = y1 0.6 0.4 0.7
x2 0.2 0.9 S =
y2 0.5 0.8 0.9
x3 0.8 0.6
z1 z 2 z 3
x1 0.5 0.4 0.5
R○S =
x2 0.5 0.8 0.9
x3 0.6 0.6 0.7
μS(x1, z1)} = max{ min (0.5. 0.6). min (0.1. 0.5)} = max{0.5. 0.1} = 0.5
And so on…….
S1 S2 S3 S4
P1 0.8 0.8 0.8 0.9
R ○ T =tingP Applications
0.8 0.8 15.01.2016
0.8 0.9 14 / 64
2
P3 0.8 0.8 0.8 0.9
P4 0.8 0.8 0.7 0.9
• The basic assumption upon which crisp logic is based - that every
proposition is either TRUE or FALSE.
• The classical two-valued logic can be extended to multi-valued
logic.
• As an example, three valued logic to denote true(1), false(0) and
indeterminacy ( 1/2 ).
• Different operations with three-valued logic can be extended as
shown in the following truth table:
Fuzzy connectives used in the
above table are:
AND (Λ), OR (ν), NOT (),
IMPLICATION (=>) and EQUAL
(=).
0
0
0
17 Department of CSE, GIET University, Gunupur Saturday, May 4, 2024
Soft Computing Two-valued Logic and Multi-valued Logic
Example 1:
P : Ram is honest
1 T(P) = 0.0 : Absolutely false
2 T(P) = 0.2 : Partially false
3 T(P) = 0.4 : May be false or not false
4 T(P) = 0.6 : May be true or not true
5 T(P) = 0.8 : Partially true
6 T(P) = 1.0 : Absolutely true.
Fuzzy Implications
T-norm operator
• The most frequently used T-norm operators are:
• Minimum : Tmin(a, b) = min(a, b) = a Λ b
• Algebraic product : Tap(a, b) = ab
• Bounded product : Tbp(a, b) = 0 V (a + b - 1)
Defuzzification Methods
Deffuzification-
Defuzzification means the conversion of the fuzzy output values into
crisp values. For example, if we say "the output force must be large"
and large variable takes the values between (70, 90) N, then what is the
force will be needed 75 or 80 or …N, we can know what is the force
we want by using defuzzification method. There are different types of
defuzzification methods.
Defuzzification
Inference
Input Fuzzifier Defuzzifier Output
Engine
Fuzzy
Knowledge base
Defuzzification Methods
1)Max-membership principle
1
c(Z ) c(z) , z Z
*
z* z
2)Centroid principle
𝑧∗=
∫ 𝜇𝑐 ( 𝑧 ) • 𝑧𝑑𝑧
∫ 𝜇𝑐 ( 𝑧 ) 𝑑𝑧
z* z
∗
∫ 𝜇 𝐵 ( 𝑧 ) • 𝑧𝑑𝑧
𝑧 = =¿
∫ 𝜇 𝐵 ( 𝑧 ) 𝑑𝑧
Defuzzification Methods
3)Weighted average method
(Only valid for symmetrical output membership function)
∗
∑ 𝜇𝑐 ( ¯𝑧 ) • ¯𝑧 .9
𝑧 =
∑ 𝜇𝑐 ( ¯𝑧 ) .5
0 a b
z
Eg-Weighted-Average Method:
( .3 × 2.5 ) + ( .5 ×5 ) + ( 1× 6.5 )
𝑧∗= =5.41 𝑚𝑒𝑡𝑒𝑟𝑠
.3+.5+ 1
Defuzzification Methods
4)Mean-max membership
(middle-of-maxima method)
Can be applied only for symmetrical functions
1
∗
𝑧 = ( 𝑎+ 𝑏 ) / 2 0 a z* b z
Eg-Mean-Max Method:
(6 +7)/ 2=6.5
Defuzzification Methods
∑ 𝑍𝑖 . 𝐴𝑖
∗ 𝑖= 0
𝑍 = 𝑛
∑ 𝐴𝑖
Here, Ai denotes the area of𝑖the = region
0 bounded by the fuzzy set
Ci and Zi is the geometric center of that area.
It is similar to the weighted average method, but
the weights are the areas, instead of individual
membership values.
Defuzzification Methods
7) First (or last) of maxima: This method uses the overall output or union
of all individual output fuzzy sets Ck to determine the smallest value of
the domain with maximized membership degree in Ck.
• FoM is The smallest value of the domain with maximized membership
degree-
• FoM = First of Maxima: z∗ = min{ z | μC(z) = h(C) }
• LoM is the largest value of the domain with maximized membership
degree-
• LoM = Last of Maxima: z∗ = max{ z | μC(z) = h(C) }
60 70 80 90 100 °F 4 12 20 mph
temp wind_speed
48 Department of CSE, GIET University, Gunupur Saturday, May 4, 2024
Soft Computing
-10 -5 0 5 10 degrees
change_in_valve
49 Department of CSE, GIET University, Gunupur Saturday, May 4, 2024
Soft Computing
cold
nominalwarm
0 cool hot calm
0.35 0.6 strong
0 0 0.4 brisk
0.55 0
60 70 80 90 100 °F 4 12 20 mph
51 temp =of87°F
Department CSE, GIET University, Gunupur
wind_speed = 9 mph
Saturday, May 4, 2024
Soft Computing