- Suy diễn tiến 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) - Quá trình suy diễn tiến là quá trình xem xét các luật, với mỗi luật ta xét phần giả thuyết ở vế trái tới phần kết luận ở vế phải và khi mà tất cả các điều kiện của luật đều thoả mãn thì suy ra sự kiện.