單項(xiàng)選擇題反演歸結(jié)(消解)證明定理時(shí),若當(dāng)前歸結(jié)式是()時(shí),則定理得證。

A.永真式
B.包孕式
C.空子句


您可能感興趣的試卷

你可能感興趣的試題

2.單項(xiàng)選擇題下列哪部分不是專家系統(tǒng)的組成部分()

A.用戶
B.綜合數(shù)據(jù)庫
C.推理機(jī)
D.知識(shí)庫

3.單項(xiàng)選擇題產(chǎn)生式系統(tǒng)的推理不包括()

A.正向推理
B.逆向推理
C.雙向推理
D.簡(jiǎn)單推理

5.單項(xiàng)選擇題神經(jīng)網(wǎng)絡(luò)研究屬于下列()學(xué)派

A、符號(hào)主義
B、連接主義
C、行為主義
D、都不是