《人工智能导论》试卷库-.docVIP

人工智能试卷四 一、选择题(每题1分 共15分 1、AI的英文缩写是 AAutomatic Intelligence BArtifical Intelligence CAutomatice Information DArtifical Information 2、反演归结 消解 证明定理时 若当前归结式是 时 则定理得证。 A永真式 B包孕式 subsumed C空子句 3、从已知事实出发 通过规则库求得结论的产生式系统的推理方式是 A正向推理 B反向推理 C双向推理 4、语义网络表达知识时 有向弧AKO 链、ISA 链是用来表达节点知识的 。 A无悖性 B可扩充性 C继承性 5、(A→B∧A = B是 A附加律 B拒收律 C假言推理 DUS 6、命题是可以判断真假的 A祈使句 B疑问句 C感叹句 D陈述句 7、仅个体变元被量化的谓词称为 A一阶谓词 B原子公式 C二阶谓词 D全称量词 8、MGU是 A最一般合一 B最一般替换 C最一般谓词 D基替换 9、1997年 月 著名的“人机大战” 最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败 这台 计算机被称为 A 深蓝 B IBM C 深思 D 蓝天 10、下列不在人工智能系统的知识包含的4个要素中 A事实 B规则 C控制和元知识 D关系 11、谓词逻辑下 子句, C1=L∨C1?, C2= ? L∨若ζ是互补文字