單項(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
您可能感興趣的試卷
你可能感興趣的試題
1.多項(xiàng)選擇題基于規(guī)則的逆向演繹系統(tǒng)對事實(shí)、規(guī)則和目標(biāo)的化簡過程（）
A.用Skolem函數(shù)（對偶形）消去目標(biāo)公式中的全稱量詞，化簡的公式受存在量詞的約束。
B.用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡的公式受全稱量詞的約束。
C.對規(guī)則的處理同（*）式。
D.用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡的公式受全稱量詞的約束。（*）
2.多項(xiàng)選擇題基于規(guī)則的逆向演繹系統(tǒng)的使用條件（）
A.事實(shí)表達(dá)式是文字合取形式
B.事實(shí)表達(dá)式是任意形式
C.規(guī)則形式為：W→L或W→L1∧L2其中L為單文字，W為任意形式。
D.目標(biāo)公式是任意形式
