Tiểu luận môn phương pháp toán trong tin học TÌM HIỂU VỀ LÝ THUYẾT FUZZY LOGIC VÀ ỨNG DỤNG - Pdf 27

Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH
ĐẠI HỌC CÔNG NGHỆ THÔNG TIN

BÁO CÁO THU HOẠCH
MÔN PHƯƠNG PHÁP TOÁN TRONG TIN HỌC
Tên đề tài:
TÌM HIỂU VỀ LÝ THUYẾT FUZZY LOGIC
VÀ ỨNG DỤNG
Giảng viên HD : PGS.TS. NGUYỄN PHI KHỨ
Họ tên học viên : LÂM LONG HẬU
Mã số học viên : CH1301013
Chuyên ngành : Khoa học máy tính
Tháng 12/2013
Mục Lục
ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH 1
CH1301013 – LÂM LONG HẬU Page 1
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
I. GIỚI THIỆU 2
II. LÝ THUYẾT TẬP MỜ 2
III. LOGIC MỜ 16
IV. SỐ MỜ 17
V. SUY DIỄN MỜ 19
VI. CHƯƠNG TRÌNH ỨNG DỤNG 20
VII. TÀI LIỆU THAM KHẢO 23
FUZZY LOGIC VÀ ỨNG DỤNG
I. Giới thiệu
Ngày nay, trong những suy luận đời thường cũng như các suy luận trong khoa học
thì logic toán học đóng vai trò rất quan trọng, với sự phát triển của khoa học và
nhu cầu cuộc sống thì logic nguyên thủy với 2 giá trị đúng và sai (hay 1 và 0)
không thể giải quyết được hết các bài toàn phức tạp nảy sinh trong thực tế. Ví dụ:

F
(x) là giá trị nhỏ nhất trong tất
cả các chặn trên của hàm µ
F
(x)
• Miền xác định của tập mờ F, ký hiệu là S là tập con thỏa mãn:
S = Sup µ
F
(x) = {x ∈ B | µ
F
(x) > 0}
• Miền tin cậy của tập mờ F, ký hiệu là T là tập con thỏa mãn:
T = {x ∈ B | µ
F
(x) = 1}
• Trong logic mờ có rất nhiều dạng hàm thuộc như: Gaussian, PI-sharp, S-sharp,
Sigmoidal, Z-shape…
CH1301013 – LÂM LONG HẬU Page 3
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
3. Biến ngôn ngữ
Biến ngôn ngữ là phần tử chủ đạo trong các hệ thống dùng logic mờ. Ở đây các
thành phần ngôn ngữ của cùng một ngữ cảnh được kết hợp lại với nhau. Ta xét ví
dụ sau:
Xét tốc độ của một chiếc xe ô tô, ta có thể phát biểu xe đang chạy:
• Rất chậm (VS)
• Chậm (S)
• Trung bình (M)
• Nhanh (F)
• Rất nhanh (VF)
Những phát biểu như vậy được gọi là biến ngôn ngữ của tập mờ. Gọi x là giá trị

(x), µ
VF
(x) }
ví dụ hàm thuộc tại giá trị rõ x = 65 km/h là:
µx(65) = {0; 0; 0.75; 0.25; 0}
4. Các phép toán trên tập mờ:
Cho Ω = {P1, P2, } với P1, P2, là các mệnh đề. Tập mờ A trên Ω tương
ứng với ánh xạ v như sau:
v : Ω → [0, 1]
∀Pi Ω → v(Pi) ∈
Ta gọi v(Pi) là chân trị của mệnh đề Pi trên [0, 1].
CH1301013 – LÂM LONG HẬU Page 5
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
4.1. Phép bù:
Phép phủ định trong logic kinh điển là một trong những phép toán cơ bản cho việc
xây dựng phép bù của 2 tập hợp. Để suy rộng phép này trong tập mờ chúng ta cần
tới toán tử v(NOT P). Toán tử này phải thỏa các tính chất sau :
• v(NOT P) chỉ phụ thuộc vào v(P)
• Nếu v(P)=1 thì v(NOT P)=0
• Nếu v(P)=0 thì v(NOT P)=1
• Nếu v(P1) ≤ v(P2) thì v(NOT P1) ≥ v(NOT P2)
Định nghĩa 1 :
Hàm n : [0,1] → [0, 1] không tăng thỏa mãn các điều kiện n(0) = 1, n(1) = 0, được
gọi là hàm phủ định.
Ví dụ: n(x) = 1 - x hay n(x) = 1 – x
2
là các hàm phủ định.
Ta có nhận xét :
• Nếu v(P1) < v(P2) thì v(NOT P1) > v(NOT P2)
• v(NOT P) phụ thuộc liên tục vào v(P)

