判斷題基于規(guī)則的演繹系統(tǒng)將所有的謂詞公式均化簡為子句，致使很多隱含在原來的謂詞公式中的、對(duì)推理有利的信息得不到充分的利用。

您可能感興趣的試卷

你可能感興趣的試題

1.多項(xiàng)選擇題關(guān)于演繹系統(tǒng)的搜索策略的說法正確的是（）

A.在尋找完所有解圖之后，再判斷解圖的一致性。
B.首先找一個(gè)任意解圖，再檢驗(yàn)其一致性，看是否是一致解圖。如果這個(gè)候選解圖不一致，則繼續(xù)搜索直到找到一個(gè)一致解圖為止。
C.在擴(kuò)展局部的候選解圖前，就進(jìn)行一致性的檢驗(yàn)，修剪不一致的局部候選解圖，致使效率提高。
D.建立規(guī)則連接圖結(jié)構(gòu)，從而提高系統(tǒng)的求解效率。

2.多項(xiàng)選擇題基于歸結(jié)的問題求解方法的優(yōu)點(diǎn)是（）

A.無需專門的機(jī)理來實(shí)現(xiàn)算子的各種計(jì)算
B.計(jì)算都是由定理證明程序中的演繹方法來處理
C.求解過程簡單
D.有用的啟發(fā)信息不容易引入求解過程，且所需要的推理常識(shí)也都要以專門的公理形式給出各種關(guān)系的描述

3.多項(xiàng)選擇題合式公式常用的性質(zhì)有（）

A.摩根定律
B.分配律
C.結(jié)合律
D.蘊(yùn)涵式轉(zhuǎn)化

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

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

5.多項(xiàng)選擇題關(guān)于極小極大搜索方法，下列說法正確的是（）

A.當(dāng)輪到我方走棋時(shí)，首先按照一定的搜索深度生成出給定深度d以內(nèi)的所有狀態(tài)，計(jì)算所有葉節(jié)點(diǎn)的評(píng)價(jià)函數(shù)值。
B.然后從d-1層節(jié)點(diǎn)開始逆向計(jì)算。
C.對(duì)于我方要走的極大節(jié)點(diǎn)取其子節(jié)點(diǎn)中的最大值為該節(jié)點(diǎn)的值
D.對(duì)于對(duì)方要走的極小節(jié)點(diǎn)取其子節(jié)點(diǎn)中的最小值為該節(jié)點(diǎn)的值。
E.一直到計(jì)算出根節(jié)點(diǎn)的值為止，獲得根節(jié)點(diǎn)取值的那一分枝，即為所選擇的最佳走步。