ỨNG DỤNG MODUS PONENS CỦA ĐẠI SỐ GIA TỬ TRONG LẬP LUẬN XẤP XỈ BIẾN NGÔN NGỮ ĐỖ QUANG THƠ. Bộ môn Khoa học máy tính Khoa Công nghệ thông tin Trường Đại học Giao thông Vận tải. Tóm tắt: Nội dung chính của báo cáo đó là trình bày việc mở rộng modus ponens trong việc lập luận xấp xỉ các biến ngôn ngữ trên cơ sở tri thức được biểu diễn dưới dạng luật If . then . với cấp độ đúng (true - degree) và cấp độ tin cậy (certain-degree) dựa trên cơ sở đại số gia tử | ỨNG DỤNG MODUS PONENS CỦA ĐẠI SỐ GIA TỬ TRONG LẬP LUẬN XẤP XỈ BIẾN NGÔN NGỮ ĐỖ QUANG THƠ Bộ môn Khoa học máy tính Khoa Công nghệ thông tin Trường Đại học Giao thông Vận tải Tóm tắt Nội dung chính của báo cáo đó là trình bày việc mở rộng modus ponens trong việc lập luận xấp xỉ các biến ngôn ngữ trên cơ sở tri thức được biểu diên dưới dạng luật If. then . với cấp độ đúng true - degree và cấp độ tin cậy certain-degree dựa trên cơ sở đại số gia tử. Summary In this paper we introduce about expending modus ponens on knowledge in approximate reasoning base which present by If. then rules with true -degree and certaindegree based on hedge algebra CNTT- CB I. MỞ ĐẦU Xét cơ sở tri thức bao gồm các câu gồm hai phần cơ bản phần rõ ràng và phần mơ hồ được biểu diễn dưới dạng các luật If. then. khi đó cơ sở tri thức của ta bao gồm các luật có dạng như sau If Nam is more young and Nam is a very good student then Nam is quite a good candidate . Ở đây các sự kiện X is hA với h là các từ nhấn như more very. có thể viết lại là X is h A hay h là cấp độ đúng true degree của câu X is A . Nói cách khác câu X is hA is true o X is A is h true. Ở đây h true thể hiện cấp độ đúng của câu X is A . Chẳng hạn Nam is a very good student có thể viết lại là Nam is a good student is very true hay Nam is old được viết lại Nam is old is true . Các câu phức tạp hơn như It is quite likely that the snow is almost white có thể biểu diễn ở dạng The snow is white is almost true is quite true . Trong bài này một câu S chứa thông tin mơ hồ được tách biệt ra bởi một trạng từ a và một mệnh đề P ở đây a diễn tả cấp độ câu S thỏa mãn tính chất P là a chúng ta sẽ gọi a là cấp độ đúng true degree của câu S. Bên cạnh đó với một câu S chúng ta quan tâm đến mức độ tin cậy hay còn gọi là độ chắc chắn của ta về câu S đó. Trong bài này sẽ ký hiệu ơ là cấp độ thể hiện sự tin cậy - chắc chắn certain degree của câu S. Ví dụ Trong câu The snow is white is almost true is quite true trên thì P The snow is white a almost còn ơ