CH1301013 – LÂM LONG HẬU Page 7
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
tự đồng cấu ψ, ϕ của [0,1] sao cho n(x) = ψ (1- ϕ(x)).
4.2. Phép giao:
Phép hội AND trong logic kinh điển là cơ sở để định nghĩa phép giao của 2 tập
mờ. AND thoả các tính chất sau :
• v(P1 AND P2) chỉ phụ thuộc vào v(P1), v(P2).
• Nếu v(P1)=1 thì v(P1 AND P2) = v(P2) , với mọi P2
• Giao hoán v(P1 AND P2) = v(P2 AND P1)
• Nếu v(P1) ≤ v(P2) thì v(P1 AND P3) ≤ v(P2 AND P3), với mọi P3
• Kết hợp v(P1 AND (P2 AND P3 )) = v((P1 AND P2 )AND P3 )
Định nghĩa 5:
Hàm T : [0,1]
2
→ [0,1] là phép hội (t-chuẩn) khi và chỉ khi thỏa các điều kiện
sau:
• T(1, x) = x, với mọi 0≤ x ≤1.
• T có tính giao hoán, nghĩa là : T(x,y) = T(y,x), với mọi 0≤ x,y ≤1.
• T không giảm theo nghĩa : T(x,y) ≤ T(u,v), với mọi x ≤ u, y ≤ v.
• T có tính kết hợp : T(x,T(y,z)) = T(T(x,y),x), với mọi 0≤ x,y,z ≤1.
Từ các tính chất trên có thể suy ra T(0,x) = 0.
Ví dụ:
T(x,y) = min(x,y)
T(x,y) = max(0,x+y-1)
T(x,y) = x.y (tích đại số của x và y)
Định nghĩa 6:
Cho hai tập mờ A, B trên cùng không gian nền Ω với hàm thuộc về µA(a),
µ
B
(a), cho T là một phép hội .

• Hình b: Giao của hai tập mờ theo T(x,y) = min(x,y)
• Hình c: Giao của hai tập mờ theo T(x,y) = x.y
Ví dụ : Cho Ω = {1, 2, 3, 4, 5}, và A, B là các tập mờ trong Ω như sau:
A = {(1,0), (2,1), (3,0.5), (4,0.3), (5,0.2)}
B = {(1,0), (2,0.5), (3,0.7), (4,0.2), (5,0.4)}
Với T(x,y) = min(x,y), ta có :
A∩B = {(1,0), (2,0.5), (3,0.5), (4,0.2), (5,0.2)}
A∩A
c
= {(1,0), (2,0.1), (3,0.5), (4,0.3), (5,0.2)}
4.3. Phép hợp:
Phép tuyển OR trong logic kinh điển là cơ sở để định nghĩa phép hợp của 2 tập
mờ. OR thoả các tính chất sau :
• v(P1 OR P2) chỉ phụ thuộc vào v(P1), v(P2).
• Nếu v(P1) = 0 thì v(P1 OR P2) = v(P2) , với mọi P2
CH1301013 – LÂM LONG HẬU Page 9
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
• Giao hoán v(P1 OR P2) = v(P2 OR P1)
• Nếu v(P1) ≤ v(P2) thì v(P1 OR P3) ≤ v(P2 OR P3), với mọi P3
• Kết hợp v(P1 OR (P2 OR P3 )) = v((P1 OR P2 ) OR P3 ).
Định nghĩa 7:
Hàm S :[0,1]
2
→ [0,1] được gọi là phép tuyển (t- đối chuẩn) nếu thỏa các tiên đề
sau :
• S(0, x) = x, với mọi 0≤ x ≤1.
• S có tính giao hoán, nghĩa là : S(x,y) = S(y,x), với mọi 0≤ x,y ≤1.
• S không giảm theo nghĩa : S(x,y) ≤ S(u,v), với mọi x ≤ u, y ≤ v.
• S có tính kết hợp : S(x,S(y,z)) = S(S(x,y),x), với mọi 0≤ x,y,z ≤1.
Từ các tính chất trên suy ra S(1,x) = 1.

