問答題

【簡答題】簡述基于規(guī)則的逆向演繹系統(tǒng)對事實、規(guī)則和目標(biāo)的化簡過程。

答案： （1）用Skolem函數(shù)（對偶形）消去目標(biāo)公式中的全稱量詞，化簡的公式受存在量詞的約束；
（2）對規(guī)則的處理同...
題目列表

你可能感興趣的試題

問答題

【簡答題】簡述基于規(guī)則的正向演繹系統(tǒng)對事實、規(guī)則和目標(biāo)的化簡過程。
答案： （1）用Skolem函數(shù)消去事實表達(dá)式中的存在量詞，化簡的公式受全稱量詞的約束；
（2）對規(guī)則的處理同（1）；...
問答題

【簡答題】簡述基于規(guī)則的逆向演繹系統(tǒng)的使用條件。
答案： （1）事實表達(dá)式是文字合取形式；
（2）規(guī)則形式為：W→L或W→L1∧L2，其中L為單文字，W為任意形式；
微信掃碼免費搜題