灵
去百度文库,查看完整内容>内容来自用户:中小学精品教育一、选择题(每题1分,3433646366共15分)1、AI的英文缩写是A)Automatic IntelligenceB)Artifical IntelligenceC)Automatice InformationD)Artifical Information2、反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。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比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败,这台计算机被称为()A)深蓝B)IBMC)深思D)蓝天10、下列不在人工智能系统的知识包含的4个要素中A)事实 B)规则 C)控制与元知识 D)关系11、谓词逻辑下,子句, C1=L∨C1‘, C2= ¬ L∨C2‘,若σ是互补文字的(最一般)合一置换,则其归结式C=()A) C1’σ∨C2’σ B)C1’A)5有δ2) (有δ5二、填空题(共3⑥A)79得证。DAgoalC37