《人工智能A章作业题解释.ppt》由会员分享，可在线阅读，更多相关《人工智能A章作业题解释.ppt（5页珍藏版）》请在金锄头文库上搜索。
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),
5、 Q(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) 再对上述子句集进行归结演绎推再对上述子句集进行归结演绎推理。其归结树如右图所示，即存在理。其归结树如右图所示，即存在一个到空子句的归结过程。一个到空子句的归结过程。 因此因此G为真。为真。 P(f(v)Q(f(a)Q(f(w)a/v
