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

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

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

推理機(jī)是個(gè)軟件概念，不是硬件概念。它是一個(gè)或一組程序，用來(lái)控制和協(xié)調(diào)規(guī)則庫(kù)和全局?jǐn)?shù)據(jù)庫(kù)的運(yùn)行，包括推理方式和控制策略。