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

規(guī)則庫就是描述某領(lǐng)域內(nèi)知識的產(chǎn)生式規(guī)則的集合。它是產(chǎn)生式系統(tǒng)賴以實現(xiàn)問題求解的基礎(chǔ)。

全局?jǐn)?shù)據(jù)庫又稱事實庫，是產(chǎn)生式系統(tǒng)的數(shù)據(jù)結(jié)構(gòu)中心，用以存放初始事實，中間事實和最后結(jié)果。

以產(chǎn)生式規(guī)則作為過程性知識的系統(tǒng)稱為產(chǎn)生式系統(tǒng)。