设已知：（1）如果x是y的父亲，y是z的父亲，则x是z的祖父；（2）每个人都..._考试资料网

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

大学试题

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

问答题 设已知：
（1）如果x是y的父亲，y是z的父亲，则x是z的祖父；
（2）每个人都有一个父亲。
使用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父。

参考答案：

您可能感兴趣的试卷

你可能感兴趣的试题

1.问答题鲁滨逊归结原理的基本思想是什么？

参考答案：鲁滨逊归结原理也称为消解原理。其基本思想是把永真性的证明转化为不可满足性的证明。
即要证明P->Q永真，只要能...

点击查看完整答案

2.问答题 把下列谓词公式化成子句集：

参考答案：

3.问答题什么是自然演绎推理？它所依据的推理规则是什么？

参考答案：从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理
推理规则：等价式，永真蕴...

点击查看完整答案

4.问答题什么是置换？什么是合一？

参考答案：在不同谓词公式中，往往会出现多个谓词的谓词名相同但个体不同的情况，此时推理过程是不能直接进行匹配的，需要先进行变元的替换...

点击查看完整答案

5.问答题什么是混合推理？它由哪几种实现方式？

参考答案：

正向推理和逆向推理结合起来所进行的推理称为混合推理
实现：先正后逆，先逆后正，随机

6.问答题什么是逆向推理？其基本过程是什么？

参考答案：以某个假设目标作为出发点的推理方法
过程：
（1）将问题的初始证据和要求证的目标（称为假设）分别放入...

点击查看完整答案

7.问答题什么是产生式的正向推理？其基本过程是什么？

参考答案：从已知事实出发，正向使用推理规则的推理方法。
过程：
（1）把用户提供的初始证据放入综合数据库；

点击查看完整答案

8.问答题何谓产生式系统？产生式推理的基本结构由哪几部分组成？

参考答案：

利用产生式知识表示方法所进行的推理称为产生式推理，由此产生的系统为产生式系统
基本结构：综合数据库，规则库，控制系统。

9.问答题框架表示法的特点有哪些？

参考答案：

优点：结构性，深层性，继承性，自然性。
缺点：缺乏框架的形式理论，缺乏过程性知识表示，清晰性难以保证

10.问答题在框架系统中，问题求解的一般过程是什么？

参考答案：

特性继承
框架的匹配与填槽