搜索
1、用谓词逻辑知识表示方法表示如下知识：(1)有人喜欢梅花，有人喜欢菊花，有人既喜欢梅花又喜欢菊花。解：定义谓词P(x)：x是人。L(x,y)：x喜欢y其中，y的个体域是{梅花，菊花}。将知识用谓词表示为：(Ex)(P(x)→L(x,梅花)∨L(x,菊花)∨L(x,梅花)∧L(x,菊花)(2)不是每个计算机系的学生都喜欢在计算机上编程序。解：定义谓词S(x)：x是计算机系学生L(x,pragramming)：x喜欢编程序U(x,computer)：x使用计算机将知识用谓词表示为：¬(Ex)(S(x)→L(x,pragramming)∧U(x,computer))2.请用语义网络表示如下知识：高老师从3月到7月给计算机系的学生讲“计算机网络”课。3.什么是产生式系统？它由哪几个主要部分组成？答：产生式系统是指以产生式知识表示方法和产生式推理方法所实现的系统。J具体而言，就是一组产生式一起相互配合，协同作用，一个产生式生成的结论可以供另一个产生式作为已知事实使用，以解决问题，这样的系统称为产生式系统。它是由规则库、综合数据库和推理机三个部分组成。4.判断以下子句集是否为不可满足{P(x)∨Q(x)∨R(x),﹁P(y)∨R(y),﹁Q(a),﹁R(b)}老师讲课事件7月8月高老师讲课计算机网络计算机学生ISASubjectStartEndObjectActionCaurse5.证明G是F的逻辑结论F:(∃x)(∃y)(P(f(x))∧(Q(f(y)))G:P(f(a))∧P(y)∧Q(y)解：(1)先将F和¬G化成子句集：S={P(a,b),¬P(x,b)}再对S进行归结：{a/x}所以，G是F的逻辑结论P(a,b)-P(x,b)NILP(x)vQ(x)vR(x)¬Q(a)¬R(b)P(x)vR(x)P(x)NIL¬P(y)¬P(y)vR(y)a/xb/ya/x,b/y