人工智能导论
为积极响应国家低碳环保政策，2021年秋季学期开始，中国大学MOOC平台将取消纸质版的认证证书，仅提供电子版的认证证书服务，证书申请方式和流程不变。
电子版认证证书支持查询验证，可通过扫描证书上的二维码进行有效性查询，或者访问https://www.icourse163.org/verify，通过证书编号进行查询。学生可在“个人中心-证书-查看证书”页面自行下载、打印电子版认证证书。
完成课程教学内容学习和考核，成绩达到课程考核标准的学生（每门课程的考核标准不同，详见课程内的评分标准），具备申请认证证书资格，可在证书申请开放期间（以申请页面显示的时间为准），完成在线付费申请。
认证证书申请注意事项：
1. 根据国家相关法律法规要求，认证证书申请时要求进行实名认证，请保证所提交的实名认证信息真实完整有效。
2. 完成实名认证并支付后，系统将自动生成并发送电子版认证证书。电子版认证证书生成后不支持退费。
人工智能（柴玉梅）第三章课后部分习题答案（仅供参考）
10.对第5题中的子句集，选用线性归结策略或祖先过滤型策略进行归结。
（线性归结策略通俗来说就是下一条归结必须用上一步归结的结果进行归结）
（祖先过滤型策略就是，参加归结的两个子句，要么至少有一条是初始子句集中的子句，要么一个是另一个的祖先[大概例如：A和B归结出C，C和D归结出E，C和E归结出F（这里C是E的祖先）]）
（最开始以为子句不能重复用来归结，其实是可以重复的！！！o(╥﹏╥)o）
解：
利用线性归结策略进行归结：
求子句集：
F1：
（1）¬A(x)∨B(x)∨D(x，w)
（2）¬A(y)∨B(y)∨C(t)
F2：
（3）E(a)
（4）A(a)
（5）¬D(a，z)∨E(z)
F3：
（6）¬E(u)∨¬B(u)
¬G：
（7）¬E(v)∨¬C(v)
对子句集进行归结：
（8）¬B(a) (3)与(6)归结,{a/u}
（9）¬A(a) ∨C(t) (2)与(8)归结,{a/y}
（10）¬A(a) ∨¬E(t) (7)与(9)归结,{t/v}
（11）¬A(a) (3)与(10)归结,{a/t}
（12）Nil (4)与(11)归结
因为F1∧F2∧F3∧¬G是不可满足的，所以G是F1、F2、F3的逻辑结论。