Suy diễn logic vị từ lập trình prolog Suy diễn logic vị từ lập trình prolog Bởi: Khoa công nghệ thông tin Đại học phương đông Biểu diễn tri thức LOGIC VỊ TỪ Các kiện(Fact) mô tả Vị từ(Predicate) Mỗi vị từ phát biểu, quan sát đối tượng mà ta xét F={p(t1,t2….tn)/p vị từ} p: Tên vị từ ti: hạng thức( term) biến, hằng, hàm(rất quan trọng) Ai có kẻ yêu người ghét … Luật( Rule) Mọi tri thức chuyên môn biểu diễn mệnh đề.: Nếu… thì… p1(t1….tk)…… pn(u1… un) suy q(v1….vm) 1/3 Suy diễn logic vị từ lập trình prolog đó: pi, q: Tên vị từ ti, u, v: hạng thức Câu(clause) ……là câu tương ứng với luật có dạng Một số ví dụ Bài toán chở đồ vật qua sông Có sói, dê mọt bắp cải muốn qua sông Nhưng só bác lái đò Làm dể bác lái đò chở vật qua sông an toàn Biết Sói ăn thịt dê có hai mình, dê ăn bắp cải sói Biểu diễn: • Vị trí :vt(LĐ,S,D,B) • An toàn: at(LĐ,S,D,B) • Vị trí xuất phát, đến : ql(Đ1, Đ2) Ta có mô tả sau: vt(b,b,b,b) dd(b,n) dd(n,b) vt(LD,S,D,B) dd at(LD,LD’) at(LD’,S,D,B) → vt(LD’,S,D,B) vt(X,X,D,B) dd(X,X’) at(X,X’,D,B) → vt(X’,X,D,B) vt(X,S,X,B) dd(X,X’) at(X,X’,B,S) → vt(X’,X’,B,S) vt(X,S,X,D) dd(X,X’) at(X,X’,D,S) → vt(X’,X’,D,S) at(X S X B) dd(X X’) → at(X X X’ X) 2/3 Suy diễn logic vị từ lập trình prolog Tóm lại ta thấy luật kiện tri thức chuyên gia Cơ chế suy diễn Membership( x1, [x1:-] ) membership( x2, [-:y] ) :- membership (x2, y) Goal: membership(1, [ 1,2,3]): :- membership (1, [1,2,3]) Trong Prolog áp dụng suy diễn lùi với: luật theo số kiện từ trái qua phải Từ giả thiết áp dụng phương pháp suy diễn lùi ta có trình suy diễn sau: 10 11 :-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} (5,1)nên x=2 :-mb(x,[3]) {x/x4; 3/x4} (5,2) :- {3/x} (7,1) nên x=3 : mb(x,[]) (7,2) fail (9,1) fail (9,2) 3/3 ... :- membership (1, [1,2,3]) Trong Prolog áp dụng suy diễn lùi với: luật theo số kiện từ trái qua phải Từ giả thiết áp dụng phương pháp suy diễn lùi ta có trình suy diễn sau: 10 11 :-mb(x, [1,2,3])... vt(X’,X’,D,S) at(X S X B) dd(X X’) → at(X X X’ X) 2/3 Suy diễn logic vị từ lập trình prolog Tóm lại ta thấy luật kiện tri thức chuyên gia Cơ chế suy diễn Membership( x1, [x1:-] ) membership( x2, [-:y].. .Suy diễn logic vị từ lập trình prolog đó: pi, q: Tên vị từ ti, u, v: hạng thức Câu(clause) ……là câu tương ứng với luật có dạng