- 搜標(biāo)題
- 搜題干
- 搜選項
問答題
【論述題】如何通過消解反演求取問題的答案？
答案：
給出一個公式集S和目標(biāo)公式L，通過反證或反演來求證目標(biāo)公式L，其證明步驟如下：
（1）否定L，得～L；
（1）否定L，得～L；
你可能感興趣的試題
問答題
【論述題】人工智能的主要研究和應(yīng)用領(lǐng)域是什么？其中，哪些是新的研究熱點？
答案：
問題求解（下棋程序），邏輯推理與定理證明（四色定理證明），自然語言理解，自動程序設(shè)計，專家系統(tǒng)，機器學(xué)習(xí)，神經(jīng)網(wǎng)絡(luò)，機器...
