匹配指用當(dāng)前全局數(shù)據(jù)庫中的事實與規(guī)則中的條件進行比較,如果相同,就稱為相匹配,這一規(guī)則就稱為匹配規(guī)則。
推理機是個軟件概念,不是硬件概念。它是一個或一組程序,用來控制和協(xié)調(diào)規(guī)則庫和全局數(shù)據(jù)庫的運行,包括推理方式和控制策略。
規(guī)則庫就是描述某領(lǐng)域內(nèi)知識的產(chǎn)生式規(guī)則的集合。它是產(chǎn)生式系統(tǒng)賴以實現(xiàn)問題求解的基礎(chǔ)。