你可能感興趣的試題

判斷題

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

答案：錯(cuò)誤

多項(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)的求解效率。

基于規(guī)則的逆向演繹系統(tǒng)是從目標(biāo)出發(fā)，逆向使用規(guī)則對(duì)目標(biāo)表達(dá)式的與或圖進(jìn)行變換，直到找到一個(gè)含有事實(shí)節(jié)點(diǎn)的一致解圖為止。

你可能感興趣的試題

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

關(guān)于演繹系統(tǒng)的搜索策略的說法正確的是（）

基于規(guī)則的逆向演繹系統(tǒng)是從目標(biāo)出發(fā)，逆向使用規(guī)則對(duì)目標(biāo)表達(dá)式的與或圖進(jìn)行變換，直到找到一個(gè)含有事實(shí)節(jié)點(diǎn)的一致解圖為止。

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