問(wèn)答題

【簡(jiǎn)答題】簡(jiǎn)述魯濱遜歸結(jié)原理基本思想?

答案: 首先把欲證明問(wèn)題的結(jié)論否定,并加入子句集,得到一個(gè)擴(kuò)充的子句集S’。然后設(shè)法檢驗(yàn)子句集S’是否含...
題目列表

你可能感興趣的試題

問(wèn)答題

【簡(jiǎn)答題】子句集的化簡(jiǎn)的步驟?‘

答案: (1)消去連接詞“→”和“↔”(2)減少否定符號(hào)的轄域(3)對(duì)變?cè)獦?biāo)準(zhǔn)化(4)化為前束范式(5)消去存在量詞...
問(wèn)答題

【簡(jiǎn)答題】演繹推理與歸納推理的區(qū)別?

答案: 演繹推理是在已知領(lǐng)域內(nèi)的一般性知識(shí)的前提下,通過(guò)演繹求解一個(gè)具體問(wèn)題或者證明一個(gè)結(jié)論的正確性。它所得出的結(jié)論實(shí)際上早已蘊(yùn)...
微信掃碼免費(fèi)搜題