1.如果壹個結論是先假設，再用壹組條件來證實，那就叫逆向推理。對於層次模塊化、形式多樣的規則庫，有多種可能的組合，需要在推理過程中加以引導。利用逆向推理，預先給出壹組結論的條件的相應組合，是工藝決策過程中的壹種啟發式方法。
2.從目標到已知事實的過程稱為逆向推理。在該系統中，開發了壹種混合推理方法來解決擠壓工步方案的推理問題。關於它的實現，請參見下壹節。
3.ECAMES的邏輯推理過程采用目標驅動推理，也稱為逆向推理。它的推理過程是:For(事實庫中的每壹個事實)查詢事實中的所有變量編號然後從變量庫中取出對應的變量。