RÚT TRÍCH CÁC THÔNG SỐ ĐẶC TRƯNG VAØ HỆ SUY DIỄN DỰA TRÊN TẬP LUẬT MỜ
HÌNH 5 5: HAØM THAØNH VIÊN CÓ DẠNG HÌNH CHUÔNG
Biến ngôn ngữ : Các tập CAO, THẤP và TRUNGBÌNH là biến ngôn ngữ. Tương tự để chỉ tốc độ xe, ta có các biến ngôn ngữ như CHẬM, RẤTCHẬM, TRUNGBÌNH, HƠINHANH, RẤTNHANH. Tương tự với các giá trị x là tuổi ta có các hàm thành viên TRẺ, TRNIÊN và GIAØ như sau :
Hình 5.6 : Các hàm thành viên dạng hình chuông với các biến ngôn ngữ
TRẺ, TRNIÊN và GIAØ
Các phép toán trong logic mờ :
Tương tự các phép toán logic 2 giá trị, ứng với các phép toán AND, OR và COMPLEMENT, logic mờ có các phép toán conjunction T, disjunction S và complement N.
Đặt a=µA(x) và b=µB(x), thì µA∩B(x) = T(a,b)
và µA∪B(x)= S(a,b)
T và S phải được định nghĩa sao cho thoả các điều kiện T-norm và T- cnorm (chuẩn tam giác) như sau :
T(a,T(b,c)) = T( T(a,b), c) (Tính chất kết hợp)
T(0,0) = 0 T(a,1) = a
T(a,b) ≤ T(c,d) nếu a ≤ c và b ≤ d
S(a,b) = S(b,a) (Tính chất giao hoán) T(a,T(b,c)) = T( T(a,b), c) (Tính chất kết hợp)
S(1,1) = 1 S(a,0) = a
S(a,b) ≤ S(c,d) nếu a ≤ c và b ≤ d
Hàm thành viên của ~A (phủ định của A) là µ~A
µ~A(x) = 1-µA(x)
Định lý DeMorgan áp dụng trong logic mờ : S(a,b) = N(T(N(a),N(b)))
T(a,b) = N(S(N(a),N(b)))
Trong dạng có thêm tham số p vào T-norm, thì T-norm và T-conorm được viết là :
Tsc(ab,p) = [MAX{0, a-p + b-p –1 }]-1/p
Ssc(a,b,p) =1-[MAX{0, (1-a)-p + (1-b)-p – 1 }]-1/p
Nếu chọn tham số p 0 hay p∞ , ta có 2 định nghĩa T thông dụng nhất : limp0Tsc(a,b,p) = ab
limp∞Tsc(a,b,p) = min{a,b}
Tương tự với các phép toán trong logic 2 giá trị, ứng với các phép toán GIAO, HỘI, CHỨATRONG … ta cũng có các phép toán trong logic mờ được định nghĩa như sau:
S là một tập các đối tượng, với các phần tử được kí hiệu là x : S ={x}
Tập mờ A được đặc trưng bằng hàm thành viên µA A gọi là tập EMPTY nếu và chỉ nếu ∀x, µA(x)=0.0 A = B nếu và chỉ nếu ∀x, µA(x) = µB(x) (hay µA = µB)
• A là CONTAINED B ( A chứa trong B ) nếu và chỉ nếu µA ≤ µB
B = NOT A khi µB = 1 – µA
C = A OR B khi µC(x) = MAX(µA(x),µB(x)) C = A AND B khi µC(x) = MIN(µA(x),µB(x))
Như vậy hàm thành viên của các biến ngôn ngữ có hai miền giá trị khác nhau: Miền giá trị ngôn ngữ:
V=(xR/x> 0)
Và mỗi giá trị ngôn ngữ lại được mô tả bằng một tập mờ có cơ sở là miền các giá trị.
Logic mờ:
Thuật ngữ logic mờ được dùng với một số ngữ nghĩa khác nhau .Trong phạm vi điều khiển,nó liên quan đến việc xử lí các giá trị sự thật mờ (như gần đúng) được định nghĩa như các luật mờ ,trên khoảng sự thật[0,1].Phần này sẽ tập trung vào việc dẫn dắt để tìm ra kết luận từ các tính chất được định nghĩa như tập mờ.
Thông thường các hiểu biết liên quan đến sự lí luận mờ được mô tả như các luật có dạng “nếu x là A thì y là B”.Trong đó x ,y là các biến mờ.A và B là các giá trị mờ,các phát biểu của các mệnh đề đầu của các luật có thể liên kết với nhau bằng các từ nối vật lí như “Và” và “Hoặc”.
Dạng mô tả luật vừa nêu trên cũng tương ứng với cách mà con người diễn đạt các luật trong thực tế.
Suy diễn mờ:
Thông thường một luật mờ thường được diễn đạt ở dạng “Nếu ,Thì” là mối quan hệ mờ chủ yếu.Một mối liên hệ mờ R cũng đạt được gọi là một quan hệ mờ. Các mối liên hệ mờ trong cơ sở tri thức mờ có thể được định nghĩa như là tập hợp của các quan hệ mờ.
Trong lí luận mờ,các luật suy diễn mờ có hai dạng chính có tên gọi là cách lí luận trực tiếp và cách lí luận gián tiếp.
Cách suy luận trực tiếp:
Mệnh đề 1:nếu x là A thì y là B Mệnh đề 2:x là A’
Kết luận :y là B’ Trong đó B’ được xác định như sau:
B’=A’o B
Trong biểu thức trên R là mối liên hệ liên hệ mờ có đượ nhờ liên hệ “Nếu A thì B’”,0 là toán tử hợp thành,A’ là tập mờ ở trong các dạng:A,rất A,hơn A,kém A,không A..
Cách suy diễn gián tiếp:
Mệnh đề 1:nếu x là A thì y là B Mệnh đề 2: y là B’
Kết luận:
Trong hai cách suy diễn trên,cách suy diễn trực tiếp được dùng rộng rãi hơn. Luật IF_THEN mờ :
Luật if_then mờ hay phát biểu điều kiện mờ là biểu thức dạng IF A THEN B , trong đó A và B là tên gọi của các tập mờ. Do khả năng biểu diễn ý nghĩa súc tích của mình, các luật if_then mờ thường được sử dụng trong mô hình suy luận để ra quyết định, bắt chước cách suy luận ra quyết định của con người.
Dạng của những luật này mà những luật mờ if –then thường được dùng để mô tả sự không chính xác của suy luận mà là một phần quan trọng của khả năng con người tạo ra sự quyết định trong môi trường không chính xác và không ổn định. Ví dụ: If áp suất cao thì chỉnh volume nhỏ.
‘áp suất’ và ‘volume’ là những biến ngữ nghĩa, còn ‘cao’ và ‘nhỏ’ là những giá trị ngữ nghĩa sẽ được xác định nhờ hàm thành viên.
Một dạng khác của luật mờ if-then được đưa ra bởi Takagi và Sugeno dạng này chỉ có những tập mờ ở giả thiết. Ví dụ:
If vận tốc cao then lực = k* (velocity)2, trong đó: velocity-Vận tốc
‘cao’ là biến ngữ nghĩa ở phần giả thiết được xác định nhờ hàm thành viên. Phần kết luận được mô tả bởi một phương trình không mờ của giá trị input là velocity.
Cả hai loại dạng luật mờ if-then trên đều được sử dụng rộng rãi trong mô hình hóa và điều khiển. Nhờ cách sử dụng những các biến ngôn ngữ và hàm thành viên mà một luật mờ có thể dễ dàng mô tả được sự suy luận chủ yếu của con người. Từ góc độ khác, do những định lượng ở phần giả thiết, mỗi luật mờ có thể được xem như là một sự mô tả cục bộ trong phạm vi giả định. Các luật mờ tạo nên phần cốt lõi của hệ thống suy luận mờ.