你可能感興趣的試題

單項選擇題

用產(chǎn)生式系統(tǒng)來描述一個具體問題。設(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為字符。采用順序排隊的控制策略。初始狀態(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

多項選擇題

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

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

感谢您访问我们的网站，您可能还对以下资源感兴趣：

欧美成人影院在线电影

cao死你好湿好紧好爽视频今日更新亚洲精品图片区 AⅤ无码亚洲免费区人人艹人人摸人人看

利用評價函數(shù)f（n）＝g（n）＋h（n）來排列OPEN表節(jié)點順序的圖搜索算法稱為（）

你可能感興趣的試題

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

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