XỬ LÝ THÔNG TIN MỜ - PHÉP HỢP THÀNH - Pdf 11

XỬ LÝ THÔNG TIN MỜ
TDK
PHÉP HỢP THÀNH
•ChoR⊆X×Y, S⊆Y×Z, có thể kếthợpR và
S tạo thành quan hệ T=R
°
S ⊆X×Z
µ
T
(x,z) = max
y∈Y
min {µ
R
(x,y), µ
S
(y,z)}
•Lưuý:
-Cóthể thay min bằng các t-chuẩnkhác
-Cóthể giảithíchbằng nguyên lý mở rộng
VÍ DỤ
0.30.4100.8x3
10.200.50.3x2
0.7100.20.1x1
y5y4y3y2y1R
0.8010y5
00.30.20.4y4
10.700.8y3
00.810.2y2
0.40.300.9y1
z4z3z2z1S
10.70.30.8x3

R
, các kếtnối{┐,
∧, ∨, →, ↔,(,)},
Tập các biểuthức: là thành tố, hoặc ┐F,
F∧G, F∨G, F→G, F↔G, vớiF, G làcácbiểu
thức
•Ngữ nghĩa: Diễndịch I : A
R
→ {0,1}
Có thể viếtp∈ I iff I(p)=1 Î mô hình I⊂A
R
I ‌═ p (I suy ra p), nếu I(p)=1
Đệ quy: I ‌═ F, nếu I(F)=1
LOGIC KINH ĐIỂN
•Biểuthức F luôn đúng, nếu ∀I: I ‌═ F, biểu
thứcF thoả nếu ∃
I: I ‌═ F, biểuthứcF có
thể sai nếu ∃
I: I ‌≠ F, biểuthức F (luôn)
không thoả nếu ∀
I: I ‌≠ F
•ChoΣ là tậpcácbiểuthức, F là mộtbiểu
thức,
Σ ‌═ F, nếumọimôhìnhcủa Σ (các
I làm
cho mọibiểuthức trong Σđều đúng) cũng
là mô hình củaF
LOGIC KINH ĐIỂN
• Hai biểuthứcF vàG làtương đương (về
ngữ nghĩa) (F ≡ G), nếu ∀

{r,s} ‌≠ (p∨q) ∧ (r∨s)
(p∨q) ∧ (r∨s) là biểuthứcthoả, có thể sai
•ChoΣ={p∧q → r, p→q} thì có Σ ‌═ p→r
• Σ ∪ {F} ‌═ G iff Σ ‌═ F→G
• ∅ ‌═ F ?
•F
1 ∧F2 ∧…∧Fn → G ≡ ┐F1 ∨…∨ ┐Fn ∨ G
•…
CÁC VẤN ĐỀ CỦA LOGIC KINH ĐIỂN
•Chỉ có hai giá trị chân lý: đúng, sai
•Hạnchế về ngôn ngữ: thiếucáclượng từ,
trạng từ biến đổi
•Hạnchế về các phép toán
• Suy diễn
Î Mở rộng !
LOGIC MỜ
•Biếnchânlý
•Mở rộng của logic kinh điển
• Suy luậnxấpxỉ
• Phép kéo theo mờ
BIẾN CHÂN LÝ
•Biếnchânlýlàbiến ngôn ngữ trên [0,1]
với hai phầntử sinh : true, false
•Giatử là toán tử biến đổingữ nghĩacủa
giá trị ngôn ngữ, ví dụ, very, more_or_less
VÍ DỤ
• µ
true
(t) = t, µ
very true

• Suy luậnxấpxỉ
• Cho v(A), v(B) là giá trị chân lý củacáctập
mờ A, B, thì v(A và B) = t(v(A),v(B)),
tương tự: v(A hoặc B), v(không A), …
MỆNH ĐỀ MỜ VỚI GIÁ TRỊ
CHÂN LÝ (Baldwin, Tsukamoto)
Cho “V là A”
P = “V là B” với giá trị chân lý P
?
µ
P
(t) = sup
u:µB(u)=t

A
(u)}
Î (V, A, t)
1
A B
1
1
0



SUY LUẬN XẤP XỈ
•Nếu x là A thì y là B A, A’ ⊂ X
Cho x là A’
B, B’ ⊂ Y
Tính y là B’

B
(v)) = µ
R(A,B)
(u,v)
•TínhQ
1
là phép hợp thành P
1
và P
1
→Q
1
•Từ Q
1
và Q
1
tính B’, µ
B’
(v) = µ
Q1

B
(v)), v∈Y
PHÉP KÉO THEO MỜ
•µ
R
(u,v) = ϕ(µ
A
(u),µ
B

• Hãy tính quan hệ mờ R cho mệnh đề “Nếu
x là A thì y là B” với các phép kéo theo mờ
khác nhau !!!
VÍ DỤ - MAMDANI
0.20.20.203
00004
0.60.60.202
10.60.201
4321Rc
CHƯƠNG 5 – SUY DIỄN MỜ
• Suy diễnmờđơn điềukiện
• Suy diễnmờ mở rộng
•Nộisuymờ
BÀI TOÁN
•Nếu x là A thì y là B (1)
Cho x là A’
(2)
y là B’ ?
Trong đó, A, A’ là các tậpmờ ⊂ X, B, B’
là các tậpmờ ⊂ Y, cầnxácđịnh B’
•Cáchgiải quyết:
-Từ (1), tính quan hệ mờ R(A,B)
-Tính B’= A’○ R
VÍ DỤ
•Nếux lànhỏ thì y là lớn
Cho x là rấtnhỏ
y là B’ ?
Với nhỏ = {(1,1), (0.6,2), (0.2,3)} ⊂ {1,2,3,4}
lớn = {(0.2,2), (0.6,3), (1,4)} ⊂ {1,2,3,4},
rấtnhỏ = nhỏ


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