付费下载
下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第二章2.8设有如下语句,请用相应的谓词公式分别把他们表示出来:(1) 有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。解:定义谓词P(x): x是人L(x,y): x 喜欢 y其中,y的个体域是(梅花,菊花。将知识用谓词表示为:(3x)(P(x)-*L(x,梅花)VL(x,菊花)VL(x.梅花)AL(x,菊花)(2) 有人每天下午都去打篮球。解:泄义谓词P(x): X是人B(x): x打篮球A(y): y是下午将知识用谓词表示为:(3x)(V y) (A(y)-*B(x)AP(x)(3) 新型计算机速度又快,存储容量又大。解:定义谓词NC(x): x是新型计算机F(x): x速度
2、快B(x): x容量大将知识用谓词表示为:(V x) (NC(x)-*F(x)AB(x)(4) 不是每个讣算机系的学生都喜欢在计算机上编程序。解:定义谓词S(x): x是计算机系学生L(x. pragramming): x 喜欢编程序U(xxomputer): x使用计算机将知识用谓词表示为:(V X) (S(x)f L(x, pragramming) AU(x,coinputer)(5) 凡是喜欢编程序的二都喜欢计算机。解:定义谓词P(x): x是人L(x,y): x 喜欢 y将知识用谓词表示为:(V x) (P(x)AL(x,pragramming)-* L(x, computer)2.1
3、0用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一条 河的左岸,现在要把他们全部送到河的右岸去,农夫有一条船,过河时,除农夫外船上至多能 载狼、山羊、白菜中的一种。狼要吃山羊,山羊要吃白菜,除非农夫在那里。似规划出一个确12 保全部安全过河的讣划。请写岀所用谓词的左义,并给出每个谓词的功能及变量的个体域。解:(1)先定义描述状态的谓词要描述这个问题,需要能够说明农夫、狼、羊、白菜和船在什么位置,为简化问题表示, 取消船在河中行驶的状态,只描述左岸和右岸的状态。并且,由于左岸和右岸的状态互补,因 此可仅对左岸或右岸的状态做直接描述。本题选择对左岸进行直接描述的方法,即左义
4、谓词如 下:AL(x): x在左岸苴中,x的个体域是(农夫,船,狼,羊,白菜。对应地,AL(x)表示x在右岸。问题的初始状态:AL(农夫)AL(船)AL(狼)AL(羊)AL(白菜)问题的目标状态:AL(农夫)AL(船)AL(狼)AL(羊)AL(白菜)(2)再泄义描述操作的谓词本题需要以下4个描述操作的谓词:L-R:农夫自己划船从左岸到右岸L-R(x):农夫带着x划船从左岸到右岸R-L:农夫自己划船从右岸到左岸R-L(x):农夫带着x划船从右岸到左岸其中,x的个体域是狼,羊,白菜。对上述每个操作,都包括条件和动作两部分。它们对应的条件和动作如下:L-R:农夫划船从左岸到右岸条件:AL(船),AL
5、(农夫),AL(狼)V-AL(羊),AL(羊)VAL(白菜)动作:删除表:AL(船),AL(农夫)添加表:AL(船),AL(农夫)L-R(狼):农夫带着狼划船从左岸到右岸条件:AL(船),AL(农夫),AL(狼),AL(羊)动作:删除表:AL(船),AL(农夫),AL(狼)添加表:AL(船),AL(农夫),AL(狼)L-R(羊):农夫带着羊划船从左岸到右岸条件:AL(船),AL(农夫),AL(羊),AL(狼),AL(白菜) 或:AL(船),AL(农夫),AL(羊),AL(狼),AL(白菜)动作:删除表:AL(船),AL(农夫),AL(羊)12添加表:FL(船),AL(农夫),AL(羊)L-R(
6、白菜):农夫带着白菜划船从左岸到右岸条件:AL(船),AL(农夫),AL(白菜),AL(狼) 动作:删除表:AL(船),AL(农夫),AL(白菜) 添加表:fL(船),AL(农夫),AL(白菜)R-L:农夫划船从右岸到左岸条件:AL(船),AL(农夫),AL(狼)VAL(羊),AL(羊)VAU白菜)或:AL(船),AL(农夫),AL(狼),AL(白菜),AL(羊)动作:删除表:AL(船),AL(农夫) 添加表:AL(船),AL(农夫) RL(羊):农夫带着羊划船从右岸到左岸条件:AL(船),AL(农夫),7L(羊厂AL(狼),AL(羊),AL(白菜)删除表:添加表:(3)问题求解过程 AL侬夫
7、)AL(船)JR(羊)AL(狼)>AL(羊)' AAL(白菜)动作:AL(船),AL(农夫),AL(羊) AL(船),AL(农夫),AL(羊)AL侬夫)AL(船)L-R(白菜)AL 洋)I AAL(白菜)AL(狼)AL(狼)AL(农夫)AL(白菜)R-LAL(船)AL(农夫):r AL(狼)AL(船)AL(白菜)=AL(羊)AL(羊)AL洋)AL侬夫)AL(农夫)R丄AL(船)rAL(船)> AL(羊)AL(白菜)AL(白菜)Z狼)AL(狼)LR洋)LR(狼)=>AL(白菜)AL(农夫)R-L(羊)AL(船)=0>AL(狼)AL(羊)AL(农夫)AL(船)AL(
8、羊) 白菜)AL(狼)2.18请对下列命题分别写出它们的语义网络:(1)每个学生都有一台计算机。解:12 高老师从3月到7月给计算机系学生讲讣算机网络课。解: 学习班的学员有男、有女、有研究生、有本科生。 解:参例2.14 创新公司在科海大街56号,刘洋是该公司的经理,他32岁、硕士学位。 解:参例2.10 红队与蓝队进行足球比赛,最后以3: 2的比分结束。 解:2.19请把下列命题用一个语义网络表示出来:(1) 树和草都是植物; 解:(2) 树和草都有叶和根:12解:(3) 水草是草,且生长在水中: 解:(4) 果树是树,且会结果:解:,. AKO ._. AKO |1 CanI植物 卜二囤
9、.1(5) 梨树是果树中的一种,它会结梨。 解:2.26按“师生框架二“教师框架二“学生框架”的形式写出一个框架系统的描述。 解:师生框架Frame <leachers-Students>Name: Unit (Last-name, First-name)Sex: Area (male, female)Default: maleAge: Unit (Years)Telephone: Home Unit (Number)Mobile Unit (Number)教师框架Frame <leachers >AKO<Teachers-Students > Major:
10、 Unit (Major-Name) Lectures: Unit (Course-Name)12Field: Unit (Field-Name)Project : Area (National, Provincial, Other)Default: ProvincialPaper: Area (SCL EL Core, General)Default: Core学生框架Frame <Students>AKO< Teachers-Students >Major: Unit (Major-Name)Classes: Unit (Classes-Name)Degree: A
11、rea (doctor, mastor. bachelor)Default: bachelor2.37把下列谓词公式化为子句集(l) (Vx)(Vy)(P(x,y)AQ(x,y)(2) (Vx)(Vy)(P(x, y)-Q(x. y)(3) (Vx)(3y)(P(x, y)V(Q(x, y)-R(x, y)(4) (Vx) (Vy) (3z)(P(x, y)-Q区 y)VR(x, z)解:(1)由于(Vx)(Vy)(P(x, y) AQ(x, y)B经是 Skolem 标准型,且 P(x, y)AQ(x, y)已经是合 取范式,所以可直接消去全称量词、合取词,得P(x, y), Q(x, y)
12、再进行变元换名得子句集:S= P(x, y), Q(u, v)(2) 对谓词公(Vx)(Vy)(P(x, y)->Q(x, y),先消去连接词得:Wx)(Vy)(P(x, y)VQ(x, y)此公式已为Skolem标准型。再消去全称量词得子句集:S=P(x,y)VQ(x, y)(3) 对谓词公式(Vx)(3y)(P(x,yN(Q(x,y)»R(x,y),先消去连接词 J"得:(Vx)(3y)(P(x, y)V(-Q(x.y)VR(x, y)此公式已为前束范式。再消去存在量词,即用Skolem函数f(x)替换y得:(Vx)(P(x, f(x)V-Q(x, f(x)VR(
13、x, f(x)此公式已为Skolem标准型。最后消去全称量词得子句集:S=P(x, f(x)V>Q(x, f(x)VR(x, f(x)(4) 对谓词(Vx) (Vy) (3z)(P(x, y)-Q(x, y)VR(x, z),先消去连接词'J"得:12(Vx) (Vy) (3z)(iP(x, y) VQ(x, y)VR(x, z) 再消去存在量词,即用Skolem函数f(x)替换y得:(Vx) (Vy) (P(x, y)VQ(x,y)VR(x, f(x,y)此公式已为Skolem标准型。最后消去全称量词得子句集:S=-P(x, y) VQ(x, y)VR(x, f(x,
14、y)2.41设已知:(1) 如果X是y的父亲,y是z的父亲,则x是z的祖父:(2) 每个人都有一个父亲。使用归结演绎推理证明:对于某人II,一泄存在一个人v,v是u的祖父。 解:先定义谓词F(x,y): x是y的父亲GF(x,z): x是z的祖父P(X): X是一个人再用谓词把问题描述出来:已知Fl: (Vx)(Vy)(Vz)(F(x,y)AF(ytz)->GF(x,z)F2: (V y)(P(x)->F(x,y)求证结论 G: ( B u) (3 v)( P(u)->GF(v.u) 然后再将Fl, F2和-G化成子句集: -iF(x,y)V->F(y,z)VGF(x,
15、z) -P(r)VF(s,r) P(u) -iGF(v.u)对上述扩充的子句集,其归结推理过程如下:由于导岀了空子句,故结论得证。2.42假设张被盗,公安局派岀5个人去调査。案情分析时,贞察员A说:“赵与钱中至少 有一个人作案”,贞察员B说:“钱与孙中至少有一个人作案”,贞察员C说:“孙与李中至少有 一个人作案”,贞察员D说:“赵与孙中至少有一个人与此案无关”,贞察员E说:“钱与李中至 少有一个人与此案无关”。如果这5个侦察员的话都是可信的,使用归结演绎推理求出谁是盗窃 犯。解:(1)先定义谓词和常量设C(x)表示x作案,Z表示赵,Q表示钱,S表示孙,L表示李(2) 将已知事实用谓词公式表示出
16、来赵与钱中至少有一个人作案:C(Z)VC(Q)钱与孙中至少有一个人作案:C(Q)VC(S)孙与李中至少有一个人作案:C(S)VC(L)赵与孙中至少有一个人与此案无关:FC(Z)/C(S),即-C (Z) V-C(S)钱与李中至少有一个人与此案无关:(C(Q)AC(L),即-C (Q) V-C(L)(3) 将所要求的问题用谓词公式表示岀来,并与其否泄取析取。设作案者为II,则要求的结论是C(u)0将苴与其否)取析取,得:- C(u) VC(u)(4) 对上述扩充的子句集,按归结原理进行归结,苴修改的证明树如下:因此,钱是盗窃犯。实际上,本案的盗窃犯不I匕一人。根据归结原理还可以得岀:因此,孙也是
17、盗窃犯。第三章3.7圆盘问题。设有大小不等的三个圆盘A. B. C套在一根轴上,每个盘上都标有数字1、 2、3、4,并且每个圆盘都可以独立的绕轴做逆时针转动,每次转动90° ,其初始状态S0和目 标状态Sg如图4-31所示,请用广度优先搜索和深度优先搜索,求岀从S0到Sg的路径。初始状态S0目标状态Sg图3-27园盘问题解:设用qA,qB和qc分别表示把A盘,B盘和C盘绕轴逆时针转动90°,这些操作(算 符)的排列顺序是qA,qp,qco应用广度优先搜索,可得到如下搜索树。在该搜索树中,重复岀现的状态不再划出,节点 旁边的标识Si,匸0丄2,,为按节点被扩展的顺序给出的该节
18、点的状态标识。由该图可以看出,从初始状态S。到目标状态気的路径是S()-2-5-13(Ss)1242Sis:44223432I4443334.qcS42244122S12HP Sg43.7题的广度优先搜索树4422343442北深度优先搜索略*3.8图432是5个城市的交通图,城市之间的连线旁边的数字是城市之间路程的费用。要 求从A城出发,经过英它各城市一次且仅一次,最后回到A城,请找出一条最优线路。解:这个问题又称为旅行商问题(travelling salesman problem. TSP)或货郎担问题,是一个较有普遍性的实 际应用问题。根据数学理论,对n个城市的旅行商问题, 其封闭路径的
19、排列总数为:(n!)/n=(n-l)!其计算量相当大。例如,当n=20时,要穷举其所有路 径,即使用一个每秒一亿次的计算机来算也需要350年 的时间。因此,对这类问题只能用搜索的方法来解决。3-28交通费用圉下图是对图牛32按最小代价搜索所得到的搜索树,树中的肖点为城帀名称,右点边上的数12字为该节点的代价g。其计算公式为g(n1+i)=g(ni)+c(ni, nt+i)其中,c(n】n+i)为节点m到 叶节点的边代价。V32cl g23B42<>B3482 EM32BI SI*- c11<5s<1£icl八*2a%" SB-PZ-6 + E1212SYS 汀 E11 I r JVW LI TV9 & b28 &*B1 14 E 丄E1I 6 E S -5? 3 1-& 衣BB Ml 6->E I 9/2222b 1/E iE3252S 9+ 匸 3 > cl 24 0644 论27I c承一>E28<A30<團432的最小代价搜索树口V齐/ 2 dE/r9*E33/CJ3
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 机构研究报告-Brand KPIs for laundry detergent Baby Soft in Brazil-外文版培训课件
- 客诉危机公关处理执行预案
- 鸭传染性浆膜炎防控技术指引
- 孕期产后营养调理配餐服务标准
- 职业病危害岗位人员体检计划书
- 淋巴排毒理疗手法实操手册
- 特种作业人员复审培训安全操作规程
- 血压血糖测量结果解读指南
- 黄瓜蔬菜穴盘育苗技术规范
- 员工职业健康体检检查制度
- 猴痘培训课件
- 施工试验送检方案(3篇)
- YY 0267-2025血液净化体外循环系统血液透析器、血液透析滤过器、血液滤过器及血液浓缩器用体外循环血路/液路
- 2025年四川省泸州市中考英语真题 (原卷版)
- 房屋被淹赔偿合同协议书
- 机加检验工试题及答案
- T/CI 104-2023公路隧道瓦斯工区作业设备安全技术规范
- 2025年济南历城区九年级中考英语二模考试试题(含答案)
- 脾胃病的中医护理
- 《半导体集成电路》课件-第七章:可靠性评价与失效分析
- 2024年广东惠州大亚湾开发区招聘公办学校教师真题
评论
0/150
提交评论