(NB) Giáo trình Trí tuệ nhân tạo và hệ chuyên gia (Nghề Lập trình máy tính): Phần 2 được biên soạn nhằm cung cấp cho bạn kiến thức về xử lý tri thức, tổng quan về hệ chuyên gia và ứng dụng, cấu trúc hệ chuyên gia và các công cụ tạo lập hệ chuyên gia .Mời các bạn tham khảo! | BÀI 6 XỬ LÝ TRI THỨC MÃ BÀI Mục tiêu thực hiện Học xong bài này học viên sẽ có khả năng Hiểu rõ bản chất mô tơ suy diễn CàI đặt mô tơ suy diễn tiến lùi bằng ngôn ngữ lập trình So sánh các cách xử lý tri thức Nội dung Suy diễn tiến Suy diễn lùi . Suy diễn hỗn hợp CàI đặt cơ sở tri thức Suy diễn tiến Logic mệnh đề Thủ tục suy diễn tiến đối với logic mệnh đề Vào - Tập các mệnh đề có dạng GT - Tập các luật RULE cso dạng Horn tức là các luật p1 pn q - Tập các mệnh đề kết luận KL Ra Thông báo Thành công nếu mọi qi Kl có thể suy diễn từ GT nhờ sử dụng tập luật RULE. Thủ tục Procedure Suy_dien_tien1 Begin Tgian GT Tgian là tập các sự kiện dùng cho đến thời điểm đang xét SAT loc RULE Tgian SAT là tập luật có dạng p1 pn q sao cho i 1 n pi Tgian while KL Tgian và SAT rỗng do r get SAT lấy một luật r khả hợp từ tập SAT r có dạng p1 pn q Tgian Tgian RULE RULE SAT loc RULE Tgian 104 If KL Tgian then Exit Thành công Else Exit Không thành công End. Logic vị từ Vào - Tập luật RULE mỗi ri có dạng Horn p1 . pn . q . các pi q là vị từ - Tập các vị từ cần chứng minh KL Ra Thông báo Thành công nếu mọi q . KL có thể suy ra từ GT nhờ sử dụng tập luật RULE. Thủ tục Procedure Suy_dien_tien2 Begin Tgian GT SAT loc RULE Tgian while KL Tgian và SAT rỗng do r get SAT lấy một luật r khả hợp với phép gán trị r có dạng p1 pn q Tgian Tgian SAT loc RULE Tgian If KL Tgian then Exit Thành công Else Exit Không thành công End. Trong suy diễn thao tác quan trọng là xác định SAT loc RULE Tgian . Tập các luật r có dạng p1 . sao cho với mọi i vị từ p i . Tgian. Bài toán này dẫn tới 2 bài toán con 1 Cho 2 vị từ f x y z và q u v w . Liệu có tồn tại một phép gán trị sao cho f q Ví dụ cho 2 vị từ p x a z và p y y b . Hai vị từ này có thể dẫn tới một vị từ chung p a a b nhờ phép gán a x a y b z . 2 Quay lui trong quá trình gán trị Suy diễn lùi Logic mệnh đề Vào - Tập các mệnh đề đã cho GT 105 - Tập các luật RULE có dạng chuẩn Horn p1 - Tập các mệnh đề kết luận KL Ra Thông báo
