资源描述
作业,1.用谓词逻辑知识表示方法表示如下知识：(1)有人喜欢梅花，有人喜欢菊花，有人既喜欢梅花又喜欢菊花。(2)不是每个计算机系的学生都喜欢在计算机上编程序。2.请用语义网络表示如下知识：高老师从3月到7月给计算机系的学生讲“计算机网络”课。3.什么是产生式系统？它由哪几个主要部分组成？4.判断以下子句集是否为不可满足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)：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.请用语义网络表示如下知识：高老师从3月到7月给计算机系的学生讲“计算机网络”课。解：,讲课事件,计算机系学生,高老师,老师,计算机网络,讲课,3月,7月,Subject,Object,Course,Action,Start,End,Isa,作业题参考解,P(x)Q(x)R(x),P(y)R(y),Q(x)R(x),Q(a),R(a),R(b),NIL,x/y,a/x,a/b,4.判断以下子句集是否为不可满足P(x)Q(x)R(x),P(y)R(y),Q(a),R(b)解：采用归结反演，存在如下归结树，故该子句集为不可满足。,作业题参考解,P(f(a)Q(f(a),NIL,a/w,5、证明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,
展开阅读全文