⑴ 產生式推理原則
簡稱產生式。它是指形如α─→β或IFαTHENβ或其等價形式的一條規則,其中α稱為產生式的左部或前件;β稱為產生式的右部或後件。①如果α、β分別代表需要注視的一組條件及其成立時需要採取的行動，那麼稱為條件-行動型產生式;②如果α、β分別代表前提及其相應的結論,那麼稱為前提-結論型產生式。人工智慧中的推理很多是建立在直觀經驗基礎上的不精確推理，而產生式在表示和運用不精確知識方面具有靈活性，因此許多專家系統採用產生式系統為體系結構。