选择题:归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“()”把关于永真性的证明转化为关于不可满足性的证明。

  • 题目分类:慕课
  • 题目类型:选择题
  • 查看权限:VIP
题目内容:

归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“()”把关于永真性的证明转化为关于不可满足性的证明。

A.反证法

B.综合法

C.分析法

D.归纳法

参考答案:

子句集中的子句之间是合取关系。因此,子句集中只要有一个子句为不可满足,则整个子句集就是不可满足的。

子句集中的子句之间是合取关系。因此,子句集中只要有一个子句为不可满足,则整个子句集就是不可满足的。这是一个关于关系 子句 用Python学人工智能的相关问题,下面我们来看答案是什么,子句集中的子句之间是合取关系。因此,子句集中只要有一个子句为不可满足,则整个子句集就是不可满足的。A.正确B.错误正确答案:正确

查看答案

在可信度推理模型中,知识是用(())表示的。

在可信度推理模型中,知识是用(())表示的。这是一个关于规则 语义 用Python学人工智能的相关问题,下面我们来看答案是什么,在可信度推理模型中,知识是用(())表示的。A.产生式规则B.语义网络C.框架D.贝叶斯网络正确答案:产生式规则

查看答案

以下不属于计算机网络化学资源的是?

以下不属于计算机网络化学资源的是?这是一个关于操作系统 计算机网络 化学信息学的相关问题,下面我们来看答案是什么,以下不属于计算机网络化学资源的是?A.搜索引擎B.操作系统C.数据库D.导航系统正确答案:操作系统

查看答案

以下说法:“网络导航是指藉由计算机网络彼此沟通,彼此分享知识和信息从而所形成的团体。”是否正确。

以下说法:“网络导航是指藉由计算机网络彼此沟通,彼此分享知识和信息从而所形成的团体。”是否正确。这是一个关于计算机网络 化学信息学 藉由的相关问题,下面我们来看答案是什么,以下说法:“网络导航是指藉由计算机网络彼此沟通,彼此分享知识和信息从而所形成的团体。”是否正确。A.正确B.错误正确答案:错误

查看答案

利用chemdraw可以给化合物命名,推导理论核磁谱图。

利用chemdraw可以给化合物命名,推导理论核磁谱图。这是一个关于理论 化合物 化学信息学的相关问题,下面我们来看答案是什么,利用chemdraw可以给化合物命名,推导理论核磁谱图。A.正确B.错误正确答案:正确

查看答案