




全文预览已结束
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
作业,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)再对上述子句集进行归结演绎推理。其归结树如
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 古交市2025山西太原古交市招聘事业单位人员48人笔试历年参考题库附带答案详解
- 云浮市2025广东云浮市云安区机关事业单位招聘紧缺人才5人笔试历年参考题库附带答案详解
- 2025贵州黔西经济开发区投资发展有限公司招聘8人笔试参考题库附带答案详解
- 2025福建漳州台商投资区产业发展集团有限公司招聘10人笔试参考题库附带答案详解
- 2025湖北省铁路发展基金公司招聘11人笔试参考题库附带答案详解
- 2025浙江嘉兴市海宁市尖山新区开发有限公司招聘12人笔试参考题库附带答案详解
- 2025新疆西北兴业城投集团有限公司岗位招聘26人笔试参考题库附带答案详解
- 2025年湖南国家级望城经济技术开发区投资建设集团校园招聘10人笔试参考题库附带答案详解
- 2025年国网安徽省电力有限公司高校毕业生招聘(第二批)笔试参考题库附带答案详解
- 2025山东日照城投集团有限公司招聘6人笔试参考题库附带答案详解
- 手术后疼痛评估与护理团体标准
- 五金公司质量管理制度
- 中试平台运营管理制度
- 2025年中国汽车用PTC电加热器数据监测报告
- 海参池养殖合作合同协议书
- 幼儿园中班科学语言《望着月亮吃大饼》课件
- 日本《大肠癌治疗指南》解读
- 颞下颌关节肿瘤
- 素质的课件教学课件
- 高考语文专题复习:构词方式
- 设计院管理规章制度手册及实施指南
评论
0/150
提交评论