Fuzzy-Sets for nothing about the way .ppt

1
Fuzzy Sets and Fuzzy Logic
Theory and Applications

1. Introduction
 Uncertainty
 When A is a fuzzy set and x is a relevant object, the proposition
“x is a member of A” is not necessarily either true or false. It may
be true only to some degree, the degree to which x is actually a
member of A.
 For example: the weather today
 Sunny: If we define any cloud cover of 25% or less is sunny.
 This means that a cloud cover of 26% is not sunny?
 “Vagueness” should be introduced.
2

 The crisp set v.s. the fuzzy set
 The crisp set is defined in such a way as to partition the individuals in some
given universe of discourse into two groups: members and nonmembers.
 However, many classification concepts do not exhibit this characteristic.
 For example, the set of tall people, expensive cars, or sunny days.
 A fuzzy set can be defined mathematically by assigning to each possible
individual in the universe of discourse a value representing its grade of
membership in the fuzzy set.
 For example: a fuzzy set representing our concept of sunny might assign a
degree of membership of 1 to a cloud cover of 0%, 0.8 to a cloud cover of
20%, 0.4 to a cloud cover of 30%, and 0 to a cloud cover of 75%.
3

2. Fuzzy sets: basic types
 A membership function:
 A characteristic function: the values assigned to the elements
of the universal set fall within a specified range and indicate
the membership grade of these elements in the set.
 Larger values denote higher degrees of set membership.
 A set defined by membership functions is a fuzzy set.
 The most commonly used range of values of membership
functions is the unit interval [0,1].
 The universal set X is always a crisp set.
 Notation:
 The membership function of a fuzzy set A is denoted by :
 Alternatively, the function can be denoted by A and has the form
 We use the second notation.
