雙向推理是即自頂向下又自底向上的推理

反向推理是從目標出發(fā)，反向使用規(guī)則，求證已知的事實，用驅動方式或自頂向下方式。

正向推理是從已知事實出發(fā)，通過規(guī)則庫求得結果。正向推理的方式也被稱為數(shù)據(jù)驅動方式或自底向上方式。

匹配指用當前全局數(shù)據(jù)庫中的事實與規(guī)則中的條件進行比較，如果相同，就稱為相匹配，這一規(guī)則就稱為匹配規(guī)則。