你可能感興趣的試題

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

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.對于我方要走的極大節(jié)點(diǎn)取其子節(jié)點(diǎn)中的最大值為該節(jié)點(diǎn)的值
D.對于對方要走的極小節(jié)點(diǎn)取其子節(jié)點(diǎn)中的最小值為該節(jié)點(diǎn)的值。
E.一直到計(jì)算出根節(jié)點(diǎn)的值為止，獲得根節(jié)點(diǎn)取值的那一分枝，即為所選擇的最佳走步。