多項(xiàng)選擇題基于規(guī)則的逆向演繹系統(tǒng)對(duì)事實(shí)、規(guī)則和目標(biāo)的化簡(jiǎn)過(guò)程（）

A.用Skolem函數(shù)（對(duì)偶形）消去目標(biāo)公式中的全稱量詞，化簡(jiǎn)的公式受存在量詞的約束。
B.用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡(jiǎn)的公式受全稱量詞的約束。
C.對(duì)規(guī)則的處理同（*）式。
D.用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡(jiǎn)的公式受全稱量詞的約束。（*）


您可能感興趣的試卷

你可能感興趣的試題

1.多項(xiàng)選擇題基于規(guī)則的逆向演繹系統(tǒng)的使用條件（）

A.事實(shí)表達(dá)式是文字合取形式
B.事實(shí)表達(dá)式是任意形式
C.規(guī)則形式為：W→L或W→L1∧L2其中L為單文字，W為任意形式。
D.目標(biāo)公式是任意形式

2.多項(xiàng)選擇題產(chǎn)生式系統(tǒng)的特點(diǎn)可以概括為（）

A.數(shù)據(jù)驅(qū)動(dòng)
B.程序驅(qū)動(dòng)
C.依賴性
D.獨(dú)立性