I là giỏ trị của atom A ij sau phộp lập luận vớ
KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN
Luận văn nghiờn cứu về suy diễn xỏc suất trong cỏc hệ tri thức F-luật, cỏc kết quả chớnh đạt được là:
- Trỡnh bày tổng quan về logic xỏc suất giỏ trị khoảng và cỏc phương phỏp suy diễn trong đú. Tỡm hiểu về hai dạng biểu diễn C-luật và F-luật; xem xột cỏc toỏn tử suy diễn xỏc suất trong, tớnh dừng của suy diễn trong với C-luật.
- Tỡm hiểu về hệ tri thức F-luật: cỏc khỏi niệm cơ bản, cỏc toỏn tử suy diễn, cỏc tớnh chất và biểu diễn, dấu hiệu nhận biết tớnh dừng, mõu thuẫn và ổn định.
- Nghiờn cứu về suy diễn trong hệ tri thức F-luật đơn điệu, một trong những lớp hệ tri thức con phổ biến và cú ý nghĩa thực tiễn nhất của hệ tri thức F-luật. Trong đú, hai lớp con của hệ tri thức F-luật đơn điệu là lớp hệ tri thức F-luật đơn điệu mạnh và lớp hệ tri thức F-luật đơn điệu yếu được xem xột về mụ hỡnh cụ thể, cỏc tớnh chất đặc trưng của quỏ trỡnh suy diễn và tớnh ổn định.
- Đề xuất một số vấn đề và giải phỏp: Trường hợp hệ tri thức F-luật khụng dừng sau quỏ trỡnh suy diễn, giải phỏp là thu nhỏ bài toỏn và chỉ xột ở bước thứ n. Trường hợp hệ tri thức F-luật mõu thuẫn ở bước thứn của quỏ trỡnh suy diễn, việc phỏt hiện ra luật sinh mõu thuẫn núi chung rất khú khăn, giải phỏp là thu hẹp bài toỏn và kết luận hệ phi mõu thuẫn ở bước thứm (0≤ m < n).
Một số hướng nghiờn cứu sau cú thể tiếp tục phỏt triển:
- Nghiờn cứu suy diễn xỏc suất trờn cỏc lớp F-luật khỏc nhau, tỡm ra cỏc lớp F-luật mới bằng cỏch mở rộng hay thu hẹp, hoặc xem xột trờn cỏc tớnh chất của cỏc lớp hàm của hệ tri thức.
- Tỡm ra cỏc phương phỏp hiệu chỉnh hệ tri thức trong trường hợp hệ tri thức khụng ổn định. Từđú, tỡm ra cỏc phương phỏp suy diễn hiệu quả khai thỏc hệ.
- Đưa ra cỏc mụ hỡnh ứng dụng thực tiễn của đề tài và kết hợp với mụ hỡnh cỏc hệ tri thức khỏc.