- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問(wèn)答題
【簡(jiǎn)答題】命題邏輯的歸結(jié)法與謂詞邏輯的歸結(jié)法的不同之處是什么？
答案：
謂詞邏輯比命題邏輯更復(fù)雜，由于謂詞邏輯中的變量受到量詞的約束，在歸結(jié)之前需要對(duì)變量進(jìn)行重命名即變量標(biāo)準(zhǔn)化，而在命題邏輯中...
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】全局擇優(yōu)搜索A算法描述？
答案：
（1）把初始節(jié)點(diǎn)S0放入Open表中，f（S0）=g（S0）+h（S0）；
（2）如果Open表為空，則問(wèn)題無(wú)...
（2）如果Open表為空，則問(wèn)題無(wú)...
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述魯濱遜歸結(jié)原理基本思想？
答案：
首先把欲證明問(wèn)題的結(jié)論否定，并加入子句集，得到一個(gè)擴(kuò)充的子句集S’。然后設(shè)法檢驗(yàn)子句集S’是否含...
