下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、作 业,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. 用谓词逻辑知识表示方法表示如下知识: (
2、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、络表示如下知识: 高老师从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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 25.古人谈读书教案
- 传统工艺点翠介绍
- 高校防艾教育:知识、态度与行为的多维度解析与成效评估
- 高校美术教学专用教室设计:功能、空间与创新的融合
- 高校校园建筑色彩系统:构建与意义探究
- 高校思政课视角下大学生德育社会化的省思与重构
- 高校学子的心灵密码:人格特征与压力应对方式的深度解析
- 高校国防教育价值取向与实现路径的深度剖析与实践探索
- 高校体育教育中幸福感与成就动机的关联及提升策略探究
- 高效除氟吸附剂颗粒化方法及吸附效果的深度剖析与优化策略
- 驾校安全绩效考核制度
- 产品品质管控体系快速构建指南
- 烟花爆竹经营单位主要负责人安全培训
- 挑战杯乡村旅游
- (新教材)2026年人教版八年级下册数学 第十九章 章末核心要点分类整合 课件
- 短视频广告的时长效果研究
- 2025ESC临床共识声明:心理健康和心血管疾病课件
- 警网融合培训课件
- 周勇线性代数课件
- 2024年甘肃省预防接种技能竞赛理论考试题库含答案
- 违禁物品X射线图像与识别课件
评论
0/150
提交评论