ỨNG DỤNG MODUS PONENS CỦA ĐẠI SỐ GIA TỬ TRONG LẬP LUẬN XẤP XỈ BIẾN NGÔN

Ứ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ử....
Nội dung trích xuất từ tài liệu:
ỨNG DỤNG MODUS PONENS CỦA ĐẠI SỐ GIA TỬ TRONG LẬP LUẬN XẤP XỈ BIẾN NGÔN Ứ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 certain- degree based on hedge algebra white) is almost true) is quite true. I. MỞ ĐẦU Trong bài này, một câu S chứa thông tin Xét cơ sở tri thức bao gồm các câu gồm mơ hồ được tách biệt ra bởi một trạng từ α và hai phần cơ bản: phần rõ ràng và phần mơ hồ một mệnh đề P, ở đây α diễn tả cấp độ câu S được biểu diễn dưới dạng các luật If... then. thỏa mãn tính chất P là α, chúng ta sẽ gọi α làCNTT- khi đó cơ sở tri thức của ta bao gồm các luậtCB cấp độ đúng (true degree) của câu S. Bên cạnh có dạng như sau: If Nam is more young and đó với một câu S, chúng ta quan tâm đến mức Nam is a very good student then Nam is độ tin cậy hay còn gọi là độ chắc chắn của ta quite a good candidate. về câu S đó. Trong bài này sẽ ký hiệu σ là cấp Ở đây các sự kiện X is hA (với h là các độ thể hiện sự tin cậy - chắc chắn (certain từ nhấn như more, very...) có thể viết lại là: degree) của câu S. X (is h) A hay h là cấp độ đúng (true Ví dụ: Trong câu (The snow is white) is degree) của câu X is A. almost true) is quite true trên thì P=The Nói cách khác, câu X is hA is true snow is white, α=almost còn σ=quite. X is A is h true. Ta biểu diễn các câu trên ở dạng S(x,u) Ở đây h true thể hiện cấp độ đúng của với x là biến còn u là khái niệm mơ hồ và một câu X is A. khẳng định A=(S(x,u),t) với t thể hiện cấp độ Chẳng hạn Nam is a very good student đúng của câu S. Đây là cách biểu diễn câu có thể viết lại là: (Nam is a good student) is khẳng định, ở đây câu S hiểu theo nghĩa trên very true, hay “Nam is old” được viết lại sẽ là một khẳng định S=(S(x,u),σ true) với x (Nam is old) is true. Các câu phức tạp hơn là biến còn u là khái niệm mơ hồ, còn σ true như: It is quite likely that the snow is almost chính là t trong cách biểu diễn trên. white có thể biểu diễn ở dạng (The snow is Ví dụ: Với câu S=Lan học rất chăm chỉlà có thể đúng với cách biểu diễn S(x,u) sẽ là Với cơ sở tri thức có dạng trên qui tắcS(học(Lan, rất chăm chỉ), có thể đúng). Còn này sẽ là:với cách biểu diễn trong bài này sẽ là If A then B is true; If A is trueS(học(Lan, chăm chỉ), rất đúng, có thể đúng). B is trueở đây α=rất đúng còn σ =có thể đúng. Trong bài này, phần sau chúng ta sẽ mở Như vậy cấp độ ngữ nghĩa t theo cách rộng qui tắc trên trong một số trường hợp màbiểu diễn trên tương ứng chính là true degree các mệnh đề A, B trong các luật được hiểu làα true trong cách ...