试题详情
- 单项选择题反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。
A、永真式
B、包孕式
C、空子句
关注下方微信公众号，在线模考后查看
热门试题
- 已知初始问题的描述，通过一系列变换把此问
- 不确定性类型按性质分：（），（），（），
- 全局择优搜索A算法描述？
- 研究不确定性推理有何意义？有哪几种不确定
- 归结过程就是"寻找"空子句的过程。
- 人工智能产生于哪一年（）。
- 有哪几种重要的机器人高层规划系统？它们各
- 下列有关橡皮工具（Erase
- 专家系统的结构包含人机界面、知识库，推理
- 当单击Layers调板中的新建图层按钮时
- 什么是与或树？什么是可解节点？什么是解树
- 为什么能够用机器（计算机）模仿人的智能？
- 自然语言理解不仅包括计算机能正确理解人们
- 引入启发式知识来指导OPEN表中节点的排
- 设P是谓词公式，对于P的任何论域，存在P
- 关于“与/或”图表示法的叙述中，正确的是
- 下面关于Adobe lllus
- 在人工智能的发展过程中，有哪些思想和思潮
- 问题归约法的组成部分包括一个初始问题描述
- 人工智能作为一门学科，它研究的对象是（）