- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問(wèn)答題
【論述題】如何通過(guò)消解反演求取問(wèn)題的答案？
答案：
給出一個(gè)公式集S和目標(biāo)公式L，通過(guò)反證或反演來(lái)求證目標(biāo)公式L，其證明步驟如下：
（1）否定L，得～L；
（1）否定L，得～L；
你可能感興趣的試題
問(wèn)答題
【論述題】什么是圖搜索過(guò)程？
答案：
圖搜索的一般過(guò)程如下：
（1）建立一個(gè)搜索圖G（初始只含有起始節(jié)點(diǎn)S），把S放到未擴(kuò)展節(jié)點(diǎn)表中（OPEN表）...
（1）建立一個(gè)搜索圖G（初始只含有起始節(jié)點(diǎn)S），把S放到未擴(kuò)展節(jié)點(diǎn)表中（OPEN表）...
問(wèn)答題
【論述題】人工智能的主要研究和應(yīng)用領(lǐng)域是什么？其中，哪些是新的研究熱點(diǎn)？
答案：
問(wèn)題求解（下棋程序），邏輯推理與定理證明（四色定理證明），自然語(yǔ)言理解，自動(dòng)程序設(shè)計(jì)，專家系統(tǒng)，機(jī)器學(xué)習(xí)，神經(jīng)網(wǎng)絡(luò)，機(jī)器...
