ĐIỀU KHIỂN MỜ VÀ MỜ LAI PID
4.1.1. Định nghĩa tập mờ.
Logic mờ bắt đầu với khái niệm tập mờ.
Khái niệm về tập hợp đã được hình thành trên nền tảng logic và được định nghĩa như một sự xếp đặt chung các vật, các đối tượng có cùng chung một tính chất, được gọi là phần tử của tập hợp đó. Ý nghĩa logic của khái niệm tập hợp được xác định ở chỗ một vật hoặc một đối tượng bất kỳ chỉ có thể có hai khả năng hoặc là phần tử của tập đang xét hoặc không.
Xét tập hợp A ở trên. Ánh xạ µA→ {0,1} định nghĩa trên tập A như sau:
µA(x) = 0 nếu x ∉ A và
µA(x) = 1 nếu x ∈ A (4.1)
Được gọi là hàm liên thuộc của tập hợp A. Một tập X luôn có µX(x) = 1, với mọi x được gọi là không gian nền (tập nền).
Một tập hợp A có dạng A = {x∈X x} thỏa mãn một số tính chất nào đó thì được gọi là có tập nền X, hay được định nghĩa trên tập nền X.
Như vậy trong lý thuyết kinh điển, hàm liên thuộc hoàn toàn tương đương với định nghĩa một tập hợp. Từ định nghĩa về một tập hợp A bất kỳ ta có thể xác định được hàm liên thuộc µA(x) cho tập hợp đó và ngược lại từ hàm liên thuộc µA(x) của tập hợp A cũng hoàn toàn suy ra được định nghĩa cho tập hợp A.
Tuy nhiên, cách biểu diễn hàm liên thuộc như vậy không phù hợp với những tập hợp được mô tả “mờ” như tập B gồm các số thực nhỏ hơn nhiều so với 6: B = {x ∈ R x << 6}; hoặc tập C gồm các số thực xấp xỉ bằng 3: C = {x∈R x ≈ 3}
Lý do là với những tập mờ như vậy chưa đủ để xác định được x = 3,5 có thuộc tập B hoặc x = 2,5 có thuộc tập C hay không. Nếu đã không khẳng định được x = 3,5 có thuộc tập B hay không thì cũng không thể khẳng định được x = 3,5 không thuộc tập B. Vậy x = 3,5 thuộc tập B bao nhiêu phần trăm. Giả sử tồn tại câu trả lời thì hàm liên thuộc µB(x) tại điểm x = 3,5 phải có một giá trị trong khoảng [0,1], tức là: 0 ≤ µB(x) ≤ 1 . Nói cách khác hàm µB(x) không còn là hàm hai giá trị như đối với tập hợp kinh điển nữa mà là một ánh xạ: µB: R → [0,1]
Như vậy, khác với tập hợp kinh điển A, từ “định nghĩa kinh điển” của tập “mờ” B hoặc C không suy ra được hàm liên thuộc µB(x) hoặc µC(x) của chúng. Do đó ta có định nghĩa về tập mờ như sau.
Tập mờ F xác định trên tập kinh điển X là một tập mà mỗi phần tử của nó là một cặp các giá trị (x, µF(x) trong đó x ∈ X và µF là ánh xạ. µF: X → [0,1]
Ánh xạ µF được gọi là hàm liên thuộc của tập mờ F. Tập kinh điển X được gọi là tập nền (hay vũ trụ) của tập mờ F.