A

]
1
,
0
[
: 
X
A
4
]
1
,
0
[
: 
X
A


6
ROUGH SET
Lower and Upper Approximations

 An example:
 Define the seven levels of education:
7
Highly
educated (0.8)
Very highly
educated (0.5)

 Several fuzzy sets representing linguistic concepts such as low, medium,
high, and so one are often employed to define states of a variable. Such a
variable is usually called a fuzzy variable.
 For example:
8

 Given a universal set X, a fuzzy set is defined by a function of
the form
This kind of fuzzy sets are called ordinary fuzzy sets.
 Interval-valued fuzzy sets:
 The membership functions of ordinary fuzzy sets are often overly
precise.
 We may be able to identify appropriate membership functions
only approximately.
 Interval-valued fuzzy sets: a fuzzy set whose membership
functions does not assign to each element of the universal set
one real number, but a closed interval of real numbers between
the identified lower and upper bounds.
]
1
,
0
[
: 
X
A
9
]),
1
,
0
([
: 

X
A
Power set

 Fuzzy sets of type 2:
 : the set of all ordinary fuzzy sets that can be defined with
the universal set [0,1].
 is also called a fuzzy power set of [0,1].
11

 Discussions:
 The primary disadvantage of interval-value fuzzy sets,
compared with ordinary fuzzy sets, is computationally more
demanding.
 The computational demands for dealing with fuzzy sets of type
2 are even greater then those for dealing with interval-valued
fuzzy sets.
 This is the primary reason why the fuzzy sets of type 2 have
almost never been utilized in any applications.
12

3. Fuzzy sets: basic concepts
 Consider three fuzzy sets that represent the concepts of a young,
middle-aged, and old person. The membership functions are
defined on the interval [0,80] as follows:
13
Find line passing through
(x,y) and (20,1):
1/[35-20] = y/[35-x]

14

 -cut and strong -cut
 Given a fuzzy set A defined on X and any number
the -cut and strong -cut are the crisp sets:
 The -cut of a fuzzy set A is the crisp set that contains all
the elements of the universal set X whose membership
grades in A are greater than or equal to the specified value
of .
 The strong -cut of a fuzzy set A is the crisp set that
contains all the elements of the universal set X whose
membership grades in A are only greater than the specified
value of .
 
15
],
1
,
0
[


 





 For example:
16

 A level set of A:
 The set of all levels that represent distinct -cuts of a
given fuzzy set A.
 For example:
17
]
1
,
0
[

 

 For example: consider the discrete approximation D2 of fuzzy set
A2
18

3 Fuzzy sets: basic concepts
 The standard complement of fuzzy set A with respect to the
universal set X is defined for all by the equation
 Elements of X for which are called equilibrium points of A.
 For example, the equilibrium points of A2 in Fig. 1.7 are 27.5 and 52.5.
X
x
)
(
)
( x
A
x
A 
19
)
(
1
)
( x
A
x
A 


 Given two fuzzy sets, A and B, their standard intersection and union
are defined for all by the equations
where min and max denote the minimum operator and the
maximum operator, respectively.
X
x
20
)],
(
),
(
max[
)
)(
(
)],
(
),
(
min[
)
)(
(
x
B
x
A
x
B
A
x
B
x
A
x
B
A





 Another example:
 A1, A2, A3 are normal.
 B and C are subnormal.
 B and C are convex.
 are not
convex.
21
2
1 A
A
B 

3
2 A
A
C 

C
B
C
B 
 and
Normality and convexity
may be lost when we
operate on fuzzy sets by
the standard operations
of intersection and
complement.

 Discussions:
 Normality and convexity
may be lost when we
operate on fuzzy sets by
the standard operations of
intersection and
complement.
 The fuzzy intersection and
fuzzy union will satisfies all
the properties of the
Boolean lattice listed in
Table 1.1 except the low of
contradiction and the low of
excluded middle.
22

 The law of contradiction
 To verify that the law of contradiction is violated for fuzzy sets, we
need only to show that
is violated for at least one .
 This is easy since the equation is obviously violated for any value
, and is satisfied only for
0
)]
(
1
),
(
min[ 
 x
A
x
A
X
x
23
)
1
,
0
(
)
( 
x
A }.
1
,
0
{
)
( 
x
A


 A
A

 To verify the law of absorption,
 This requires showing that
is satisfied for all .
 Consider two cases:
(1)
(2)
)
(
)
( x
B
x
A 
)
(
)
( x
B
x
A 
24
A
B
A
A 

 )
(
)
(
)]]
(
),
(
min[
),
(
max[ x
A
x
B
x
A
x
A 
X
x
)
(
)]
(
),
(
max[
)]]
(
),
(
min[
),
(
max[ x
A
x
A
x
A
x
B
x
A
x
A 

)
(
)]
(
),
(
max[
)]]
(
),
(
min[
),
(
max[ x
A
x
B
x
A
x
B
x
A
x
A 

)
(
)]]
(
),
(
min[
),
(
max[ x
A
x
B
x
A
x
A 

 Given two fuzzy set
we say that A is a subset of B and write iff
for all .

)
(
)
( x
B
x
A 
X
x
25
B
A 
any
for
and
iff B
B
A
A
B
A
B
A 





26
0 10 20 30 40 50 60 70 80
0 0 0.1 0.2 0.3 0.4 0.5 0.7 0.9 1
10 0 0 0.1 0.2 0.3 0.4 0.5 0.7 0.9
20 0 0 0 0.1 0.2 0.3 0.4 0.5 0.7
30 0 0 0 0 0.1 0.2 0.3 0.4 0.5
40 0 0 0 0 0 0.1 0.2 0.3 0.4
50 0 0 0 0 0 0 0.1 0.2 0.3
60 0 0 0 0 0 0 0 0.1 0.2
70 0 0 0 0 0 0 0 0 0.1
80 0 0 0 0 0 0 0 0 0
Example: Fuzzy Relation R [LESS_THAN] on U1  U2,
where U1=U2={0,10,20,…}
Any fuzzy set R on U= U1 U2  …  Un is called fuzzy relation on U
Fuzzy Relations

27
Let s = [i(1),i(2),..,i(k)] be a subsequence of [1,2,…,n] and let
s* = [i(k+1), i(k+2),…, i(n)] be the sequence complementary to
[i(1),i(2),..,i(k)].
The projection of n-ary fuzzy relation R on U(s) = U(i1)  U(i2)  ..  U(ik)
denoted Proj[U(s)](R) is k-ary fuzzy relation
{((u(i(1)),u(i(2)),…u(i(k))), sup [R](u(1),u(2),…u(n))}
u(i(k+1), u(i(k+2)), … u(i(n))
Example: Let’s take relation R – less than (previous page).
Proj[U1](R) = {(0,1),(10, 0.9), (20, 0.7), (30, 0.5),…..}
The converse of the projection of n-ary relation is called a cylindrical
extension.
Let R be k-ary fuzzy relation on U(s) = U(i1)  U(i2)  ..  U(ik).
A cylindrical extension of R in U = U(1) U(2)  …  U(n) is
C(R)= {(u(1),u(2),..u(n)): [R](u(i1),u(i2),…u(i(n)))}.

28
Example: Fuzzy set Fast1 on U1, Fast 2 on U2.
U1= U2 ={0,10,20,30,40,50,60,70,80}.
Fast1 = Fast2 ={(0,0), (10,0.01), (20, 0.02), (30, 0.05), (40, 0.1), (50, 0.4),
(60, 0.8), (70, 0.9), (80, 1)}.
C(Fast2) – cylindrical extension on U1
0 10 20 30 40 50 60 70 80
0 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
10 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
20 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
30 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
40 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
50 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
60 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
70 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
80 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1

29
C(Fast1) – cylindrical extension on U2
0 10 20 30 40 50 60 70 80
0 0 0 0 0 0 0 0 0 0
10 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
20 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02 0.02
30 0.05 0.05 0.05 0.05 0.05 0.05 0.05 0.05 0.05
40 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1 0.1
50 0.4 0.4 0.4 0.4 0.4 0.4 0.4 0.4 0.4
60 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.8 0.8
70 0.9 0.9 0.9 0.9 0.9 0.9 0.9 0.9 0.9
80 1 1 1 1 1 1 1 1 1
Let R be fuzzy relation on U(1) U(2)  …  U(R) and S be fuzzy relation
on U(s)  U(s+1)  …  U(n), where 1 s  r  n. The join of R and S
is defined as c(R)  c(S), where c(R), c(S) are cylindrical extensions.

30
The join of c(Fast1) and c(Fast2)
0 10 20 30 40 50 60 70 80
0 0 0 0 0 0 0 0 0 0
10 0 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
20 0 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02
30 0 0.01 0.02 0.05 0.05 0.05 0.05 0.05 0.05
40 0 0.01 0.02 0.05 0.1 0.1 0.1 0.1 0.1
50 0 0.01 0.02 0.05 0.1 0.4 0.4 0.4 0.4
60 0 0.01 0.02 0.05 0.1 0.4 0.8 0.8 0.8
70 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 0.9
80 0 0.01 0.02 0.05 0.1 0.4 0.8 0.9 1
Different versions of composition exist.

31
Let R be fuzzy relation on U(1) U(2) …  U(r), and S be fuzzy
relation on U(s)  U(s+1) …  U(n).
Let {i1, i2,.., ik}= ({1,2…,r}- {s, s+1,…,n})  ({s, s+1,…,n}- {1,2,…,r})
Symmetric difference
The composition of R and S denoted by RS is defined as:
Proj[U(i1), U(i2), …, U(ik)](c(R)c(S)).
Example: R = Fast  Less_Than

32
u _Fast
0 0
10 0.01
20 0.02
30 0.05
40 0.1
50 0.4
60 0.8
70 0.9
80 1
0 10 20 30 40 50 60 70 80
0 0 0.1 0.2 0.3 0.4 0.5 0.7 0.9 1
10 0 0 0.1 0.2 0.3 0.4 0.5 0.7 0.9
20 0 0 0 0.1 0.2 0.3 0.4 0.5 0.7
30 0 0 0 0 0.1 0.2 0.3 0.4 0.5
40 0 0 0 0 0 0.1 0.2 0.3 0.4
50 0 0 0 0 0 0 0.1 0.2 0.3
60 0 0 0 0 0 0 0 0.1 0.2
70 0 0 0 0 0 0 0 0 0.1
80 0 0 0 0 0 0 0 0 0
= R
S =
Find composition R  S = ?
Need to be extended

Conception of Fuzzy Logic
 Many decision-making and problem-solving
tasks are too complex to be defined precisely
 however, people succeed by using imprecise
knowledge
 Fuzzy logic resembles human reasoning in its
use of approximate information and
uncertainty to generate decisions.

34
Natural Language
 Consider:
 Joe is tall -- what is tall?
 Joe is very tall -- what does this differ from tall?
 Natural language (like most other activities in
life and indeed the universe) is not easily
translated into the absolute terms of 0 and 1.
“false” “true”

35
Fuzzy Logic
 An approach to uncertainty that combines
real values [0…1] and logic operations
 Fuzzy logic is based on the ideas of fuzzy set
theory and fuzzy set membership often found
in natural (e.g., spoken) language.

36
Example: “Young”
 Example:
 Ann is 28, 0.8 in set “Young”
 Bob is 35, 0.1 in set “Young”
 Charlie is 23, 1.0 in set “Young”
 Unlike statistics and probabilities, the degree
is not describing probabilities that the item is
in the set, but instead describes to what
extent the item is the set.

37
Membership function of fuzzy logic
Age
25 40 55
Young Old
1
Middle
0.5
DOM
Degree of
Membership
Fuzzy values
Fuzzy values have associated degrees of membership in the set.
0

38
Crisp set vs. Fuzzy set
A traditional crisp set A fuzzy set

Benefits of fuzzy logic
 You want the value to switch gradually as
Young becomes Middle and Middle becomes
Old. This is the idea of fuzzy logic.

41
Fuzzy Set Operations
 Fuzzy union (): the union of two fuzzy sets
is the maximum (MAX) of each element from
two sets.
 E.g.
 A = {1.0, 0.20, 0.75}
 B = {0.2, 0.45, 0.50}
 A  B = {MAX(1.0, 0.2), MAX(0.20, 0.45), MAX(0.75, 0.50)}
= {1.0, 0.45, 0.75}

42
 Fuzzy intersection (): the intersection of two
fuzzy sets is just the MIN of each element
from the two sets.
 E.g.
 A  B = {MIN(1.0, 0.2), MIN(0.20, 0.45), MIN(0.75,
0.50)} = {0.2, 0.20, 0.50}

43
Fuzzy Set Operations
 The complement of a fuzzy variable with
DOM x is (1-x).
 Complement ( _c): The complement of a
fuzzy set is composed of all elements’
complement.
 Example.
 Ac = {1 – 1.0, 1 – 0.2, 1 – 0.75} = {0.0, 0.8, 0.25}

44
Crisp Relations
 Ordered pairs showing connection between two
sets:
(a,b): a is related to b
(2,3) are related with the relation “<“
 Relations are set themselves
< = {(1,2), (2, 3), (2, 4), ….}
 Relations can be expressed as matrices
…

45
Fuzzy Relations
 Triples showing connection between two sets:
(a,b,#): a is related to b with degree #
 Fuzzy relations are set themselves
 Fuzzy relations can be expressed as matrices
…

46
Fuzzy Relations Matrices
 Example: Color-Ripeness relation for tomatoes

47
Where is Fuzzy Logic used?
 Fuzzy logic is used directly in very few
applications.
 Most applications of fuzzy logic use it as the
underlying logic system for decision support
systems.

48
Fuzzy Expert System
 Fuzzy expert system is a collection of
membership functions and rules that are
used to reason about data.
 Usually, the rules in a fuzzy expert system
are have the following form:
“if x is low and y is high then z is medium”

49
Operation of Fuzzy System
Crisp Input
Fuzzy Input
Fuzzy Output
Crisp Output
Fuzzification
Rule Evaluation
Defuzzification
Input Membership Functions
Rules / Inferences
Output Membership Functions

50
Building Fuzzy Systems
 Fuzzification
 Inference
 Composition
 Defuzzification

51
Fuzzification
 Establishes the fact base of the fuzzy system. It identifies the
input and output of the system, defines appropriate IF THEN
rules, and uses raw data to derive a membership function.
 Consider an air conditioning system that determine the best
circulation level by sampling temperature and moisture levels.
The inputs are the current temperature and moisture level.
The fuzzy system outputs the best air circulation level: “none”,
“low”, or “high”. The following fuzzy rules are used:
1. If the room is hot, circulate the air a lot.
2. If the room is cool, do not circulate the air.
3. If the room is cool and moist, circulate the air slightly.
 A knowledge engineer determines membership functions that map
temperatures to fuzzy values and map moisture measurements to fuzzy
values.

52
Inference
 Evaluates all rules and determines their truth values.
If an input does not precisely correspond to an IF
THEN rule, partial matching of the input data is used
to interpolate an answer.
 Continuing the example, suppose that the system has
measured temperature and moisture levels and mapped them
to the fuzzy values of .7 and .1 respectively. The system now
infers the truth of each fuzzy rule. To do this a simple method
called MAX-MIN is used. This method sets the fuzzy value of
the THEN clause to the fuzzy value of the IF clause. Thus, the
method infers fuzzy values of 0.7, 0.1, and 0.1 for rules 1, 2,
and 3 respectively.

53
Composition
 Combines all fuzzy conclusions obtained by inference
into a single conclusion. Since different fuzzy rules
might have different conclusions, consider all rules.
 Continuing the example, each inference suggests a different
action
 rule 1 suggests a "high" circulation level
 rule 2 suggests turning off air circulation
 rule 3 suggests a "low" circulation level.
 A simple MAX-MIN method of selection is used where the
maximum fuzzy value of the inferences is used as the final
conclusion. So, composition selects a fuzzy value of 0.7 since
this was the highest fuzzy value associated with the inference
conclusions.

54
Defuzzification
 Convert the fuzzy value obtained from composition
into a “crisp” value. This process is often complex
since the fuzzy set might not translate directly into a
crisp value.Defuzzification is necessary, since
controllers of physical systems require discrete
signals.
 Continuing the example, composition outputs a fuzzy value of
0.7. This imprecise value is not directly useful since the air
circulation levels are “none”, “low”, and “high”. The
defuzzification process converts the fuzzy output of 0.7 into
one of the air circulation levels. In this case it is clear that a
fuzzy output of 0.7 indicates that the circulation should be set
to “high”.

55
Defuzzification
 There are many defuzzification methods. Two of the
more common techniques are the centroid and
maximum methods.
 In the centroid method, the crisp value of the output
variable is computed by finding the variable value of
the center of gravity of the membership function for
the fuzzy value.
 In the maximum method, one of the variable values
at which the fuzzy subset has its maximum truth
value is chosen as the crisp value for the output
variable.

57
Fuzzification
 Two Inputs (x, y) and one output (z)
 Membership functions:
low(t) = 1 - ( t / 10 )
high(t) = t / 10
Low High
1
0
t
X=0.32 Y=0.61
0.32
0.68
Low(x) = 0.68, High(x) = 0.32, Low(y) = 0.39, High(y) = 0.61
Crisp Inputs

58
Create rule base
 Rule 1: If x is low AND y is low Then z is high
 Rule 2: If x is low AND y is high Then z is low
 Rule 3: If x is high AND y is low Then z is low
 Rule 4: If x is high AND y is high Then z is high

59
Inference
 Rule1: low(x)=0.68, low(y)=0.39 =>
high(z)=MIN(0.68,0.39)=0.39
 Rule2: low(x)=0.68, high(y)=0.61 =>
low(z)=MIN(0.68,0.61)=0.61
 Rule3: high(x)=0.32, low(y)=0.39 =>
low(z)=MIN(0.32,0.39)=0.32
 Rule4: high(x)=0.32, high(y)=0.61 =>
high(z)=MIN(0.32,0.61)=0.32
Rule strength

60
Composition
Low High
1
0
t
•Low(z) = MAX(rule2, rule3) = MAX(0.61, 0.32) = 0.61
•High(z) = MAX(rule1, rule4) = MAX(0.39, 0.32) = 0.39
0.61
0.39

61
Defuzzification
 Center of Gravity
Low High
1
0
0.61
0.39
t
Crisp output


 Max
Min
Max
Min
dt
t
f
dt
t
tf
C
)
(
)
(
Center of Gravity

62
A Real Fuzzy Logic System
 The subway in Sendai, Japan uses a fuzzy
logic control system developed by Serji
Yasunobu of Hitachi.
 It took 8 years to complete and was finally put
into use in 1987.

63
Control System
 Based on rules of logic obtained from train
drivers so as to model real human decisions
as closely as possible
 Task: Controls the speed at which the train
takes curves as well as the acceleration and
braking systems of the train

64

 The results of the fuzzy logic controller for the
Sendai subway are excellent!!
 The train movement is smoother than most
other trains
 Even the skilled human operators who
sometimes run the train cannot beat the
automated system in terms of smoothness or
accuracy of stopping

65
u _Fast
0 0
10 0.01
20 0.02
30 0.05
40 0.1
50 0.4
60 0.8
70 0.9
80 1
Fuzzy set Fast
u _Dangerous
0 0
10 0.05
20 0.1
30 0.15
40 0.2
50 0.3
60 0.7
70 1
80 1
Fuzzy set Dangerous
Fuzzy Logic
Interpretation Domain  Fuzzy Sets

66
0 10 20 30 40 50 60 70 80
0 0 0.05 0.1 0.15 0.2 0.3 0.7 1 1
10 0.01 0.05 0.1 0.15 0.2 0.3 0.7 1 1
20 0.02 0.05 0.1 0.15 0.2 0.3 0.7 1 1
30 0.05 0.05 0.1 0.15 0.2 0.3 0.7 1 1
40 0.1 0.1 0.1 0.15 0.2 0.3 0.7 1 1
50 0.4 0.4 0.4 0.4 0.4 0.4 0.7 1 1
60 0.8 0.8 0.8 0.8 0.8 0.8 0.8 1 1
70 0.9 0.9 0.9 0.9 0.9 0.9 0.9 1 1
80 1 1 1 1 1 1 1 1 1
Fuzzy logic proposition: X is fast or Y is dangerous

67
Homework:
Find the following fuzzy logic propositions:
- X is fast and Y is dangerous
- If X is fast then Y is dangerous

68
Example II
if temperature is cold and oil is cheap
then heating is high

69
Example II
if temperature is cold and oil is cheap
then heating is high
Linguistic
Variable
Linguistic
Variable
Linguistic
Variable
Linguistic
Value
Linguistic
Value
Linguistic
Value
cold cheap
high

70
Definition [Zadeh 1973]
A linguistic variable is characterized by a quintuple
 
, ( ), , ,
x T x U G M
Name
Term Set
Universe
Syntactic Rule
Semantic Rule

71
Example
A linguistic variable is characterized by a quintuple
 
, ( ), , ,
x T x U G M
age
old, very old, not so old,
(age) more or less young,
quite young, very young
G
 
 
  
 
 
[0, 100]
 
 
old
(old) , ( ) [0,100]
M u u u

 
1
2
old
0 [0,50]
( ) 50
1 [50,100]
5
u
u u
u







  
 
 
 
 
 

 
 
 

Example semantic rule:

72
Example II
Linguistic Variable : temperature
Linguistics Terms (Fuzzy Sets) : {cold, warm, hot}
(x)
cold warm hot
20 60
1
x

73
Classical Implication
A  B
A  B A B A  B
T
T
F
F
T
F
T
F
T
F
T
T
A B A  B
1
1
0
0
1
0
1
0
1
0
1
1

74
A  B
A  B
A B A  B
1
1
0
0
1
0
1
0
1
0
1
1
A B A  B
1
1
0
0
1
0
1
0
1
0
1
1
1 ( ) ( )
( , )
( ) otherwise
A B
A B
B
x y
x y
y
 





 

 
( , ) max 1 ( ), ( )
A B A B
x y x x
  
   

75
A  B If A then B
A A is true
B is true
B

A  B
A
B
 
Modus Ponens
A B A  B
1
1
0
0
1
0
1
0
1
0
1
1

76
If x is A then y is B.
antecedent
or
premise
consequence
or
conclusion
A  B 

77
Examples

A  B
 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.

78
Fuzzy Rules as Relations

   
, ,
R A B
x y x y
  

R
A fuzzy rule can be defined
as a binary relation with MF
Depends on how
to interpret A  B
A  B

79
Interpretations of A  B
A
B
A entails B
x
x
y
A coupled with B
A
B
x
x
y
   
, , ?
R A B
x y x y
  
 

80
B
A entails B
x
x
y
A coupled with B
A
B
x
x
y
   
, , ?
R A B
x y x y
  
 

81
A
B
A entails B
x
x
y
A coupled with B
A
B
x
x
y
   
, , ?
R A B
x y x y
  
 
A entails B (not A or B)
• Material implication
• Propositional calculus
• Extended propositional calculus
• Generalization of modus ponens
R A B A B

   
( )
R A B A A B


   
( )
R A B A B B
    

1 ( ) ( )
( , )
( ) otherwise
A B
R
B
x y
x y
y
 




 


82
   
, , ?
R A B
x y x y
  
 
A entails B (not A or B)
• Material implication
• Propositional calculus
• Extended propositional calculus
• Generalization of modus ponens
R A B A B

   
( )
R A B A A B


   
( )
R A B A B B
    

1 ( ) ( )
( , )
( ) otherwise
A B
R
B
x y
x y
y
 




 

 
( , ) max 1 ( ), ( )
R A B
x y x x
  
 
 
 
( , ) max 1 ( ),min ( ), ( )
R A A B
x y x x x
   
 
 
 
( , ) max 1 max ( ), ( ) , ( )
R A B B
x y x x x
   
 

83
Generalized Modus Ponens
Single rule with single antecedent
Rule:
Fact:
Conclusion:
if x is A then y is B
x is A’
y is B’

84
Fuzzy Reasoning
Single Rule with Single Antecedent
Rule:
Fact:
Conclusion:
x is A’
y is B’
( )
x

x
A A’
y
( )
y

B

85
Fuzzy Reasoning
Rule:
Fact:
Conclusion:
x is A’
y is B’
( )
x

x
A A’
y
( )
y

B
 
( ) max min ( ), ( , )
B x A R
y x x y
  
 

 
( ) ( , )
x A R
x x y
 

  
( , ) ( ) ( )
R A B
x y x y
  
 
 
( ) ( ) ( )
x A A B
x x y
  

   
 
( ) ( ) ( )
x A A B
x x y
  

   
 
 
B
Firing
Strength Firing Strength
Max-Min Composition

86
Fuzzy Reasoning
Rule:
Fact:
Conclusion:
x is A’
y is B’
( )
x

x
A A’
y
( )
y

B
 
( ) max min ( ), ( , )
B x A R
y x x y
  
 

 
( ) ( , )
x A R
x x y
 

  
( )
B A A B
 
 
( , ) ( ) ( )
R A B
x y x y
  
 
 
( ) ( ) ( )
x A A B
x x y
  

   
 
( ) ( ) ( )
x A A B
x x y
  

   
 
 
B
Max-Min Composition

87
Fuzzy Reasoning
Single Rule with Multiple Antecedents
Rule:
Fact:
Conclusion:
if x is A and y is B then z is C
x is A and y is B
z is C

88
Fuzzy Reasoning
Rule:
Fact:
Conclusion:
x is A’ and y is B’
z is C’
( )
x

x
A A’
y
( )
y

B
B’
z
( )
z

C

89
Fuzzy Reasoning
( )
x

x
A A’
y
( )
y

B
B’
z
( )
z

C
Rule:
Fact:
Conclusion:
z is C’
 
, ,
( ) max min ( , ), ( , , )
C x y A B R
y x y x y z
  
  

R A B C
  
 
( , , ) ( , , )
R A B C
x y z x y z
   

( ) ( ) ( )
A B C
x y z
  
  
 
, , ( , ) ( , , )
x y A B R
x y x y z
 
 
  
 
, ( ) ( ) ( ) ( ) ( )
x y A B A B C
x y x y z
    
 
     
   
( ) ( ) ( ) ( ) ( )
x A A y B B C
x x y y z
    
 
 
      
 
   
Firing Strength
C
Max-Min Composition

90
90
Fuzzy Reasoning
( )
x

x
A A’
y
( )
y

B
B’
z
( )
z

C
Rule:
Fact:
Conclusion:
z is C’
 
, ,
( ) max min ( , ), ( , , )
C x y A B R
y x y x y z
  
  

R A B C
  
 
( , , ) ( , , )
R A B C
x y z x y z
   

( ) ( ) ( )
A B C
x y z
  
  
 
, , ( , ) ( , , )
x y A B R
x y x y z
 
 
  
 
, ( ) ( ) ( ) ( ) ( )
x y A B A B C
x y x y z
    
 
     
   
( ) ( ) ( ) ( ) ( )
x A A y B B C
x x y y z
    
 
 
      
 
   
Firing Strength
C
Max-Min Composition
   
C A B A B C
  
   

91
Fuzzy Reasoning
Multiple Rules with Multiple Antecedents
Rule1:
Fact:
Conclusion:
if x is A1 and y is B1 then z is C1
z is C’
Rule2: if x is A2 and y is B2 then z is C2

92
Fuzzy Reasoning
Rule1:
Fact:
Conclusion:
z is C’
( )
x

x
A1
A’
( )
z

z
C1
( )
y

y
B1
( )
x

x
A2
( )
y

y
B2
( )
z

z
C2
A’
B’
B’

93
Fuzzy Reasoning
Rule1:
Fact:
Conclusion:
z is C’
( )
x

x
A1
A’
( )
z

z
C1
( )
y

y
B1
( )
x

x
A2
( )
y

y
B2
( )
z

z
C2
A’
B’
B’
( )
z

z
Max
1
C
2
C
1 2
C C C
  
 
   
1 2
C A B R R
  
  
   
1 2
A B R A B R
   
   
   
   
1 2
C C
 
 
Max-Min Composition

Fuzzy-Sets for nothing about the way .ppt

More Related Content

Similar to Fuzzy-Sets for nothing about the way .ppt (20)

Recently uploaded (20)

Fuzzy-Sets for nothing about the way .ppt