国科大高级AI考试证明题整理

系列文章目录

提示:国科大其他课程资料整理
国科大高级AI——强化学习(格子问题)
国科大高级AI——博弈论以及相关考题
国科大高级AI——一阶谓词逻辑
国科大高级AI——证明题历年考题
国科大高级AI——深度学习整理
国科大高级AI——野人和传教士问题
国科大模式识别——历年考题以及课后题整理


文章目录

  • 系列文章目录
  • 前言
  • 一、A*算法
  • 二、一阶谓词逻辑证明
  • 三、蕴含与implication的关系
  • 四、其他证明


前言

借鉴和整理国科大高级AI往届师兄师姐的证明题、前面三个是历届考题,后面的证明是一些推测的可能考的证明,防一手好吧。


一、A*算法

(1)A图搜索的最优条件是什么?
(2)证明:如果启发函数h(n)是可采纳的,那么树搜索的A
算法是最优的。

国科大高级AI考试证明题整理_第1张图片

国科大高级AI考试证明题整理_第2张图片

国科大高级AI考试证明题整理_第3张图片

二、一阶谓词逻辑证明

构造一个一阶谓词逻辑的知识库KB和句子a,使得KB 丨= a 的归结过程永远不会停止
国科大高级AI考试证明题整理_第4张图片

三、蕴含与implication的关系

国科大高级AI考试证明题整理_第5张图片

四、其他证明

命题归结原理的完备性证明:
国科大高级AI考试证明题整理_第6张图片

国科大高级AI考试证明题整理_第7张图片
国科大高级AI考试证明题整理_第8张图片
国科大高级AI考试证明题整理_第9张图片

你可能感兴趣的:(国科大,人工智能,逻辑推理)