Mạng xã hội chia sẻ tài liệu
Bài tập Lập trình logic
Bài tập Logic
Câu 1Cho tập cơ sở tri thức: KB = { A = B ∧ C, C = E ∨ F, B = ¬E ,A} Biến đổi tập cơ sở tri thức trên về dạng hội chuẩn và chứng minh F được suy dẫn từ tập cơ sở tri thức trên bằng phương pháp Robinson (DP).Câu 2Thực hiện tương tự cho bài tập sau KB = {A = B; A = C ∨ E; B ∧ C = D; E = F; F ∨ D = G; A} Có thể suy diễn các sự kiện sau từ cơ sở tri thức trên hay không: a) E? b) G?3 trang
495 lượt xem
32 lượt tải
Chịu trách nhiệm nội dung: Nguyễn Công Hà
Doanh nghiệp quản lý: Công ty TNHH Tài Liệu trực tuyến Vi Na - GCN ĐKDN: 0307893603
Địa chỉ: 54A Nơ Trang Long, P. Bình Thạnh, TP.HCM - Điện thoại: 0283 5102 888 - Email: info@tailieu.vn
Giấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015