问答题

【简答题】命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么？

答案：谓词逻辑比命题逻辑更复杂，由于谓词逻辑中的变量受到量词的约束，在归结之前需要对变量进行重命名即变量标准化，而在命题逻辑中...

你可能感兴趣的试题

【简答题】全局择优搜索A算法描述？

答案：（1）把初始节点S0放入Open表中，f（S0）=g（S0）+h（S0）；
（2）如果Open表为空，则问题无...

【简答题】简述鲁滨逊归结原理基本思想？

答案：首先把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S’。然后设法检验子句集S’是否含...