人工智能试卷四 一、选择题(每题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 年5月,著名的“人机大战”,最终计算机以 3
5 的总比分将世界国际象棋棋王卡斯帕罗 夫 击 败 ,这 台计算机被称为( ) A)深 蓝 B)IBM C)深 思 D)蓝 天 10、下 列 不 在 人工智能系统的知识包含 的4 个要 素 中 A)事实 B)规则 C)控 制 和 元知识 D)关 系 11、谓词逻 辑 下 ,子句, C1=L∨ C1‘, C2= ¬ L∨ C2‘,若σ 是互 补 文字 的(最一般)合一置 换,则其 归结式C=( ) A) C1’σ∨ C2’σ B)C1’∨ C2’ C)C1’σ∧C2’σ D)C1’ ∧C2’ 12、或 图 通常 称为 A)框 架 网络 B)语义图 C)博 亦 图 D)状 态 图