Week2-Fuzzy Logic and Reasoning
Week2-Fuzzy Logic and Reasoning
13
Extension Principle
• It provides general procedure for extending
crisp domains of mathematical expressions to
fuzzy domains
• it generalizes point-to-point mapping of a
function f(.) to a mapping between fuzzy sets
Extension Principle
A is a fuzzy set on X :
where yi = f(xi), i = 1 to n.
• Examples:
– x is close to y (x and y are numbers)
– x depends on y (x and y are events)
– x and y look alike (x, and y are persons or objects)
– If x is large, then y is small (x is an observed
reading and Y is a corresponding action)
Max-Min Composition
• The max-min composition of two fuzzy relations R1 (defined
on X and Y) and R2 (defined on Y and Z) is
• Properties:
– Associativity: R ( S T ) ( R S ) T
– Distributivity over union:
– Monotonicity: S T ( R S ) ( R T )
Example
Example 2
Max-Star Composition
• Max-product composition:
R R ( x , z ) [ R ( x , y ) R ( y , z )]
1 2 1 2
y
31
Operations on Linguistic Values
Concentration (Very): CON ( A) A2
intensif.m
Operations on Linguistic Values
Extremely ( A) A 8
Linguistic Values (Terms)
complv.m
Fuzzy If-Then Rules
• General format:
If x is A then y is B
• Examples:
– If pressure is high, then volume is small.
– If the road is slippery, then driving is dangerous.
– If a tomato is red, then it is ripe.
– If the speed is high, then apply the brake a little.
Fuzzy If-Then Rules
Two ways to interpret “If x is A then y is B”:
B B
x x
A A
Fuzzy If-Then Rules
• Fuzzy implication function:
R ( x, y ) f ( A ( x ), B ( y )) f ( a, b)
A coupled with B
fuzimp.m
Fuzzy If-Then Rules
A entails B
fuzimp.m
Fuzzy Inference (1)
41
Compositional Rule of Inference
•Derivation of y = b from x = a and y = f(x):
y y
b b
y = f(x) y = f(x)
a x x
a
a and b: points
a and b: intervals
y = f(x) : a curve
y = f(x) : an interval-valued
function
Compositional Rule of Inference
• Conventionally, B is represented by
B A F
Compositional Rule of Inference
• a is a fuzzy set and y = f(x) is a fuzzy relation:
cri.m
Fuzzy Reasoning
•Single rule with single antecedent
Rule: if x is A then y is B
Fact: x is A’
Conclusion: y is B’
•Graphic Representation:
A’ A B
w
X Y
A’
B’
X Y
x is A’ y is B’
Fuzzy Reasoning
•Single rule with multiple antecedent
Rule: if x is A and y is B then z is C
Fact: x is A’ and y is B’
Conclusion: z is C’
•Graphic Representation:
A’ A B’ B T-norm C2
w
Z
X Y
A’ B’
C’
Z
x is A’ X y is B’ Y z is C’
Fuzzy Reasoning
• Multiple rules with multiple antecedent
Rule 1: if x is A1 and y is B1 then z is C1
Rule 2: if x is A2 and y is B2 then z is C2
Fact: x is A’ and y is B’
Conclusion: z is C’
Aggregation Method is Sum or a
Aggregation
Method S-norm such as Max.
Z
X Y
T-norm
A’ B’
C’
Z
x is A’ X y is B’ Y z is C’