Professional Documents
Culture Documents
Lecture 4
Chapter 4 Fuzzy Systems
Prof. Hongguang Li
Beijing University of Chemical Technology
Chapter 4 Fuzzy Systems
4.1 Introduction
4.2 Fuzzy Sets
4.3 Fuzzy Relations
4.4 Fuzzy Inference
4.5 Fuzzy Rule-bases
1
C
Chapter 4 Fuzzy S
Systems
4 1 Introduction
4.1 i
Id
Ideas
Fuzzy logic is not logic that is fuzzy,
fuzzy but logic that is
used to describe fuzziness.
Fuzzy logic is the theory of fuzzy sets, sets that
calibrate vagueness.
g
Fuzzy logic is based on the idea that all things admit
of degrees.
degrees
2
For instance
3
Crisp:
p ggender,, age,
g ,
education
Characteristics
of objects
Fuzzy: health, body type,
impression
impression
4
Fuzziness vs. Randomness
Fuzziness
F i
indicates subjective uncertainty.
Randomness
corresponds to objective uncertainty.
5
Fuzzy
F S t
Sets
6
7
A History
Hi off Fuzzy
F S
Systems
8
A History
Hi off Fuzzy
F S
Systems
11
Chapter 4 Fuzzy Systems
4.1 Introduction
4.2 Fuzzy Sets
4.3 Fuzzy Relations
4.4 Fuzzy Inference
4.5 Fuzzy Rule-bases
12
4 2 Fuzzy
4.2 F Sets
13
Ais a membership function.
( , A ((x)) | xX}}
A = { (x,
(x)
A
X
x
A=
A Two notations
n
A ( xi )
i =1 xi
14
Examples
Textbook 2.1,
Textbook, 2 1 2.2
22
15
Definition 3 (Singleton fuzzy sets)
u y se
A fuzzy set that
a has
as nonzero
o e o membership
e be s p va
value
ue for
o
only one element of the universe of discourse is
called a singleton fuzzy set.
set
(1) Triangular
x b
x
, b xa
a b
cx
= , a x c
c a
0 , x < b, x >c
x
b a c
17
(2) Gaussian
G i
xa 2
( )
=e b
, b>0
a x
18
Fuzzy
F Arithmetic
A ith ti
(1) Equality A = B
A (x) = B (x) x X
(2) Inclusion A B
A (x) B (x) x X
U i AB
(3) Union
AB (x) = A (x) B (x) = max [A (x), B (x)]
(4) Intersection A B
AB (x) = A (x) B (x) = min [A (x), B (x)]
(5) Complement A
A (x) 1 A (x)
( ) = 1- ( )
19
Example 2.3
Textbook, P22
Properties
P ti off Arithmetic
A ith ti
Distributive law
Associative law Textbook, P23
Commutative law
Other Types
Oth T off Arithmetic
A ith ti
Textbook, P24
20
T-norm and T-conorm
21
A T-conorm, also called S-norm, denoted by is a
function [[0,1]
, ] + [[0,1]
, ] [0,1].
[ , ] Some ppopular
p
definitions of S-norm are given below.
A (x)
( ) B (x)=max
( ) ( ) B (x))
( A (x),
( ( ))
A ((x)) B ((x)=
) A ((x)) +
B ((x)-
) A ((x)) B ((x))
A (x) B (x)=min{1, A (x) + B (x)}
22
Seminar 4.2
1. Please
1 Pl t lk about
talk b t the
th physical
h i l meaning
i off
the membership p function.
4.1 Introduction
4.2 Fuzzy Sets
4.3 Fuzzy Relations
4.4 Fuzzy Inference
4.5 Fuzzy Rule-bases
24
4 3 Fuzzy Relations
4.3
AB = { ( a, b ) | aA, bB }
AB BA
25
Definition
fi i i 2 (Fuzzy
( Relations)
i )
26
D fi iti 3 (Fuzzy
Definition (F Relation
R l ti Matrix)
M t i )
...
R (xn , y1) R (xn , y1) R (xn , ym)
27
An Example
The membership function of xx is significantly greater
than y is:
0 , x y
R (x, y) =
1
, x > y
100
1+
(x y)2
X={10,20,40,80}, Y={10,20,30,40}
28
We have
0 0 0 0
0 .5 0 0 0
R =
0 .9 0 .8 0 .5 0
0 . 98 0 . 97 0 . 96 0 . 94
29
Fuzzy
F C
Compositions
iti
Let R1 and R2 be two fuzzy relations of XY and
YZ, respectively. For xX, y Y, z Z, a
popular
p p fuzzyy composition
p is ggiven below.
R1 : XY, R2 : YZ
R1 R2 : XZ
R1 R2 (x,z) = [ R1 (x,y) R2 (y,z)]
(x,z) X Z
union,, maximum;; intersection,, minimum.
--- Max-min composition
30
An Example
( 0 . 4 , 0 . 2 , 0 . 1) ( 0 .9 ,0 .2 ,0 .3 )
R1 o R 2 = ( 0 . 1, 0 . 4 , 0 . 1 ) ( 0 . 1, 0 . 4 , 0 . 1 )
( 0 . 3 , 0 . 7 , 0 ) ( 0 . 3 , 0 . 9 , 0 )
0 .4 0 .9
= 0 . 4 0 . 4
0 . 7 0 . 9
31
Properties of Composition
Textbook, P27
Exponentiation
R2=R R
Rn=R R R
Inverse
R-1 (y,x) = R (x,y)
32
Seminar 4.3
1 Please
1. Pl d
draw a membership
b hi function
f ti that
th t
quantifies the statement the number x is
q
near 10 and the number y is near 2.
33
Chapter 4 Fuzzy Systems
4.1 Introduction
4.2 Fuzzy Sets
4.3 Fuzzy Relations
4.4 Fuzzy Inference
4.5 Fuzzy Rule-bases
34
4 4 Fuzzy Inference
4.4
36
Mamdani Reasoning Maps
37
Generalized Modus Ponens, GMP
Consequenty is B
38
Generalized Modus Tollens, GMT
Consequent x is A
39
F
Fuzzy I li ti
Implications
40
An
A Example
E l
The fuzzy sets over universes X={a1 , a2 , a3 , a4 , a5 }
and Y={b1 , b2 , b3 , b4 } are:
41
RAB = A B ( A Y) Max Min
1 0
0.8 0.2
=
0.4 [0 0 0.3 0.9] 0.6 [1 1 1 1]
0 1
0 1
0 0 0.3 0.9 0 0 0 0 0 0 0.3 0.9
0 0 0.3 0.8 0.2 0.2 0.2 0.2 0.2 0.2 0.3 0.8
M
= 0 0 0.3 0.4 0.6 0.6 0.6 0.6 = 0.6 0.6 0.6 0.6
i
0 0 0 0 1 1 1 1 1 1 1 1
n 0 0 0 0 1 1 1 1 1 1 1 1
42
Fuzzy Inference (Approximate Inference)
GMP: B=A R AB
GMT: A= R AB B
Linguistic Variables
Textbook, P27-28
A = A4, A = A2, A = A1.25 ,,,,,,
A = A0.75, A = A0.5, A = A0.25 ,,,,,,
Textbook, P30~35
43
Comparison of Operations
Textbook, P35~P41
If x is A and y is B, then z is C
R = A B C=(A C) ( B C)
44
Chapter 4 Fuzzy Systems
4.1 Introduction
4.2 Fuzzy Sets
4.3 Fuzzy Relations
4.4 Fuzzy Inference
4.5 Fuzzy Rule-bases
45
4 5 Fuzzy
4.5 F R l b
Rule-bases
Typically,
T picall numerous
n mero s IF THEN rulesr les are involved
in ol ed
in a rule-base, such as
Ri : IF ( x is
i Ai andd andd y is
i Bi )
THEN ( z1 is Ci and and zq is Di )
Fuzzy implications:
( Ai Bi ) ( Ci + Di )
W consider
We id that
h separate Ri is
i connectedd with
i h the
h
also term.
46
x is A and y is B
X Y
also
UNION operation
Fuzzy Implications
Rc( min ) or Rp (product)
47
n n
R = {Ri } = {[(Ai ...Bi ) (Ci +...+ Di )]}
i=1 i=1
n n
= {[(Ai ...Bi ) Ci ],...,
] [(Ai ...Bi ) Di ]}
i=1 i=1
= {RB ,...RB }
1 q
48
MISO:
R1 : IF x is A1 and y is B1 THEN z is C1
Rn : IF x is An and y is Bn THEN z is Cn
Input: x is A, y is B; Output: z is C
Ri = ( Ai and Bi ) Ci = Ai Bi Ci
C= ( Ai and Bi ) R
C
n
R = R i
i=1
Example
a p e 2.8.
.8. Textbook,
e tboo , P433 ~ P455
49
Properties
P ti off Fuzzy
F I f
Inferences
(Textbook, P45 ~ P49)
Coping complicated inferences with many and
connectives.
Property 1 n n
( A' and B ' ) o U Ri =U ( A' and B ' ) o Ri
i =1 i =1
Property 2
51
Homework 4
Given universes X={a1 , a2 , a3 },Y={b1 , b2 }and
Z={c1 , c2 , c3 }, along with the fuzzy sets,
0.5 1 0.1
A= + + A X,
a1 a2 a3
0 .2 0 .6 B Y,
B = +
b1 b2
0 .3 0 .4 0 .7 C Z,
C= + +
c1 c2 c3
calculate the fuzzy relation matrix of rule IF X is A
and Y is B,
B THEN Z is C. C
52