完整word版-《人工智能导论》试卷库.doc

【人工智能导论】试卷库包含了丰富的知识点，涵盖了人工智能的基础概念、推理方法、知识表示以及历史发展等。以下是对部分题目涉及知识点的详细说明： 1. AI 的英文全称为 Artificial Intelligence，代表人工智能，选项 B 正确。 2. 反演归结（消解）证明定理时，若当前归结式为空子句，则定理得证，选项 C 为正确答案。 3. 正向推理是从已知事实出发，通过规则库推导出结论的推理方式，选项 A 描述了正向推理。 4. 语义网络中的 AKO 链、ISA 链用于表达节点间的继承性，选项 C 为正确选项。 5. 命题逻辑中，(A→B)∧A => B 属于假言推理，选项 C 正确。 6. 只有陈述句可以判断真假，因此选项 D 正确。 7. 仅个体变元被量化的谓词称为一阶谓词，选项 A 正确。 8. 最一般合一（Most General Unifier, MGU）是逻辑推理中的一种概念，选项 A 正确。 9. 1997 年击败世界国际象棋棋王卡斯帕罗夫的计算机名为深蓝，选项 A 正确。 10. 人工智能系统的知识包含的事实、规则、控制和元知识，选项 D（关系）不在其中。 11. 子句 C1=L∨C1‘, C2= ¬ L∨C2‘ 的最一般合一归结式为 C1’σ∨C2’σ，选项 A 正确。 12. 或图通常称为博奕图，选项 C 正确。 13. 不属于人工智能的学派是机会主义，选项 B 正确。 14. 人工智能的含义最早由图灵于 1950 年提出，他同时提出了图灵测试，选项 C 正确。 15. 自动获取知识和技能，实现自我完善的学科是机器学习，选项 B 正确。 填空题中涉及的知识点包括： 1. 不确定性类型包括主观不确定性、客观不确定性、信息不完全和信息不精确。 2. 在删除策略归结中，应删除含有互补文字的子句、含有自由变量的子句以及被其他子句包孕的子句。 3. 证据可信度 CF(A) 的关系为 CF(~A) = 1 - CF(A)，CF(A1∧A2) = CF(A1) * CF(A2)，CF(A1∨A2) = max(CF(A1), CF(A2))。 4. 图由顶点和边组成，分为有向图和无向图。 5. 合一算法是寻找非空有限原子公式集的最一般合一。 6. 产生式系统的推理过程中，被选择执行的规则称为触发规则。 7. P(B|A) 表示在规则 A 为真的情况下，B 为真的条件概率。 8. 人工智能的远期目标是实现真正的智能，近期目标是实现特定任务的自动化。 简答题和计算题涉及的知识点包括： 1. 三值逻辑表涉及到真、假和不确定三种状态。 2. 产生式是逻辑程序设计中的基本单元，表示形式如 "IF 条件 THEN 行动"，规则的语义是在满足条件时执行相应行动。 3. 谓词公式的子句集转换通常通过一系列逻辑操作如析取、归结等步骤得到。 4. 求最一般合一（MGU）是逻辑推理中的一个重要问题，解决方法涉及代换和子句简化。 5. 证明 G 是否是 F 的逻辑结论需要通过推理和逻辑证明。 应用题中涉及的知识点： 1. 语义网络可以用来表示复杂的关系，如人物的身份、年龄和住址等。 2. α-β 剪枝技术是用于优化决策树搜索的算法，用于避免评估不必要的分支。 3. 利用逻辑关系推理家族关系，如祖父、父亲等。 以上是对试卷库部分内容涉及的人工智能知识点的详细解释。这部分内容覆盖了人工智能的基础理论、逻辑推理、知识表示方法和实际应用等多个方面，体现了人工智能学科的广泛性和深度。