你可能感興趣的試題

單項(xiàng)選擇題

用產(chǎn)生式系統(tǒng)來描述一個(gè)具體問題。設(shè)字符轉(zhuǎn)換問題規(guī)則如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B∧E→F；5.D→E；已知：A，B求：F。設(shè)綜合數(shù)據(jù)庫用集合{x}表示，其中x為字符。采用順序排隊(duì)的控制策略。初始狀態(tài){A，B}。為了得到F，最后執(zhí)行的被觸發(fā)規(guī)則是（）

A.5.IF-D-THEN-E
B.2.IFA∧CTHEN-D
C.3.IFB∧CTHEN-G
D.4.IFB∧ETHEN-F

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