- 8
- 0
- 约2.36万字
- 约 20页
- 2023-12-18 发布于河南
- 举报
一、选择题(每题1分,共15分)
1、AI的英文缩写是
A)AutomaticIntelligenceB)ArtificalIntelligence
C)AutomaticeInformationD)ArtificalInformation
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)最一般合
原创力文档

文档评论(0)