《人工智能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