TAILIEUCHUNG - Loại bỏ luật thừa

b. Kiểm tra mâu thuẫn và vòng lặp suy diễn Thêm luật (1) A, F ® ù E vào CSTT luật R Kiểm tra mâu thuẫn: (A, F)+ R’ = {A, F, E, H, C, B} có chứa E. Vậy thêm A, F ® ùE vào tập R sẽ nảy sinh mâu thuẫn luật. (R’ là R thêm luật (1)) Kiểm tra vòng lặp suy diễn: không nảy sinh vòng lặp suy diễn khi thêm A, F ® ùE vào tập R (tính (VP(ri)+ R’ )) Thêm luật (2) F ® A vào CSTT luật R Kiểm tra mâu thuẫn: (F)+ R’ = {F, } không chứa ùA. Vậy không thể nảy sinh. | 1. Cho tập luật R như sau: R = { r1: A, C B; r2: B, D E, D; r3: G, H K; r4: F, H E; r5: F H; r6: B F; r7: F C; } Loại bỏ những luật thừa trong R (nếu có). Kiểm tra xem có nảy sinh mâu thuẫn và vòng lặp suy diễn hay không khi lần lượt thêm các luật sau vào R: (1) A, F E (2) F A Thuật toán loại bỏ luật thừa B1 : Rút gọn vế phải r R A {Vếphải(r)} Nếu A {Vếtrái(r)+{R\{r}}U{r’} }thì Loại A ra khỏi vế phải của r. (r’: Vếtrái(r) Vếphải(r)\{A} ) Nếu Vếphải(r) là rỗng thì loại r ra khỏi tập luật Cuối Cuối . B2 : Phân rã các luật: r: X1 X2 Xn Y trong R R := R { Xi Y } (i:1n) R := R \ {r} B3 : Loại bỏ luật thừa: r R Nếu {Vếphải(r)} {(Vếtrái(r)+ R\{r})} thì R = R\{r} Cuối B4 : Rút gọn vế trái r có dạng X : A1 A2, , An Y thuộc R Ai X (vế trái của r) Nếu VP(r) {(X\{Ai})+R} thì X := X \ {Ai} Cuối Cuối Gợi ý bài giải Bài 1. a. Loại bỏ luật thừa Rút gọn vế phải: r2 r2’ : B, D E; Luật thừa: Để loại luật ri nào đó ta .

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.