Bài tập 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...

9p zero22hero 11-03-2011 191 29   Download