多項(xiàng)選擇題

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

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)的公式受全稱量詞的約束。（*）

微信掃碼免費(fèi)搜題