Khái niệm tập mờ (fuzzy set)

Một phần của tài liệu Đại số mệnh đề - CHƯƠNG 1 : ĐẠI SỐ MỆNH ĐỀ ppt (Trang 61 - 94)

Như chúng ta đã biết, tập hợp thường là kết hợp của một số phần tử có cùng một số tính chất chung nào đó. Ví dụ : tập các sinh viên. Ta có :

T = { t / t là sinh viên }

Vậy, nếu một người nào đó là sinh viên thì thuộc tập T, ngược lại là không thuộc tập T. Tuy nhiên, trong thực tế cuộc sống cũng như trong khoa học kỹ thuật có

Chương 4: Lý thuyết tập mờ & Logic mờ

nhiều khái niệm không được định nghĩa một cách rõ ràng. Ví dụ, khi nói về một "nhóm sinh viên khá", thì thế nào là khá ? Khái niệm về khá không rõ ràng vì có thể

sinh viên có điểm thi trung bình bằng 8.4 là khá, cũng có thểđiểm thi trung bình bằng 6.6 cũng là khá ( dải điểm khá có thể từ 6.5 đến 8.5),... Nói cách khác, "nhóm sinh viên khá" không được định nghĩa một cách tách bạch rõ ràng như khái niệm thông thường về tập họp. Hoặc, khi chúng ta nói đến một "lớp các số lớn hơn 10" hoặc " một

đống quần áo cũ",..., là chúng ta đã nói đến những khái niệm mờ, hay những khái niệm không được định nghĩa một cách rõ ràng. Các phần tử của nhóm trên không có một tiêu chuẩn rõ ràng về tính "thuộc về" ( thuộc về một tập họp nào đó). Đây chính là những khái niệm thuộc về tập mờ. Trong đối thoại hàng ngày chúng ta bắt gặp rất nhiều khái niệm mờ này. Ví dụ, một ông giám đốc nói: " Năm qua chúng ta đã gặt hái

được một số thành tích đáng khen ngợi. Năm tới đây chúng ta phải cố gắng thêm một bước nữa". Đây là một câu chứa rất nhiều khái niệm mờ.

Như vậy, logic rõ có thể biểu diễn bằng một đồ thị như sau

Logic mờ cũng có thể biểu diễn bằng một đồ thị nhưng là đồ thị liên tục

Định nghĩa tập mờ (Fuzzy set):

Cho Ω là không gian nền, một tập mờ A trên Ω tương ứng với một ánh xạ từΩ

đến đoạn [0,1].

A : Ω→ [0,1] được gọi là hàm thuộc về (membership function) Kí hiệu A = {(a, µA(a)) / a∈Ω}

Chương 4: Lý thuyết tập mờ & Logic mờ

Trong đó, µA(a) ∈ [0,1] chỉ mức độ thuộc về (membership degree) của phần tử a vào tập mờ A.

Khoảng xác định của hàm µA(a) là đoạn [0, 1], trong đó giá trị 0 chỉ mức độ

không thuộc về, còn giá trị 1 chỉ mức độ thuộc về hoàn toàn.

Ví dụ 1: Một sự biểu diễn tập mờ cho số "integer nhỏ".

µ

int

Ví dụ 2: Một sự biểu diễn tập mờ cho các tập người đàn ông thấp, trung bình và cao.

chiều cao

µ

Ví dụ 3: Cho Ω = {1, 2, 3, 4, 5}, tập mờ A trên Ω tương ứng với ánh xạµA như

sau: µA : 1 → 0 2 → 1 3 → 0.5 4 → 0.3 5 → 0.2 Ta có tập mờ A = {(1,0), (2,1), (3,0.5), (4,0.3), (5,0.2)}

Cách viết trên là sự liệt kê các phần tử khác nhau cùng với mức độ thuộc về tập họp A. Từđịnh nghĩa trên chúng ta có thể suy ra:

- Tập mờ A là rỗng nếu và chỉ nếu hàm thuộc vềµA(a)= 0 ,∀a∈Ω - Tập mờ A là toàn phần nếu và chỉ nếu µA(a) = 1 ,∀a∈Ω

