西安科技大学人工智能题库3(含答案).pdfVIP

人工智能试卷八 一、填空题 （共30分） 1. 归结法中，可以通过的方法得到问题的解答。 2. 化成子句形式为： 。 3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 4.AI是是 的英文缩写 5. 人工智能的基本技术包括 、 、 、—— 、—— 。 6. 目前所用的知识表示形式有 、 、 等。 7.产生式系统有三部分组成 ， 和推理机。其中推理可分为 和 。 8.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而在一个量词的辖域中与该量词的指导变元相同的变元称为 ， 其他变元称为 9、1997年５月，著名的“人机大战”，最终名为“　　　　　　　　”的计 算机以3.5 比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。 10、人工智能的远期目标是　　　　　　　　　　　　　　　　　　， 近期目标是　　　　　　　　　　　　　　　　。 11、谓词逻辑中，重言式 （tautlogy ）的值是 。 12、利用归结原理证明定理时，若得到的归结式为 ，则结论成立。 13、若C1 ┐P∨Q，C2 P∨┐Q，则C1和C2的归结式R （C1，C2 ） 。 14 、若C1 P(x) ∨Q(x)，C2 ┐P(a) ∨R(y)，则C1和C2的归结式 R （C1，C2 ） 。 15、在归结原理中，几种常见的归结策略并且具有完备性的是 ， ， 。 16、在启发式搜索当中，通常用 来表示启发性信息。 17、假言推理 （AB）A ，假言三段论 （AB） （BC ） . 填空题 1、 修改证明树 2、 。 3、 正向推理 4、 Artifical Inteligence 5、 搜索技术 推理技术 知识表示和知识库技术、归纳技术、联想 技术 6、 框架 语义网络 面向对象 7、 综合数据库 知识库 正向推理 反向推理 8、 辖域 约束变元 自由变元 9、 深蓝 10、 制造智能机器 实现机器智能 11、 真 12、 空集 13、 ┐P∨P或┐Q∨Q 14、 Q （a ）∨R （y ） 15、 删除策略 支持集策略 线性归结策略 16、 启发函数 17、 B AC 二、选择题 （15小题，共15分 1.人工智能是一门 A)数学和生理学 B)心理学和生理学 C)语言学 D)综合性的交叉学科和边缘学科 2、下列哪个不是人工智能的研究领域 （ ） A.　机器证明 B.　模式识别 C. 人工生命 D. 编译原理 3.神经网络研究属于下列 （ ）学派 A. 符号主义 B. 连接主义 C. 行为主义 D. 都不是 4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题 集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识 表示法叫 （ ） A. 状态空间法 B. 问题归约法 C. 谓词逻辑法 D. 语义网络法 5.在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存 在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个 y值映射到存在的那个x 。这种函数叫做 （ ） A. 依赖函数 B. Skolem函数 C. 决定函数 D. 多元函数 6.子句~PQ和P经过消解以后，得到 （ ） A. P B. Q C. ~P D. PQ 7、8.A （AB）A 称为 （