前言老师和助教都很佛系期中成绩要等到出分才能知道而出分又特别晚5月24日考完期末7月9日才出分23级计科期中考试范围为1~9章对应教材章节章节列表第 1 章 绪论第 2 章 智能 Agent第 3 章 通过搜索进行问题求解第 4 章 超越经典搜索第 5 章 对抗搜索第 6 章 约束满足问题第 7 章 逻辑 Agent第 8 章 一阶逻辑第 9 章 一阶逻辑的推理本次期中考试的部分题目与往年试卷较为相似建议同学们结合往年真题进行复习。往年试卷资源甘晴的GitHub仓库含 2015–2020 年以及部分年份的计科、智能和计拔的期中、期末试卷注意文件中的参考答案仅供对照参考个别题目答案可能存在错误。其中期中试卷的 α-β 剪枝部分答案有误使用时请注意识别。关于时间本次考试时长为1.5 小时其中 MINIMAX 部分还要自己画博弈树以及各种画图学习Agent模型示意图、A*搜索的树搜索图、约束图。整体时间较为紧张建议考前多加练习加快绘图速度。回忆一、基础概念20 分题号考查内容说明1学习 Agent 的组成与功能并绘制模型图四个组成部分以及对应功能2遗传算法的基本原理涉及选择、交叉、变异三大核心操作3遗传算法的选择概率计算给出每个个体的评估函数值要求计算各个个体被选中的概率参考题目T12020 年期中其中问题产生器个人理解为建议探索性行动帮助Agent发现更好的长期策略T22019 年期中T3二、搜索题号考查内容说明1一致代价搜索、贪婪优先搜索、A* 搜索的定义需准确描述各算法的评价函数特点2使用 A* 搜索求解问题并绘制搜索树给定启发式函数逐步展开搜索树并标注 f(n)值3给出 A* 搜索的最终解路径根据搜索树选择最优路径参考题目2018 年期中答题示意搜索树绘制方式提示绘制搜索树时建议在节点旁标注 f(n) g(n) h(n) 的值。三、对抗搜索题号考查内容说明1含 Chance 节点的博弈树计算各节点值Chance 节点处需根据概率取期望值2α-β 剪枝的判定条件说明 α 值和 β 值的含义及剪枝触发条件3判断该博弈树能否进行 α-β 剪枝若能则给出具体剪枝方案需在博弈树上标注被剪枝的分支参考题目2020 年期中考试说明实际题目的博弈树比参考题更复杂但 Chance 节点仅出现在倒数第二层因此不影响上方层次的 α-β 剪枝操作。四、约束满足问题CSP题号考查内容说明1绘制约束图以变量为节点、约束关系为边构建二部约束图2描述搜索步骤并给出冲突集如过有冲突集属于智能回溯向后看中的概念3列举三种优化 CSP 搜索效率的方法如前向检查、弧一致AC-3、最小剩余值MRV启发式等T1 参考答案T2 说明冲突集是智能回溯向后看中的内容。冲突集与当前变量赋值冲突的先前变量赋值集合冲突指导的回跳当变量X j X_jXj​的值域为空时其冲突集为conf ( X j ) \text{conf}(X_j)conf(Xj​)回跳到冲突集中最近的变量X i X_iXi​并置conf ( X i ) ← conf ( X i ) ∪ conf ( X j ) − { X i } \text{conf}(X_i) \leftarrow \text{conf}(X_i) \cup \text{conf}(X_j) - \{X_i\}conf(Xi​)←conf(Xi​)∪conf(Xj​)−{Xi​}T3 参考题目五、一阶逻辑 Agent约 15 分题号考查内容说明1谓词定义与一阶逻辑表示将自然语言描述转化为谓词逻辑公式2归结反演证明使用归结原理进行定理证明需写出归结步骤参考题目某年期末试卷与本次期中题目基本一致