問答題

【簡答題】命題邏輯的歸結(jié)法與謂詞邏輯的歸結(jié)法的不同之處是什么？

答案：謂詞邏輯比命題邏輯更復雜，由于謂詞邏輯中的變量受到量詞的約束，在歸結(jié)之前需要對變量進行重命名即變量標準化，而在命題邏輯中...

你可能感興趣的試題

【簡答題】全局擇優(yōu)搜索A算法描述？

答案：（1）把初始節(jié)點S0放入Open表中，f（S0）=g（S0）+h（S0）；
（2）如果Open表為空，則問題無...

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

答案：首先把欲證明問題的結(jié)論否定，并加入子句集，得到一個擴充的子句集S’。然后設(shè)法檢驗子句集S’是否含...