人工智能导论试卷 (3)
人工智能导论试卷
人工智能试卷四
一、选择题(每题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深蓝 BIBM C深思 D蓝天
你可能喜欢
- 人力资源管理概论题
- 人力资源管理概论试卷
- 人力资源管理概论期末试卷
- 人工智能概论
- 概率论与数理统计课后习题
