Chứng minh kết luận bằng suy diễn tiến
Bài toán:
cho trước tập sự kiện F={a,b}. sử dụng các luật:
r1: a Þc
r2: b Þd
r3: c Þe
r4: a ùd Þe
r5: b ùc Þf
r6: e ùf Þg
cần suy ra g
|
r |
T |
S |
R |
|
r1 r2 r3 r4 r5 r6 |
a, b a, b, c a, b, c, d a, b, c, d, e a, b, c, d, e a, b, c, d, e, f a. b, c, d, e, f, g |
r1, r2, r3 r2, r3, r5 r3, r4, r5 r4, r5 r5 r6
|
r1, r2, r3, r4, r5, r6 r2,...r6 r3,..., r6 r4, r5, r6 r5, r6 r6
|
gÎT nên bài toán được chứng minh (g: true)