Chương 4: Lý thuyết tập mờ & Logic mờ

Ví dụ 4: Cho Ω = {1, 2, 3, 4, 5}, tập mờ A trên Ω tương ứng với ánh xạ µA như ví du trên.

A = {(1,0), (2,1), (3,0.5), (4,0.3), (5,0.2)} Tập mờ B trên Ω tương ứng với ánh xạµB như sau:

µB : 1 → 0 2 → 1 3 → 0.5 4 → 0.3 5 → 0.2 Ta có tập mờ B = {(1,0), (2,1), (3,0.5), (4,0.3), (5,0.2)} Nhận thấy, µA(x) = µB(x) với mọi x trong Ω. Vậy A= B. 4.4. Các phép toán v tp m Để có thể tiến hành mô hình hóa các hệ thống có chứa tập mờ và biểu diễn các qui luật vận hành của hệ thống này, trước tiên chúng ta cần tới việc suy rộng các phép toán logic cơ bản với các mệnh đề có chân trị trên đoạn [0, 1].

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].

4.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)

Chương 4: Lý thuyết tập mờ & Logic mờ 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 - x2 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)

- v(NOT (NOT P)) = v(P) Định nghĩa 2 (Phần bù của một tập mờ): Cho n là hàm phủđịnh, phần bù Ac của tập mờ A là một tập mờ với hàm thuộc vềđược xác định bởi : = (a) µAC n(µA(a)) , với mỗi a∈Ω. Đồ thị của hàm thuộc về có dạng sau: x x µAc µA x x Hình a Hình b Hình a : Hàm thuộc về của tập mờ A Hình b : Hàm thuộc về của tập mờ Ac Ví dụ : với n(x) = 1 - x thì ta có :

µAC(a)= n(µA(a)) = 1-µA(a) , với mỗi a∈Ω.

Cho Ω = {1, 2, 3, 4, 5}, và A là tập mờ trong Ω như sau: A = {(1,0), (2,1), (3,0.5), (4,0.3), (5,0.2)}

Ta có :

Ac = {(1,1), (2,0), (3,0.5), (4,0.7), (5,0.8)}

Định nghĩa 3:

Chương 4: Lý thuyết tập mờ & Logic mờ

b. Hàm phủđịnh n là mạnh (strong) nếu nó là chặt và thỏa n(n(x)) = x , ∀x∈[0, 1].

Định nghĩa 4:

Hàm ϕ = [a,b] → [a,b] gọi là một tự đồng cấu (automorphism) của đoạn [a,b] nếu nó là hàm liên tục, tăng nghiêm ngặt và ϕ(a) = a, ϕ(b) = b.

Định lý 1:

Hàm n:[0,1] → [0,1] là hàm phủ định mạnh khi và chỉ khi có một tựđồng cấu

ϕ của đoạn [0,1] sao cho N(x) = Nϕ(x) = ϕ-1(1 - ϕ(x)).

Định lý 2 :

Hàm n: [0,1] →[0,1] là hàm phủđịnh nghiêm ngặt khi và chỉ khi có hai phép tựđồng cấu ψ, ϕ của [0,1] sao cho n(x) = ψ (1- ϕ(x)).

4.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ụ :

Chương 4: Lý thuyết tập mờ & Logic mờ

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 .

Ứng với phép hội T, tập giao của hai tập mờ A, B là một tập mờ trên Ω với hàm thuộc về cho bởi :

µA∩B(a) = T(µA(a), µB(a)) ∀a∈Ω

Với T(x,y)=min(x,y) ta có :

µA∩B(a) = min(µA(a), µB(a)) Với T(x,y) = x.y ta có:

µA∩B(a) = µA(a).µB(a) (tích đại số)

Ta có thể biểu diễn phép giao của hai tập mờ qua hai hàm T(x,y)=min(x,y) và T(x,y) = x.y theo các đồ thị sau đây:

- Hình a : Hàm thuộc về của hai tập mờ A và B - 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

µ

µ µ

Hình a Hình b Hình c

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)} x x x µA(x) µB(x) µA(x) µB(x) µA(x) µB(x)

Chương 4: Lý thuyết tập mờ & Logic mờ

4.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 - 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ọilà 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.

