【人工智能导论】试卷库包含了丰富的知识点,涵盖了人工智能的基础概念、推理方法、知识表示以及历史发展等。以下是对部分题目涉及知识点的详细说明:
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. 利用逻辑关系推理家族关系,如祖父、父亲等。
以上是对试卷库部分内容涉及的人工智能知识点的详细解释。这部分内容覆盖了人工智能的基础理论、逻辑推理、知识表示方法和实际应用等多个方面,体现了人工智能学科的广泛性和深度。
2025-06-15 17:04:11
678KB
1