6. Phương pháp nghiên cứu
2.2.2. Các cách thể hiện tri thức
2.2.2.1. Thể hiện tri thức bằng bộ ba O-V-A và khung
Trong hệ chuyên gia, các sự kiện được dùng để mô tả các phần của khung, mạng ngữ nghĩa của các luật. Một sự kiện thường được xem như một mệnh đề, đó là một khẳng định chỉ cho hai giá trị: đúng, sai. Mệnh đề sẽ được dùng để xử lí tri thức khác.
Thể hiện bằng O-A-V (Object-Attribute-Value)
Một thể hiện O-A-V được dùng để thể hiện các mệnh đề đơn giản hay phức tạp. Cấu trúc O-A-V gồm 3 phần, ứng với đối tượng, thuộc tính và giá trị thuộc tính.
Thể hiện bằng khung
Một khung cho biết thông tin đa dạng về đối tượng, người ta có thể dùng khung để thể hiện những nét điển hình của các đối tượng. Khung bap gồm các thành phần:
Tên khung <Chuỗi tên khung> Thuộc tính 1 <Giá trị 1>
Thuộc tính 2 <Giá trị 2> ….
42
2.2.2.2. Thể hiện tri thức nhờ các luật
Định nghĩa luật (rule): Luật là cấu trúc tri thức dùng để liên kết thông tin đã biết với các thông tin khác giúp đưa ra các suy luận, kết luận từ những thông tin đã biết.
Tri thức dưới dạng luật được xếp vào loại tri thức thủ tục. Luật gắn thông trin đã cho với một vài hoạt động. Các hoạt động này có thể là khẳng định về thông tin mới hay là thủ tục sẽ được thực hiện. Bằng cách này luật sẽ mô tả cách giải quyết vấn đề.
Việc xử lí các luật trong hệ thống dựa trên luật được quản lí bằng mdun gọi là bộ suy diễn.
2.2.2.3. Thể hiện các sự kiện không chắc chắn
Phương pháp truyền thống trong hệ chuyên gia khi quản lí thông tin không chắc chắn là sử dụng nhân tố chắc chắn. Nhâm tố chắc chắn, kí hiệu là CF (Certainty factor), là giá trị bằng số gán cho mệnh đề thể hiện mức độ tin cậy vào mệnh đề đó.
Người ta cũng có thể dùng xác suất hay lí thuyết mờ để thể hiện sự kiện không chắc chắn.
2.2.2.4. Thể hiện các sự kiện mờ
Thực tế cho thấy khi thể hiện vấn đề của thế giới thực, đôi khi cần dùng đến các thuật ngữ nhập nhằng như thường thấy trong ngôn ngữ tự nhiên. Khi ấy người ta có thể tham chiếu đến khái niệm không rõ ràng để diễn đạt.
Logic mờ đê xuất phương pháp thể hiện và lập luận trên các thuật ngữ nhập nhằng. Các thuật ngữ nhập nhằng được thể hiện, được lưỡng hóa trong tập mờ.
Logic mờ dùng các luật mờ để tạo ra tập mờ. Một luật mờ có các tập mờ trong cả phần IF và THEN
43
2.2.2.5. Khai thác một thủ tục
Để thực hiện các thao tác phức tạp hơn, nhiều hệ chuyên gia truy nhập các thủ tục bên ngoài hệ thống. Chúng có thể được viết bằng các ngôn ngữ lập trình hay các lệnh trên bảng tính
2.2.2.6. Các dạng khác nhau của luật
Các luật thể hiện tri thúc có thể được phân loại theo loại tri thức: tri thức qan hệ, tri thức khuyến cáo, tri thức hướng dẫn,...
Các luật cũng có thể được phân loại theo bản chất của chiến lược giải quyết vấn đề, thường được gọi là cách thức giải quyết vấn đề. Các luật điển hình theo phân loại là các luật theo cách thức diễn giải, cách thức chuẩn đoán, hay cách thức thiết kế.
Dùng biến trong luật: Sử dụng biến trong các luật phù hợp với các ứng dụng thực hiện cùng một số thao tác trên tập các đối tượng tương tự nhau. Thông thường với mỗi phát biểu về tri thức liên quan đến nhiều sự kiện, người ta dùng nhiều luật. Nếu viết một luật đơn cho mỗi đối tượng thì số lượng các luật rất nhiều, như vậy không hiệu quả và hệ thống khó quản lý các luật tương tự nhau. Việc khớp luật có sử dụng biến cho phép xử lí thông tin một cách hiệu quả. Người ta có thể viết một luật thay cho nhiều luật, thuận lợi cho việc mã hóa và bảo trì cơ sở luật.
Các luật không chắc chắn: Mệnh đề phát biểu về các sự kiện, hay bản thân sự kiện có thể không chắc chắn. Người ta đã dùng hệ số chắc chắn CF đối với các sự kiện koong chắc chắn. Đã có sự kiện không chắc chắn thì cũng có kết luận cũng không chắc chắn. Luật này thiết lập quan hệ không chính xác giữa giả thiết và kết luận.
Các luật meta (một luật mô tả cách thức các luật khác): Khi giải vấn đề, các chuyện gia cũng cần cả tri thức lĩnh vực lẫn tri thức hướng dẫn sử dụng các tri thức lĩnh vực. Tri thức lĩnh vực đặc trưng cho lĩnh vực tri thức hướng dẫn
44
đặc trưng cho việc sử dụng tri thức. Tri thức hướng dẫn dùng tri thức lĩnh vực để xác định cách giải quyết vấn đề tốt nhất. Loại tri thức này được gọi là tri thức meta (tri thức về cách sử dụng và điều khiển tri thức lĩnh vực).