试题详情
- 简答题归结原理
-
为了证明子句集S的不可满足，只要对S中可进行归结的子句进行归结，并把归结式加入子句集S.得到新子句集S1，则S与S1在不可满足的意义上是等价的，归结原理的本质思想是去检查子句集S是否包含一个空子句•，如果S包含•，则S是不可满足的。
如果S不包含•，则去检查•是否可由S推导出来。
当然这个推理规则必须保证推出的子句是原亲本子句的逻辑结果。 关注下方微信公众号，在线模考后查看
热门试题
- 几种常用的归结策略（）策略、支持集策略、
- 用连词→连接两个公式所构成的公式叫做（）
- 基于规则的逆向演绎系统是从目标出发，逆向
- 在主观Bayes方法中，专家给出的Ln
- AI研究的主要途径有三大学派，它们是（）
- 在一般图搜索算法中，当对某一个节点n进行
- 在修正的A算法中，fm的含义是（）
- 或图通常称为（）
- 什么是人工智能？试从学科和能力两方面加以
- 什么是进化计算？他包括哪些内容？他们的出
- 下面关于开放路径和闭合路径描述正确的是：
- 人工智能有哪几个主要学派？各自的特点是什
- 什么是学习和机器学习？为什么要研究机器学
- 当连接符全部为1－连接符时，局部图就是一
- 在AO*算法中，已知h（n）函数对一个已
- 在公式中yxP（x，y），存在量词是在全
- 改进A*算法的时候，要注意哪两点（）
- 在人工智能领域，状态空间图由初始状态和操
- 在九宫格棋盘上，两位选手轮流在棋盘上摆各
- 人工生命要模仿自然生命的特征和现象。自然