人工智能逻辑 ¶

课程学习内容 ¶

人工智能逻辑研究逻辑语言和推理规则；语言表示（如一阶逻辑语言、基于规则的语言）、语法规则（将关系 / 连接表示为公式）、语义模型（公式的解释）。 主要知识点为：

• 知识的表示与推理
• 命题逻辑与一阶逻辑
• 知识图谱与描述逻辑
• 缺省逻辑、非单调逻辑
• 回答集编程
• 论证与攻击关系
• 抽象论辩理论

在命题逻辑与一阶逻辑及之前的内容和在离散数学以及人工智能基础 / 人工智能引论课程中学到的相关逻辑差距不大，最大的区别可能重新引入了一套符号体系，在逻辑推导等方面有范式。

这门课的重点与难点在笔者看来是知识图谱相关知识点和缺省逻辑、非单调逻辑的内容，这一部分符合常识但与我们之前建立的逻辑体系有很大的出入，接受并建立这样一个新的逻辑体系在笔者会是一个很痛苦的过程，因此该课程的后半学期需要投入更多精力。

先修要求 ¶

• 离散数学理论基础
• 人工智能基础

不过对于最开始的命题逻辑和一阶逻辑老师也会重新讲一遍，所以没有逻辑学基础的同学其实也完全不影响修读这门课，只是在课程前期会吃力一些。

任课教师 ¶

本门课程只由廖备水一位老师开设。

授课方式：中文授课（ PPT 内容和老师授课都是用中文，上课会在 PPT 上进行手写推导）。

授课水平：廖老师是长江学者，哲学学院和计算机学院双聘教授，学术水平极高。就上课体验，廖老师口齿清晰，逻辑清晰（这显然是废话），会手持话筒收音很好。上课也会经常询问同学们的掌握情况来调整课程进度。

给分情况： 20 级和 21 级的反馈都比较求是，能拿到不错的成绩但高分难度极大，建议期待值不要太高。给分在一定程度也看助教，22 春夏的助教姐姐 yzl 在平时给分上就比较慷慨。

课程教材 ¶

仍在完善中，暂未出版。每节课课前助教会发放该节课对应内容的纸质讲义（也就是教材的一部分），在钉钉也会同步发布电子版教材。

推荐书单 ¶

老师有很多推荐书目，会在对应内容结束后发在钉钉群（但是笔者甚至都没下载过），感兴趣的同学可以作为课外读物。 也欢迎有缘人对这门课的推荐书单进行补充。

分数构成 ¶

• 小测（15%）

  从第二节课开始每节课前都会有小测（课前进行，需要提前 10 分钟到教室），小测的主要目的是签到，只要过了助教的斩杀线（一般来说 3 个题做出来 1 道）就可以拿到满分。小测是 paper work 的形式，所以基本没有翘课的可能。

• 作业（25%）

  每周都会布置思考题，设置的 ddl 一般是下周上课前，每次题目的数量在 4-6 题不等。一般情况思考题就是教材的课后习题。由于教材尚未出版，这个方向也相对小众，作业很难找到现成的答案，作业的难度也参差不齐，快的时候一小时可以搞定，但在比较难的章节可能需要花接近半天的时间。

• 考试（60%）

  闭卷考试。考试的题型包括名词解释、判断、简答、证明，其中简答和证明的内容与难度都与作业题类似。