4 Xem chú thích ngay trước.
3.6.5. Lập luận xấp xỉ đa điều kiện
Nhìn chung ý tưởng của phương pháp lập luận xấp xỉ là thiết lập cách tính kết luận từ một tập các tri thức dạng luật (mệnh đề nếu-thì) và các sự kiện, dựa trên lý thuyết tập mờ. Tri thức càng đầy đủ thì kết luận được tính càng phù hợp với thực tiễn hơn. Trong các quy tắc lập luận trình bày trong các Mục 3.6.1 và 3.6.2, tiền đề chỉ chứa một luật và vì vậy đôi khi chúng ta gọi là phương pháp lập luận mờ đơn điều kiện (fuzzy single conditional reasoning method). Trong mục này chúng ta nghiên cứu phương pháp lập luận dựa vào nhiều luật và được gọi là phương pháp lập luận mờ đa điều liện (fuzzy multiple conditional reasoning method). Từ “mờ” trong thuật ngữ này đôi khi được bỏ qua cho gọn.
Phương pháp lập luận đa điều kiện được mô tả bằng lược đồ sau: Tiền đề 1: Nếu X là A1, thì Y là B1
Tiền đề 1: Nếu X là A2, thì Y là B2
. . . (3.6-69)
Tiền đề n: Nếu Y là An, thì Y là Bn
Sự kiện: X là A’ , .
Kết luận: Y là B’
trong đó, X và Y là các biến ngôn ngữ với các không gian tham chiếu hay không gian cơ sở tương ứng là U và V, còn Ai, Bi, A’ và B’, với i = 1, 2, …, n, là những nhãn ngôn ngữ của các tập mờ xác định trên các không gian tham chiếu U hoặc V. Tập n luật phát biểu trong các tiền đề trên được gọi là mô hình mờ vì nó mô tả hay mô hình hóa mối quan hệ giữa hai đại lượng được mô tả bằng các biến X và Y bằng các tập mờ.
Bất kỳ phương pháp nào cho phép tính kết luận B’ từ các tiền đề và sự kiện trong (3.6-69) được gọi là một phương pháp lập luận xấp xỉ đa điều kiện.
Vì chúng ta đang nằm trong môi trường thông tin không chắc chắn, mờ, nên sẽ không có một phương pháp lập luận chính xác và duy nhất. Mối phương pháp sẽ xuất phát từ một quan sát trực quan nào đó. Vì vậy, nhìn chung chúng ta sẽ có một số cách giải bài toán lập luận xấp xỉ.
Bây giờ chúng ta nghiên cứu một số phương pháp lập luận xấp xỉ đa điều kiện.