MỞ ĐẦU
1. Lý do chọn đề tài
Logic mờ dựa trên lý thuyết tập mờ và biến ngôn ngữ của L. A. Zadeh.
Tập mờ cùng với các phép toán logic được phát triển từ tập hợp kinh điển là
mô hình toán học cho phép biểu diễn và tính toán trên các giá trị ngôn ngữ.
Nhờ đó, giải quyết được lớp bài toán lập luận xấp xỉ trên máy tính mà đã
không giải quyết được bằng logic kinh điển. Lập luận xấp xỉ cho lớp bài toán
với thông tin vào - ra không chắc chắn được hình thức hóa theo cách tư duy
tự nhiên của con người. Phương pháp suy diễn gần đúng từ một họ các tiên
đề không chắc chắn và mang các đặc trưng định tính nhiều hơn định lượng.
Ứng dụng của tập mờ để biểu diễn tri thức và lập luận trên đồ thị thường có
dạng như Hình 1. Theo mô hình này, các kết quả vào ra là các giá trị từ, giai
đoạn chuyển sang số chỉ là giai đoạn trung gian để thực hiện việc lập luận.
Như vậy, việc lập luận trên đồ thị theo phương pháp trước đây gặp một số
vấn đề sau đây:
•Vấn đề thứ nhất Thiếu một cấu trúc toán học để biểu diễn miền trị
ngôn ngữ cho các từ.
•Giải quyết Dùng phương pháp của N. C. Ho và W. Wechler, theo
phương pháp này, mỗi giá trị ngôn ngữ được sinh ra từ một biến ngôn
ngữ thuộc một cấu trúc đại số trừu tượng được gọi là đại số gia tử
(ĐSGT). Cấu trúc này đã đại số hóa miền giá trị của biến ngôn ngữ để
1