Ví dụ :

S(x,y) = max(x,y) S(x,y) = min(1, x+y) S(x,y) = x + y - x.y

Định nghĩa 8:

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 S là phép tuyển , phép hợp của hai tập mờ A, B là một tập mờ trên Ω với hàm thuộc về cho bởi :

µA∪B(a) = = S(µA(a), µB(a)) , ∀a∈Ω

Với S(x,y) = max(x,y) ta có :

µA∪B(a) = max(µA(a), µB(a)) ( xem hình a) Với S(x,y) = min(1, x+y)

µA∪B(a) = min(1, µA(a) + µB(a)) (xem hình b)

Với S(x,y) = x + y + x.y

Chương 4: Lý thuyết tập mờ & Logic mờ

Có thể biểu diễn giao của các tập mờ với các phép toán trên bằng các đồ thị sau :

µ

µ µ

Hình a: Hình b Hình c

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∪Ac = {(1,1), (2,1), (3,0.5), (4,0.7), (5,0.8)}

4.4.4. Một số qui tắc

Trong logic rõ với hai giá trị đúng, sai, có nhiều qui tắc đơn giản mà chúng ta thường sử dụng xem như tính chất hiển nhiên.

Ví dụ : với bất kỳ tập rõ A ⊂Ω, ta có: A∩Ac = ∅ và A ∪Ac = Ω.

Thực ra, những qui tắc này có được là nhờ vào sự xây dựng toán học trước đó. Chuyển sang lý thuyết tập mờ thì hai tính chất quen dùng này đã không còn đúng nữa. Do đó, chúng ta cần xem xét lại một số tinh chất. • 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]. x xx µB(x) µA(x) µB(x) µA(x) µA(x) µB(x)

Chương 4: Lý thuyết tập mờ & Logic mờ

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]. - T(x,S(y,z)) = S(T(x,y), T(x,z)), ∀x,y,z∈[0,1].

Luật De Morgan

Cho T là t-chuẩn, S là t-đối chuẩn, n là phép phủ định. Chúng ta có bộ ba (T,S,n) là một bộ ba De Morgan nếu :

n(S(x,y)) = T(nx,ny)

4.4.5. Phép kéo theo

Chúng ta sẽ xét phép kéo theo như một mối quan hệ, một toán tử logic. Ta có các tiên đề sau cho hàm v(P1→ P2) :

- v(P1→ P2) chỉ phụ thuộc vào v(P1), v(P2). - Nếu v(P1) ≤ v(P3) thì v(P1→ P2) ≥ v(P3 → P2), ∀P2 - Nếu v(P2) ≤ v(P3) thì v(P1→ P2) ≤ v(P1 → P3), ∀P1 - Nếu v(P1) = 0 thì v(P1→ P) = 1 , ∀P. - Nếu v(P1) = 1 thì v(P → P1) = 1 , ∀P. - Nếu v(P1) = 1 và v(P2) = 0 thì v(P1 → P2) = 0.

Tính hợp lý của những tiên đề này dựa vào logic kinh điển và những tư duy trực quan của phép suy diễn. Từ tiên đề ban đầu (v(P1 → P2) chỉ phụ thuộc vào v(P1), v(P2)) khẳng định sự tồn tại của hàm số I(x,y) xác định trên [0,1]2 với mong muốn tính chân trị của phép kéo theo qua biểu thức

v(P1→ P2) = I(v(P1), v(P2))

Định nghĩa 9:

Phép kéo theo của một hàm số I : [0,1]2→ [0,1] thỏa các điều kiện sau : - Nếu x ≤ z thì I(x,y) ≥ I(z,y), ∀y∈[0,1]. - Nếu y ≤ u thì I(x,y) ≤ I(z,y), ∀x∈[0,1]. - I(0,x) = 1, ∀x∈[0,1]. - I(x,1) = 1, ∀x∈[0,1]. - I(1,0) = 0 Định nghĩa 10:

Chương 4: Lý thuyết tập mờ & Logic mờ

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 :

