(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).

- phương pháp

Gọi T là tập các sự kiện tại thời điểm đang xét (khởi tạo tập T=F: tập sự kiện đúng ban đầu ).

Xét các luật r_i có dạng: p₁ ù p₂ ù ....ù p_n Þ q và p_jÎT nghĩa là left (r_i) ÎT

thì T= T+ right (r_i)

quá trình lặp lại cho đến khi Gì T hoặc không có luật nào sinh ra thêm sự kiện mới.

- Giải thuật

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<>f do

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;