多項選擇題基于規(guī)則的逆向演繹系統(tǒng)對事實、規(guī)則和目標的化簡過程（）

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


您可能感興趣的試卷

你可能感興趣的試題

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

A.事實表達式是文字合取形式
B.事實表達式是任意形式
C.規(guī)則形式為：W→L或W→L1∧L2其中L為單文字，W為任意形式。
D.目標公式是任意形式

2.多項選擇題產(chǎn)生式系統(tǒng)的特點可以概括為（）

A.數(shù)據(jù)驅(qū)動
B.程序驅(qū)動
C.依賴性
D.獨立性

3.多項選擇題高效能的人工智能系統(tǒng)需要問題領(lǐng)域的知識，通?？砂堰@些知識細分為以下幾種基本類別（）

A.陳述性知識是關(guān)于表示綜合數(shù)據(jù)庫的知識。
B.過程性知識是關(guān)于表示規(guī)則部分的知識。
C.控制知識是關(guān)于表示控制策略方面的知識。
D.規(guī)則表達的可以是與待求解的問題有關(guān)的客觀規(guī)律方面的知識，也可以是對求解問題有幫助的策略方面的知識。

4.多項選擇題改進A*算法的時候，要注意哪兩點（）

A.要保持A*算法的可采納性
B.去除可采納性
C.不能增加過多的計算工作量。
D.以增加工作量為代價。