首页
反演归结（消解）证明定理时，若当前归结式是（）时，则定理的证。
精华吧
→
答案
→
知到智慧树
→
未分类
反演归结（消解）证明定理时，若当前归结式是（）时，则定理的证。
A.空子句
B.永真式
C.包孕式
正确答案：空子句
Tag：
子句
定理
时间：2024-01-14 13:11:04
上一篇：
推理规则Aù（ATB） T；B的名称为假言推理。
下一篇：
以下推理不正确的是（）
相关答案
1.
（AúB） ù（?Cú?DúE） T（AúB） ù（?DúE）。
2.
状态空间图是一种有向图，把一个待求解的问题表示为状态空间以后，就可以通过对状态空间的搜索，实现对问题的求解。
3.
剪枝允许我们在搜索树中忽略那些不影响最后决定的部分。
4.
某问题可能具有的状态总数，称之为问题的规模。
5.
在有完整信息的两人游戏中，极大极小算法可以通过对博弈树的深度优先枚举选出最优招数。
6.
评价一个算法的性能需要考虑哪些方面（）
7.
在重排九宫问题的状态树中（如下图），以下选项中是分支节点的是（）
8.
请给出如图所示的宽度优先搜索序列（）；
9.
在深度优先搜索策略中，open表是（）的数据结构
10.
下图是一个迷宫，S0是入口，Sg是出口，把入口作为初始节点，出口作为目标节点，通道作为分支，画出从入口S0出发，寻找出口Sg的状态树。根据深度优先搜索方法搜索的路径是（）。
热门答案
1.
简单反射型智能体可以对付部分可观察的情况。
2.
设计智能体的一个重要步骤是尽可能全面详细地说明任务环境。
3.
理性智能体一定是不完美的。
4.
AI的任务是设计智能体程序。
5.
下面关于多智能体的环境类型，哪个是正确的？（）
6.
下面关于自动出租车智能体的任务环境的表述错误的是（）
7.
下面关于理性智能体的概念和特点的表述错误的是（）
8.
Agent在人工智能和计算机领域称为（）
9.
Agent可以分为以下哪些类型（）
10.
智能体的主要组成部分有（）