... qua phải Từ giả thiết v áp dụng phƣơng pháp suy diễn lùi ta có trình suy diễn nhƣ sau: :-mb(x, [1,2,3]) :- {x/x1, 1/x1} (3,1) nên x=1 :-mb(x,[2,3] {x/x2 ; 2,3/x1} (3,2) :- {x/x3; 2/x} :-mb(x,[3]) ... thập liệu cho hệ dự báo sinh viên dự thi tuyển sinh đại học Xây dựng định danh v đƣa tập luật cho hệ 48 Chương 6: Logic mờ lập luận xấp xỉ 6. 1 Biểu diễn tri thức LOGIC VỊ TỪ CSTT(knowlegde) = ... membership( x1, [x1 :-] ) l danh sách có hai phần tử với: +) x l phần tử đầu + )- l mô tả phần lại membership( x2, [-: y] ) :- membership (x2, y) Goal: membership(1, [ 1,2,3]): :- membership (1, [1,2,3])...