- 6
- 0
- 约4.82万字
- 约 46页
- 2022-09-12 发布于湖北
- 举报
一、选择题(每题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比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败,这台计算机被称为( )
A)深蓝 B)IBM C)深思 D)蓝天
10、下列
您可能关注的文档
- 电气自动化毕业论文全文.docx
- 软件工程实验系统.docx
- i6peam-11100-低值易耗品-功能手册.docx
- 【西门子自动化课程】 (23).docx
- 某公司固定资产管理.docx
- 电力系统调度自动化.docx
- WindowsServer2003的安装及其配置.docx
- 电气自动化毕业论文全文01.docx
- 企业信息门户(EIP)结构设计与实现方案.docx
- 电网变电站自动化系统检验规范.docx
- 计量规程规范 JJF 2476-2026腹膜透析机校准规范.pdf
- 《JJF 2465-2026天然气在线硫化氢气体检测仪校准规范》.pdf
- JJF 1111-2026调制度测量仪校准规范.pdf
- 《JJF 1111-2026调制度测量仪校准规范》.pdf
- 计量规程规范 JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范.pdf
- JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范.pdf
- 《JJF 2471-2026实时荧光定量聚合酶链反应核酸检测系统分析性能确认和验证技术规范》.pdf
- 《JJF 2470-2026食用油品质检测仪校准规范》.pdf
- JJF 2470-2026食用油品质检测仪校准规范.pdf
- 计量规程规范 JJF 2470-2026食用油品质检测仪校准规范.pdf
原创力文档

文档评论(0)