人工智能AI2章作业题解释ppt课件

1、 作作 业业1. 用谓词逻辑知识表示方法表示如下知识：用谓词逻辑知识表示方法表示如下知识： (1) 有人喜欢梅花，有人喜欢菊花，有人既喜欢梅花又喜欢菊花。有人喜欢梅花，有人喜欢菊花，有人既喜欢梅花又喜欢菊花。 (2) 不是每个计算机系的学生都喜欢在计算机上编程序。不是每个计算机系的学生都喜欢在计算机上编程序。2. 请用语义网络表示如下知识：请用语义网络表示如下知识： 高教师从高教师从3月到月到7月给计算机系的学生讲月给计算机系的学生讲“计算机网络课。计算机网络课。3. 什么是产生式系统？它由哪几个主要部分组成？什么是产生式系统？它由哪几个主要部分组成？4. 判别以下子句集能否为不可满足判别以下

2、子句集能否为不可满足 P(x)Q(x )R(x), P(y)R(y), Q(a), R(b) 5. 证明证明G是是F的逻辑结论的逻辑结论 F: (x)(y)(P(f(x)(Q(f(y) G: P(f(a)P(y)Q(y) 作作 业业 题题 参参 考考 解解 1. 用谓词逻辑知识表示方法表示如下知识：用谓词逻辑知识表示方法表示如下知识： (1) 有人喜欢梅花，有人喜欢菊花，有人既喜欢梅花又喜欢菊花。有人喜欢梅花，有人喜欢菊花，有人既喜欢梅花又喜欢菊花。 (2) 不是每个计算机系的学生都喜欢在计算机上编程序。不是每个计算机系的学生都喜欢在计算机上编程序。 解：解：(1) 定义谓词定义谓词 P(x)

3、：x是人是人 L(x,y)：x喜欢喜欢y其中，其中，y的个体域是的个体域是梅花，菊花梅花，菊花。 将知识用谓词表示为：将知识用谓词表示为： (x)(P(x)L(x, 梅花梅花)L(x, 菊花菊花)L(x, 梅花梅花)L(x, 菊花菊花) 解：解：(2) 定义谓词定义谓词 S(x)：x是计算机系学生是计算机系学生 L(x, pragramming)：x喜欢编程序喜欢编程序 U(x,computer)：x运用计算机运用计算机 将知识用谓词表示为：将知识用谓词表示为： (x) (S(x)L(x, pragramming)U(x,computer) 作作 业业 题题 参参 考考 解解 2. 请用语义网

4、络表示如下知识：请用语义网络表示如下知识： 高教师从高教师从3月到月到7月给计算机系的学生讲月给计算机系的学生讲“计算机网络课。计算机网络课。 解：解： 讲课事件讲课事件 计算机系学生计算机系学生 高教师高教师 教师教师 计算机网络计算机网络 讲课讲课 3月月 7月月SubjectObjectCourseActionStartEndIsa作业题参考解作业题参考解 P(x)Q(x )R(x) P(y)R(y) Q(x)R(x) Q(a) R(a) R(b)NILx/ya/xa/b 4. 判别以下子句集能否为不可满足判别以下子句集能否为不可满足 P(x)Q(x )R(x), P(y)R(y), Q

5、(a), R(b) 解：采用归结反演，存在如下归结树，故该子句集为不可满足。解：采用归结反演，存在如下归结树，故该子句集为不可满足。作作 业业 题题 参参 考考 解解P(f(a) Q(f(a)NILa/w5、证明、证明G是是F的逻辑结论的逻辑结论 F: (x)(y)(P(f(x)(Q(f(y) G: P(f(a)P(y)Q(y)证：先转化成子句集证：先转化成子句集 对对F，进展存在固化，有，进展存在固化，有 P(f(v)(Q(f(w)得以下两个子句得以下两个子句 P(f(v)，Q(f(w) 对对G，有，有 P(f(a)P(y) Q(y)先进展内部合一，设合一先进展内部合一，设合一f(a)/y，那么有因子那么有因子 P(f(a) Q(f(a) 再对上述子句集进展归结演绎推再对上述子句集进展归结演绎推理。其归结树