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

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


您可能感興趣的試卷

你可能感興趣的試題

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

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

2.單項選擇題下面哪個不是圖搜索方式的特點（）

A.圖中的每一個節(jié)點代表問題的狀態(tài)，節(jié)點間的弧代表應用的規(guī)則。
B.就是從隱含圖中搜索出含有解路徑的子圖來。
C.對每一個狀態(tài)可應用的所有規(guī)則都要去試，并把結(jié)果記錄下來。
D.沿著單獨的一條路向下延伸搜索下去。

3.單項選擇題設置回溯點，就是設置（）

A.初始狀態(tài)
B.目標狀態(tài)
C.回溯策略
D.回溯條件

4.單項選擇題基于規(guī)則的逆向演繹系統(tǒng)的初始綜合數(shù)據(jù)庫是（）

A.事實表達式的與或樹
B.目標公式的與或樹
C.與或樹
D.證明樹