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

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

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

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

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