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

人工智能试卷四 一、选择题(每题1分，共15分) 1、AI的英文缩写是 A)Automatic Intelligence B)Artifical Intelligence C)Automatice Information D)Artifical Information 2、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 A)永真式 B)包孕式（subsumed） C)空子句 3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 A)正向推理 B)反向推理 C)双向推理 4、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（ ）。 A)无悖性 B)可扩充性 C)继承性 5、(A→B)∧A = B是 A)附加律　 B)拒收律　 C)假言推理　 D)US 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）