單項(xiàng)選擇題

反演歸結(jié)（消解）證明定理時(shí)，若當(dāng)前歸結(jié)式是（）時(shí)，則定理得證。

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

你可能感興趣的試題

單項(xiàng)選擇題

要想讓機(jī)器具有智能，必須讓機(jī)器具有知識(shí)。因此，在人工智能中有一個(gè)研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動(dòng)獲取知識(shí)和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。

A.專家系統(tǒng)
B.機(jī)器學(xué)習(xí)
C.神經(jīng)網(wǎng)絡(luò)
D.模式識(shí)別

單項(xiàng)選擇題

下列哪部分不是專家系統(tǒng)的組成部分（）

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