Luật: 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. Luật dẫn: Luật dẫn đại diện cho các phát biểu, định lý, nguyên tắc, công thức…
2.2 Mô hình hệ luật dẫn
Mô hình hệ luật dẫn: (Facts, Rules)
Facts là tập các sự kiện hay tác vụ trong phạm vi tri thức.
Rules là tập các luật dẫn, mỗi r thuộc Rules có dạng r: gt(r) => kl(r) Ví dụ: Một phần kiến thức về chuyển động thẳng biến đồi đều
(1) Facts: Các yếu tố liên quan tới chuyển động của vật: vận tốc ban đầu v0, vận tốc cuối v, thời gian chuyển động từ t0 tới t, quãng đường chuyển động từ x0 tới x, gia tốc a,…
(2) Rules: Các luật nói lên mối liên hệ “dẫn xuất” giữa các sự kiện:
hay
Phần tri thức trên ta có thể biểu diễn theo mô hình hệ luật dẫn (Facts, Rules) gồm:
Facts = {x0, x, t0, t, v0, v, a…} Rules = { r1 : {x0, t0, t, v0, a} {x} r2 : {t0, t, v0, a} {v} r3 : {x0, x, v0, a} {v} … } 2.3 Tổ chức lưu trữ
Tổ chức lưu trữ được xác lập cụ thể dựa trên các dạng Facts, thường là ta sử dụng các cấu trúc dữ liệu đã biết như struct, frames, classes, …
2.4 Vấn đề suy diễn trên hệ luật dẫn
Cho trước hệ luật dẫn K = (Facts, Rules). Giả sử có một tập sự kiện GT đã xác định, ta xét một tập sự kiện mục tiêu KL. Hỏi có thể suy ra KL từ GT dựa trên tri thức K hay không?
Ký hiệu bài toán: GT KL
Thuật giải: Thuật giải lan truyền dưới dạng suy diễn tiến Thuật giải suy diễn tiến:
B1: Solution = []; Known = GT;
B2: While (KL chưa nằm trong Known) do
2.1: Tìm luật r để áp dụng trên Known nhằm sinh ra sự kiện mới: gt(r) ⊆ Known, và kl(r) không nằm trong Known.
2.2: if (không có r) then
2.3: Thêm r vào Solution; thêm kl(r) vào Known; End while
B3: Tìm được lời giải sử dụng danh sách luật Solution Chú ý: Rút gọn lời giải cho Solution