(a)) (hình b)
Với S(x,y) = x + y + x.y
µ
A B∪
(a) = µ
A
(a) + µ
B
(a) - µ
A
(a).µ
B
(a) (hình c)
CH1301013 – LÂM LONG HẬU Page 10
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
Ví dụ : Cho Ω = {1, 2, 3, 4, 5}, và A, B là các tập mờ trong Ω như sau:
A = {(1,0), (2,1), (3,0.5), (4,0.3), (5,0.2)}
B = {(1,0), (2,0.5), (3,0.7), (4,0.2), (5,0.4)}
Ta có : A B = {(1,0), (2,1), (3,0.7), (4,0.3), (5,0.4)} ∪
A A∪
c
= {(1,1), (2,1), (3,0.5), (4,0.7), (5,0.8)}
4.4. Một số quy tắc :
Tính lũy đẳng (demportancy) : Chúng ta nói T là lũy đẳng nếu T(x,x) = x,
x [0,1]. Tương tự, S là lũy đẳng nếu S(x,x) = x, x [0,1]. ∀ ∈ ∀ ∈
Tính hấp thu (absorption) : Có hai dạng hấp thu :
• T(S(x,y),x) = x , x,y [0,1]. ∀ ∈
• S(T(x,y),x) = x , x,y [0,1].∀ ∈
Tính phân phối (distributivity) : Có hai biểu thức xác định tính phân phối:
• S(x,T(y,z)) = T(S(x,y), S(x,z)), x,y,z [0,1]. ∀ ∈

Định nghĩa 10: Cho T là t-chuẩn, A là t-đối chuẩn, n là phép phủ định. Hàm
IS(x,y) xác định trên [0,1]
2
bằng biểu thức : I
S
(x,y) = S(n(x),y)
Ví dụ : Cho Ω = {1, 2, 3, 4, 5}, và A, B là các tập mờ trong Ω như sau:
A = {(1,0), (2,1), (3,0.5), (4,0.3), (5,0.2)}
B = {(1,0), (2,0.5), (3,0.7), (4,0.2), (5,0.4)}
Với S(x,y) = max(x,y) và n(x) = 1 - x ta có :
Is (0,0) = S(n(0),0) = 1
Is (1,0.5) = S(n(1),0.5) = 0.5
Is (0.5,0.7) = S(n(0.5),0.7) = 0.7
Is (0.3,0.2) = S(n(0.3),0.2) = 0.7
CH1301013 – LÂM LONG HẬU Page 12
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
Is (0.2,0.4) = S(n(0.2),0.4) = 0.8
5. Luật hợp thành:
5.1. Mệnh đề hợp thành:
Ví dụ điều khiển mực nước trong bồn chứa, ta quan tâm đến 2 yếu tố :
Mực nước trong bồn L = { rất thấp, thấp, vừa}
Góc mở van ống dẫn nước G = {đóng, nhỏ, lớn}
Ta có thể suy diễn cách thức điều khiển như thế này:
Nếu mực nước = rất thấp Thì góc mở van = lớn
Nếu mực nước = thấp Thì góc mở van = nhỏ
Nếu mực nước = vừa Thì góc mở van = đóng
Trong ví dụ trên ta thấy có cấu trúc chung là ‘ Nếu A thì B’. Cấu trúc này được gọi
là mệnh đề hợp thành, A là mệnh đề điều kiện, C = A => B là mệnh đề kết luận
Định lý Mamdani :
Độ phụ thuộc của kết luận không được lớn hơn độ phụ thuộc của điều kiện.

