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 "The student is more young" and "He is a very good student" then "The student is quite a good candidate". 53 Ở đâ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ẬP LUẬN XẤP XỈ VỚI MODUS PONENS TRÊN CƠ SỞ ĐẠI SỐ GIA TỬ Nguyễn Thế Dũng Trường Đại học Sư phạm Đại học Huế 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 The student is more young and He is a very good student then The student is quite a good candidate . 53 Ở đâ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 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 He is a very good student có thể viết lại là He is a good student is very true hay Robert is old được viết lại Robert 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ừ adverb 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 ơ quite . Việc quan tâm đến mức độ tin cậy của một câu S vẫn thường thấy khi thu thập tri thức trong các hệ chuyên gia. Khi thu nhận một tri thức từ các chuyên gia chúng ta vẫn thường đặt vấn đề mức độ tin cậy - chắc chắn về tri thức ấy. 54 Trong 2 4 12 đã biểu diễn các câu trên ở dạng S x u với x là biến còn u là khái niệm mơ hồ và một khẳng định A S x u t với t thể hiện cấp độ đúng của câu S. Như thế cách biểu diễn trong bài này là tương tự cách biểu diễn câu khẳng định trong 2 4 12 ở đây câu S hiểu theo
