课程信息

• 教师: 戴望州 (daiwz@lamda.nju.edu.cn)

• 上课时间与地点: 2022 春季学期, 周二 16:10 - 18:00, 逸夫楼 B-211

• 助教: 胡文超 (huwc@lamda.nju.edu.cn)

作业

注：作业提交方式：上传到 sftp，主机地址: www.lamda.nju.edu.cn（用户名: sym2022，密码: 12345asd!@），作业文件夹地址：/D:/courses/sym2022/hw。

所有作业文件夹上传权限均已关闭，如需补交请联系老师或助教。

• 作业1（截止时间：2022年3月4日 23:59）提交名单

• 作业2 相关资料（截止时间：2022年4月15日 23:59）提交名单

• 作业3（截止时间：2022年5月3日 23:59）提交名单

• 大作业 作业要求（截止时间：2022年7月17日 23:59，不接受补交）提交名单

课件

• 01 绪论

• 02 命题规则学习（上）

• 03 命题规则学习（下）

• 04 一阶逻辑与逻辑程序（上）

• 05 一阶逻辑与逻辑程序（下）

• 06 归纳逻辑程序设计（一）

• 07 归纳逻辑程序设计（二）

• 08 Guest Lecture by Professor Stephen H. Muggleton [Lecture 8.1 (Paper 8.1.1, Paper 8.1.2)] [Lecture 8.2 (Paper 8.2.1, Paper 8.2.2)]

• 09 非经典逻辑与近似推理

• 10 概率逻辑系统

• 11 概率逻辑推断

• 12 概率规则学习

• 13 神经符号学习

Last modified: 2022-07-18