作业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月SubjectObjectCourseActionStartEndIsa作业题参考解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}
