Loại bỏ các luật suy diễn đã qua sử dụng để giảm các công đoạn tìm kiếm trùng lấp sau mỗi lần có kết quả mới trong thuật giải. Loại bỏ các luật đã qua sử dụng nhằm làm giảm không gian tìm kiếm trên tập quan hệ tính toán.
Loại bỏ các bước giải thừa sau khi tìm được lời giải để cho ra lời giải tối ưu trong mạng tính toán. Trong quá trình giải bài toán trên mạng tính toán, từ tập biến đã biết ban đầu sẽ tiến hành lan truyền trên mạng cho đến khi nó chứa tập biến mục tiêu. Vì vậy, trong quá trình giải có thể sẽ dẫn đến các lời giải thừa, không liên quan đến kết quả bài toán.
Loại bỏ các bước giải thừa sau khi tìm được lời giải để cho ra lời giải tối ưu trong mạng các đối tượng tính toán. Tương tự như một mạng tính toán một đối tượng tính toán cũng cần loại bỏ bước giải thừa trong lời giải của bái toán trên chính đối tượng đó. Lời giải của bài toán trên mạng các đối tượng tính toán cũng cần loại bỏ các bước giải thừa trong lời giải của bài toán.
Loại bỏ các bước giải đơn giản để cho ra lời giải tối ưu. Ví dụ như loại bỏ các bước suy luận giữa các đối tượng đơn giản khi giải bài toán trên các đối tượng tính toán bao quát hơn. Ví dụ khi giải bài toán giữa các TAM GIÁC thì các thao tác suy luận nội tại của các ĐOẠN THẲNG có thể bỏ qua mà chỉ cần lấy kết luận cuối cùng vào lời giải của bài toán.
Trong quá trình biểu diễn tri thức trên máy tính ta cần xem xét loại bỏ một số tri thức thừa nhằm đảm bảo tính chính xác và sự ổn định cho cơ sở tri thức hoặc giúp làm đơn giản hóa việc thiết kế động cơ suy diễn.