简述用归结法证明定理的过程。_考试资料网

网站首页考试题库模拟考场智能家居网课试题

大学试题

题库首页每日一练章节练习

问答题简述用归结法证明定理的过程。

参考答案： （1）将已知条件化作子句集；
（2）将结论的否定化作子句集；
（3）从所有子句集中选取两个可归结的子...

点击查看完整答案

您可能感兴趣的试卷

你可能感兴趣的试题

1.问答题什么是合一？什么是合一者？

参考答案：若存在一个置换s使得表达式集{Ei}中每个元素经置换后的例有：E1s＝E2s＝E3s＝…，则称表达式集{Ei}是可合一的...

点击查看完整答案

2.问答题什么是置换？置换是可交换的吗？

参考答案：通常用有序对的集合s＝{t1/v1，t2/v2，…，tn/vn}来表示任一置换，置换集的元素ti/vi的含义是表达式中的...

点击查看完整答案

3.问答题在与或图中，什么是能解节点？什么是不能解节点？

参考答案：能解节点：（1）终节点是能解节点；（2）若非终节点有"或"子节点时，当且仅当其子节点至少有一个能解，该非终节点才能解；（...

点击查看完整答案

4.问答题AO*算法的特点是什么？

参考答案：

（1）是一种与或图启发式搜索算法。
（2）当h（n）满足单调条件时，如果问题有解，则AO*算法一定能找到最优解。

5.问答题修正的A*算法可以完全避免重复扩展节点问题吗？

参考答案：不能。只是有可能避免一些重复扩展节点问题。最坏情况下，重复扩展的节点数与A*算法相同。

6.问答题当h满足单调条件时，就可以完全避免重复节点扩展问题吗？为什么？

参考答案：是的。因为当h是单调的时，当A*算法扩展节点n时，就已经找到了从初始节点到节点n的最优路径，因此在以后的搜索过程中，不会...

点击查看完整答案

7.问答题h是单调的条件是什么？

参考答案：如果对于任何节点ni和nj，其中nj是ni的后继节点，h满足条件：
H.ni）-h（nj）≤C（ni，n...

点击查看完整答案

8.问答题如何避免或者减少重复节点扩展问题？

参考答案：有两种方法可以避免或者减少重复节点扩展问题。一是定义满足单调条件的启发函数h；二是对A*算法进行适当的修改，对于f值小于...

点击查看完整答案

9.问答题为什么A*算法会出现重复扩展节点的问题？

参考答案：一般情况下，当A*算法扩展节点n时，并不能保证已经找到了从初始节点到节点n的最短路径，所以在以后的搜索中，当找到了更短的...

点击查看完整答案

10.问答题A*算法有什么特点？

参考答案：（1）是一种启发式的图搜索算法；（2）当问题有解时，A*算法一定能找到解，并且能保证找到最佳解。