Suy diễn tiến (lập luận tiến - forward chaining hoặc forward reasoning)

(tư tưởng cơ bản của suy diễn tiến là áp dụng luật suy diễn Modus Ponens tổng quát)

Là quá trình suy diễn bắt đầu từ tập sự kiện đã biết, rút ra những sự kiện mới và cứ như vậy cho đến khi có được sự kiện cần chứng minh hoặc không có luật nào sinh ra các sự kiện mới (tập sự kiện đúng là cực đại).

Procedure suydientien;

Begin

T:= F;

S:= loc(R, T); { s: là tập luật có dạng p₁ ùp₂ ù....ùp_n Þq sao cho p_jÎT }

While G ËT and S<>fdo

Begin

r := get(S);

T:= T + right(r);

R:=R \ {r};

S:= loc(R,T);

End;

If G ìT then write (“thành công”)

Else write (“không thành công”);

End;

ví dụ

1) cho trước tập sự kiện F={a,b}. sử dụng các luật:

r₁: a =>c

r₂: b =>d

r₃: c =>e

r₄: a và d =>e

r₅: b và c =>f

r₆: e và f =>g

cần suy ra g

gÎT nên bài toán được chứng minh (g: true)