Professional Documents
Culture Documents
Bài tập suy diễn tiến-lùi
Bài tập suy diễn tiến-lùi
Bài tập suy diễn tiến-lùi
1. Bài 1
Suy diễn tiến (Cơ chế min)
{a,b,ma}1 1 {a,b,ma,c}2,4,5 2 {a,b,ma,c,A}3,4,5
3 {a,b,ma,c,A,hc}
r1 r2 r3
2. Bài 2
Suy diễn tiến (Cơ chế min) Max nhanh hơn
{a}1,4 1 {a,b}2,4 2 {a,b,c}3,4 3 {a,b,c,d}4
4 {a,b,c,d,u}
VET = {a, b, c, d, u}
r1 r2 r3 r4
3. Bài 3
Suy diễn tiến
{a}1,4 1 {a,b}4,5 4 {a,b,m}5,6 5 {a,b,m,n}6
6 {a,b,m,n,p}7 7 {a,b,m,n,p,q}8 8 {a,b,m,n,p,q,u}
VET = {a, b, m, n, p, q, u}
r1 r4 r5 r6 r7 r8