人工智能导论复习重点：选择与填空题解析

"《人工智能导论》期末复习习题，包括选择题、填空题，涉及人工智能基础概念、逻辑推理、知识表示等重要内容，适用于软件工程专业的期末备考。" 一、选择题解析： 1. AI的英文全称是Artificial Intelligence，选项B正确。 2. 反演归结（消解）证明定理时，若当前归结式是空子句（Tautology），则定理得证，选项C正确。 3. 从已知事实出发，通过规则库求得结论的推理方式是正向推理，选项A正确。 4. 语义网络中的AKO链和ISA链表达节点知识的继承性，选项C正确。 5. (A→B)∧A=>B 是假言推理，选项C正确。 6. 命题是能够判断真假的陈述句，选项D正确。 7. 仅个体变元被量化的谓词称为一阶谓词，选项A正确。 8. MGU（Most General Unifier）是最一般合一，选项A正确。 9. 在1997年的“人机大战”中击败国际象棋棋王卡斯帕罗夫的计算机名为深蓝，选项A正确。 10. 人工智能系统的知识四要素不包含关系，选项D正确。 11. 子句C1=L∨C1‘, C2=¬L∨C2‘，若σ是互补文字的最一般合一置换，其归结式C=C1’σ∨C2’σ，选项A正确。 12. 或图通常称为布尔图或博亦图，选项C正确。 13. 不属于人工智能的学派是机会主义，选项B正确。 14. 提出人工智能概念和机器智能测试模型的科学家是图林，选项C正确。 15. 让机器自动获取知识与技能，实现自我完善的学科是机器学习，选项B正确。 二、填空题解析： 1. 不确定性类型按性质分为：（1）概率不确定性，（2）模糊不确定性，（3）不完全不确定性，（4）认知不确定性。 2. 在删除策略归结过程中，通常会删除包含互补文字的子句；含超子句的子句；以及子句集中被别的子句子集蕴含的子句。 这些习题涵盖了人工智能的基础概念，如AI的定义、逻辑推理方法、知识表示形式、人工智能学派理论以及知识获取等关键知识点，对于理解和复习人工智能导论课程非常有帮助。