<strike id="68p0o"><label id="68p0o"></label></strike>

單項選擇題

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

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

你可能感興趣的試題

單項選擇題

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

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

單項選擇題

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

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

<thead id="ork9c"></thead>