人工智能试卷四一、选择题(每题1分,共15分)1、AI的英文缩写是A)AutomaticIntelligenceB)ArtificalIntelligenceC)AutomaticeInformationD)ArtificalInformation2、反演归结(消解)证明定理时,若当前归结式是()时,则定理得证
A)永真式B)包孕式(subsumed)C)空子句3、从已知事实出发,通过规则库求得结论的产生式系统的推理方式是A)正向推理B)反向推理C)双向推理4、语义网络表达知识时,有向弧AKO链、ISA链是用来表达节点知识的()
A)无悖性B)可扩充性C)继承性5、(A→B)A=>B∧是A)附加律B)拒收律C)假言推理D)US6、命题是可以判断真假的A)祈使句B)疑问句C)感叹句D)陈述句7、仅个体变元被量化的谓词称为A)一阶谓词B)原子公式C)二阶谓词D)全称量词8、MGU是A)最一般合一B)最一般替换C)最一般谓词D)基替换9、1997年5月,著名的“人机大战”,最终计算机以3
5的总比分将世界国际象棋棋王卡斯帕罗夫击败,这台计算机被称为()A)深蓝B)IBMC)深思D)蓝天10、下列不在人工智能系统的知识包含的4个要素中A)事实B)规则C)控制和元知识D)关系11、谓词逻辑下,子句,C1=LC1‘,C2=¬LC2‘,∨∨若σ是互补文字的(最一般)合一置换,则其归结式C=()A)C1’σC2’σ∨B)C1’C2’∨C)C1’σC2’σ∧D)C1’C2’∧12、或图通常称为A)框架网络B)语义图C)博亦图D)状态图13、不属于人工智能的学派是A)符号主义B)机会主义C)行为主义D)连接主义
14、人工智能的含义最早由一位科学家于1950年提出,并且同时提出一个机器智能的测试模型,请问这个科学家是A)明斯基B)
扎德C)图林D)冯
要想让机器具有智能,