多項選擇題求取子句集的步驟包括以下步驟,()、化成前束范式、將母式化成合取范式、消去全稱量詞、消去合取連結(jié)詞、更改變量名。

A.消去“蘊含”連結(jié)詞
B.減少“非”連結(jié)詞的轄域
C.對變量標(biāo)準(zhǔn)化
D.消去存在量詞


您可能感興趣的試卷

你可能感興趣的試題

1.多項選擇題基于規(guī)則的專家系統(tǒng)采用下列模塊來建立產(chǎn)生式系統(tǒng)的模型()

A.知識庫
B.工作存儲器
C.加密,解密設(shè)備
D.推理機

3.多項選擇題計算智能的主要研究領(lǐng)域包括()。

A.神經(jīng)計算
B.進化計算
C.模糊計算
D.數(shù)字計算

4.多項選擇題簡單遺傳算法的遺傳操作主要有。()

A.選擇
B.交叉
C.取整
D.變異

5.多項選擇題知識表示必須兼顧()。

A.表達能力強
B.易于推理
C.易于擴展
D.容易修改知識庫