(y) thành m điểm x
j
, j = 1,2,3,…,m
Xây dựng ma trận quan hệ mờ R
Hàm thuộc µ
B’
(y) đầu ra ứng với giá trị rõ đầu vào x
k
có giá trị µ
B’
(y) = a
T
.R, với a
T
= {0,0,0,…,0,1,0,…,0,0}. Số 1 ứng với vị trí thứ k.
Trong trường hợp đầu vào là giá trị mờ A’ thì µ
B’
(y) là:
µ
B’
(y) = {l
1
, l
2
, l
3
… l
m
} với l
k

B
(y)
• Xác định độ thỏa mản H cho từng vector giá trị rõ đầu vào x = {c
1
, c
2
,
c
3
…,c
n
} trong đó c
i
là một trong các điểm mẫu của µ
Ai
(x
i
). Từ đó suy ra
H = Min { µ
A1
(c
1
), µ
A2
(c
2
),…, µ
An
(c
n

• Nguyên lý cận phải : chọn y’ = y2
6.2 phương pháp trọng tâm:
Điểm y’ được xác định là hoành độ của điểm trọng tâm miền được bao bởi trục
hoành và đường µ
B’
(y).
Công thức xác định:
Phương pháp trọng tâm cho luật Sum – Min
Giả sử có m luật điều khiển, ký hiệu các giá trị mờ đầu ra của luật điều khiển thứ k
là µ
B’K
(y) thì với quy tắc Sum – Min hàm thuộc sẽ là
CH1301013 – LÂM LONG HẬU Page 15
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
Phương pháp độ cao
Từ công thức của phương pháp Sum – Min, nếu các hàm thuộc có dạng Singleton
thì ta được:
Đây là công thức giải mờ theo phương pháp độ cao.
III. Logic mờ
1. Khái niệm mệnh đề mờ :
Trong logic rõ thì mệnh đề là một câu phát biểu có giá trị đúng hoặc sai. Trong
logic mờ thì mỗi mệnh đề mờ là một câu phát biểu không nhất thiết là đúng hoặc
sai. Mệnh đề mờ được gán cho một giá trị trong khoảng từ 0 đến 1 để chỉ mức độ
đúng (độ thuộc về) của nó.
Cho Ω = {P1, P2, } với P1, P2, là các mệnh đề. Tập mờ A trên Ω tương ứng
với ánh xạ v như sau:
v : Ω → [0, 1]
∀Pi ∈ Ω → v(Pi)
Ta gọi v(Pi) là chân trị của mệnh đề Pi trên [0, 1].
Các phép toán trên mệnh đề mờ là các phép toán logic mờ dựa trên các tập mờ.

• M là chuẩn số, tức là có điểm x’ sao cho
µ
M(x’) = 1
CH1301013 – LÂM LONG HẬU Page 17
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
• Ứng với mỗi
α

R1, tập mức {x:µM(x)≥α} là đoạn đóng trên R1
Người ta thường dùng các số mờ dạng tam giác, hình thang và dạng Gauss. Và dẫn
đến các qui tắc là ta giả định rằng tập mờ đó là dạng đặc biệt mà đường biểu diễn
tạo thành tam giác cân trên biểu đồ, do đó ta có các qui tắc tính toán số mờ như
sau:
Các phép toán (dùng để tính toán) trên số mờ:
• Cộng : [a,b] + [d,e] = [a+d, b+e]
• Trừ : [a,b] - [d,e] = [a-e, b-d]
• Nhân : [a,b] * [d,e] = [min(ad,ae, bd, be), max(ad,ae, bd, be)]
• Chia : [a,b] / [d,e] = [min(a/d,a/e, b/d, b/e), max(a/d,a/e, b/d, b/e)]
2. Nguyên lý suy rộng của Zadeh
Để làm việc với các hệ thống có nhiều biến vào, nguyên lý suy rộng của Zadeh là
rất quan trọng
Định nghĩa: Cho Ai là tập mờ với các hàm thuộc
µ
Ai trên không gian nền Xi,
(i=1 n). Khi đó tích A1xA2x An là tập mờ trên X=X1xX2x Xn với hàm thuộc:
µ
A(x)=min{
µ
Ai(xi); i=1 n} Trong đó x=(x1,x2, xn)
Giả sử mỗi biến đầu vào xi lấy giá trị là Ai(i=1 n). Hàm f: X->Y chuyển các giá

3. Các số học mờ
Từ các phép toán cơ bản (Các phép toán trên số mờ) người ta xây dựng nên số học
mờ. Có nhiều cách xây dựng một số học mờ. Sau đây là số học mờ dựa trên khái
CH1301013 – LÂM LONG HẬU Page 18
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
niêm
α
-cuts (lát cắt alpha).
α
-cuts của số mờ là khoảng đóng thực với mọi 0<
α
<=1. Gọi * là một trong 4 phép toán sau: {+, -, ., /}
[a,b]*[d,e]={f x g / a≤ f ≤ b, d ≤ g ≤ e}
Các tính chất số học mờ dựa trên khoảng đóng:
Gọi A=[a1,a2], B=[b1,b2], C=[c1, c2], 0=[0,0], 1=[1,1] ta có một số tính chất số
học mờ sau:
 A+B=B+A ; A.B=B.A
 (A+B)+C=A+(B+C) ; (A.B).C=A.(B.C)
 A=0+A=A+0 ; A=1.A=A.1
 A.(B+C)

A.B+A.C
 Nếu b.c >= 0

b

B,

c


Mệnh đề 2 (sự kiện): P đúng
Kết luận : Q đúng
Trong suy diễn mờ, luật được diễn đạt dưới dạng sau :
Luật mờ : Nếu x=A thì y=B
CH1301013 – LÂM LONG HẬU Page 19
Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
Sự kiện mờ : x=A'
Kết luận : y=B'
Trong đó A, A' là các tập mờ trên không gian nền U, B và B' là các tập mờ trên
không gian nền V.
Ví dụ :
Luật mờ : Nếu góc tay quay ga lớn thì xe đi nhanh
Sự kiện mờ : Góc tay quay khá lớn
Kết luận : Xe đi khá nhanh
Trong logic rõ Modus Tollen có dạng:
Mệnh đề 1 (Luật hoặc tri thức): P → Q
Mệnh đề 2 (sự kiện): ¬Q đúng
Kết luận : ¬P đúng
Trong suy diễn mờ, luật được diễn đạt dưới dạng sau :
Luật mờ (hoặc tri thức mờ): P → Q
Sự kiện mờ : ¬Q khá đúng
Kết luận : ¬P khá đúng
Ví dụ :
Luật mờ : Nếu góc tay quay ga lớn thì xe đi nhanh
Sự kiện mờ : Xe không đi nhanh lắm
Kết luận : Góc tay quay không lớn lắm
VI. Chương trình ứng dụng
Ứng dụng fuzzy logic trong game chiến đấu bằng việc dự đoán hành động thứ 3
của người chơi dựa vào 2 hành động cho trước.
Giả sử có 3 trạng thái người chơi có thể chọn là: đấm, đá thấp, đá cao. Được cho

Phương Pháp Toán Trong Tin Học PGS.TS. NGUYỄN PHI KHỨ
VII. Tài liệu tham khảo
[1] Jan Jantzen, Tutorial On Fuzzy Logic
[2] K.Tomsovic, M.Y. Chow. Prepared for the IEEE-PES Winter Meeting in
Singapore January, 2000
[3] PGS.TS Nguyễn Phi Khứ, introduce fuzzy loggic.
[4] PGS.TS.Nguyễn Thị Phương Hà, Điều khiển mờ.
CH1301013 – LÂM LONG HẬU Page 23


Nhờ tải bản gốc

Tài liệu, ebook tham khảo khác

Music ♫

Copyright: Tài liệu đại học © DMCA.com Protection Status