人工智能原理
问答题
1.Skolem标准形是合取范式吗？
2. 通过归结法可以证明命题逻辑的永真，那么如何利用命题逻辑归结法来对谓词逻辑命题进行判断？
3. 怎么样才能判断一个一阶谓词逻辑公式为永真或永假？
4. 为什么说归结法是目前为止唯一有效的逻辑判定方法？
5. 如果是计算机进行判定应该怎么进行？
6. 基例中的元素个数是多少？我们能够构造一个完全的语义树么？
7. 如果不在H域上应该怎么判定一个谓词公式的永真？
8. 归结策略的目的？
9. 归结法做起来是不是很繁琐，有没有怎么做也做不完的时候？是不是不同的归结顺序导致的过程差别比较大？
10. Herbrand定理解决了一个什么意义上的问题？