逆向推理，又稱目標驅動推理，是壹種解題策略。它的推理方法正好與正向推理相反。它從結論出發，壹步步驗證結論的正確性，直到條件已知。
主要特點是:將解題目標分解為解題子目標，直到子目標以倒推的方式與給定條件直接相關或相等，即目標→子目標→子目標→已有條件。
實際應用:
逆向推理控制策略的優點是目的性強，不需要尋找與假設無關的信息和知識。這種策略對推理過程提供了更準確的解釋，並告訴用戶要用來實現目標的規則(知識)。此外，這種控制策略特別適用於求解空間較小的問題求解環境，有利於為用戶提供求解過程。
缺點是初始目標的選擇是盲目的，不能根據用戶提供的有用信息進行操作。用戶要求快速輸入相應的問題域，如果不實用，就要多次做假設，影響系統的效率。與正向推理相比，反向推理目的性很強，通常用於驗證某壹特定知識是否有效。
百度百科-逆向推理