tailieunhanh - Giáo trình Các hệ cơ sở tri thức: Phần 2 - NXB ĐHQG TP.HCM

Phần 2 "Giáo trình Các hệ cơ sở tri thức" tiếp tục giới thiệu đến bạn đọc nội dung từ chương 6 đến chương 9 về các nội dung sau: Mạch toán tính, hệ học, kết hợp cơ sở tri thức và cơ sở dữ liệu, hệ thống mờ cho các biến liên tục. Giáo trình là tài liệu có giá trị khoa học và thực tiễn, được trình bày kèm theo CD với phần trình bày của giảng viên và bài tập thực hành đáp ứng được khả năng tự nghiên cứu, tự học của sinh viên và bạn đọc quan tâm về vấn đề này. | Chương 6 MẠNG TÍNH TOÁN . MỞ ĐẦU Mạng tính toán là một dạng biểu diễn tri thức có thể dùng biểu diễn các tri thức về các vấn đề tính toán và được áp dụng một cách có hiệu quả để giải quyết các vấn đề này. Mỗi mạng tính toán là một mạng ngữ nghĩa chứa các biến và những quan hệ có thể cài đặt và sử dụng được cho việc tính toán. Có thể nói rằng mạng tính toán là một sự tổng quát hoá của kiểu dữ liệu trừu tượng có khả năng tự xây dựng các hàm dùng cho việc tổng hợp thành các chương trình. Trong chương nầy chúng ta xét một mạng tính toán gồm một tập hợp các biến cùng với một tập các quan hệ chẳng hạn các công thức tính toán giữa các biến. Trong ứng dụng cụ thể mỗi biến và giá trị của nó thường gắn liền với một khái niệm cụ thể về sự vật mỗi quan hệ thể hiện một sự tri thức về sự vật. Cách biểu diễn tri thức tính toán dưới dạng các đối tượng nầy rất tự nhiên và gần gũi đối với cách nhìn và nghĩ của con người khi giải quyết các vấn đề tính toán liên quan đến một số khái niệm về các đối tượng chẳng hạn như các tam giác tứ giác hình bình hành hình chữ nhật. 92 . MẠNG TÍNH TOÁN . Các quan hệ Cho M x1 x2 . xm là một tập hợp các biến có thể lấy giá trị trong các miền xác định tương ứng D1 D2 . Dm. Đối với mỗi quan hệ R G trên các tập hợp D1 D2 . Dm ta nói rằng quan hệ này liên kết các biến x1 x2 . xm và ký hiệu là R x1 x2 . xm hay vắn tắt là R x ký hiệu x dùng để chỉ bộ biến x1 x2 . xm . Quan hệ R x xác định một hay một số ánh xạ fR u v Du Dv trong đó u v là các bộ biến và u G x v x Du và Dv là tích của các miền xác định tương ứng của các biến trong u và trong v. Ta có thể thấy rằng quan hệ R x có thể được biểu diễn bởi một ánh xạ fR u v với u u v x và ta viết fR u v u v hay vắn tắt là f u v. Đối với các quan hệ dùng cho việc tính toán cách ký hiệu trên bao hàm ý nghĩa như là một hàm ta có thể tính được giá trị của các biến thuộc v khi biết được giá trị của các biến thuộc u. Trong phần sau ta xét các quan hệ xác định bởi các hàm có dạng f u v trong đó u n