IS(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 Is (0.2,0.4) = S(n(0.2),0.4) = 0.8 4.5. Logic m 4.5.1. Định nghĩa 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ó.

Ví dụ : " Nam trông khá đẹp trai"

" Chiếc xe này chạy cũng được đấy". " Cô ấy sống tạm gọi là hạnh phúc".

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ờ. Ký hiệu mức độđúng (chân trị) của mệnh đề mờ P là v(P). Ta có : 0≤ v(P)≤ 1.

Chương 4: Lý thuyết tập mờ & Logic mờ

4.5.2. Các phép toán trên logic mờ

Các phép toán mệnh đề trong logic mờđược định nghĩa như sau: . Phép phủđịnh : v(P) = 1 - v(P) . Phép tuyển : v(P1∨ P2) = max(v(P1), v(P2)) . Phép hội : v(P1∧ P2) = min(v(P1), v(P2)) Ví dụ 1: Cho P, Q, R là các mệnh đề mờ với : v(P) = 0.1, v(Q)= 0.9, v(R) = 0.8. Mệnh đề M = (P∧Q)∨R có chân trị (độ thuộc về) là : 0.8 . Phép kéo theo: v(P→Q) = v(P∨Q) = max(v(P), v(Q)) Ví dụ 2: Cho P, Q là các mệnh đề mờ với : v(P) = 0.1, v(Q)= 0.6 Mệnh đề v(P→Q) = v(P∨Q) = max(v(P), v(Q)) = max(1- 0.1, 0.6) = 0.9

4.6. Suy din m (Fuzzy inference)

Suy diễn mờ hay còn gọi là suy luận xấp xỉ là quá trình suy ra những kết luận dưới dạng các mệnh đề mờ trong điều kiện của qui tắc "Nếu... Thì...", với các dữ liệu

đầu vào cho trước là không được rõ ràng.

Thông thường, suy diễn mờ hay sử dụng luật Modus Ponnens hoặc Modus Tollen. Trong logic rõ, Modus Ponnen diễn đạt như sau:

Mệnh đề 1 (Luật hoặc tri thức): P → Q 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

Sự kiện mờ : x=A' Kết luận : y=B'

Chương 4: Lý thuyết tập mờ & Logic mờ

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

Để ứng dụng suy diễn mờ vào trong bài toán thực tế thì vấn đề mấu chốt mà chúng ta cần thực hiện đó là xây dựng cơ chế lập luận xấp xỉ. Sau đây, chúng tôi xin trình bày một ứng dụng suy luận xấp xỉ trong việc chẩn đoán bệnh lao phổi. Trong phạm vi của chương này, chúng tôi chỉ trình bày phần sơ lược về cách xây dựng suy luận xấp xỉ.

Trước hết chúng ta hãy đi tìm hiểu về qui trình chẩn đoán. Hiện nay, khi một bệnh nhân đến khám tại một viện lao, bác sĩ tiến hành chẩn đoán theo các bước sau:

Giai đoạn 1: khám lâm sàng

- Khám ban đầu : nhìn bề ngoài (tóc, da, mắt,...)

- Hỏi về tình trạng của cơ thể bệnh nhân để có thêm nhiều thông tin.

- Từ các triệu chứng lâm sàng tiến hành chẩn đoán khẳng định khả năng mắc bệnh của bệnh nhân.

Chương 4: Lý thuyết tập mờ & Logic mờ

- Nếu hết giai đoạn này, bác sĩ không có nghi ngờ gì về bệnh lao, ông ta sẽđưa ra câu trả lời phủđịnh bệnh lao và có thể gợi ý về khả năng bệnh nhân mắc một khác. Bệnh nhân sẽ được khuyên là nên quay lại nếu bệnh nặng hơn mà không rõ căn nguyên.

- Ngược lại, nếu tới cuối giai đoạn lâm sàng bệnh nhân bị nghi là đã mắc bệnh lao thì giai đoạn chẩn đoán thứ hai sẽđược tiến hành để có kết luận chắc chắn.

Giai đoạn 2: khám cận lâm sàng

Một phần của tài liệu Đại số mệnh đề - CHƯƠNG 1 : ĐẠI SỐ MỆNH ĐỀ ppt (Trang 61 - 94)

Tải bản đầy đủ (PDF)

(94 trang)