人工智能第4版部分课后答案_第1页
人工智能第4版部分课后答案_第2页
人工智能第4版部分课后答案_第3页
已阅读5页,还剩3页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、附加题1.请写出用一阶谓词逻辑表示法表示知识的步骤。步骤:(1)定义谓词及个体,确定每个谓词及个体的确切含义:(2)根据所要表达的事物或概念,为 每个谓词中的变元賦予持定的值:(3)根据所要表达的知识的语义用适片的联接符号将徐个谓词联接 起来.形成谓词公式。1.什么是子句?什么是子句集?请写出谓词公式子句集的步骤。解:子句就是由一些文字组成的析取式。由子句构成的集合称为子句集。步骤:(1)消去谓词公式中的蕴涵和双条件符号,以-AvB代替AtB以(AaB)v(AaB)替换(2) 减少不定符号的辖域,使不定符号最多只作用到一个谓词上。(3) 重新命名变元名.使所有的变元的名字均不同.并且自由变元及

2、约束变元亦不同。(4) 消去存在址词。(5) 把全称虽词全部移到公式的左边.并使每个虽词的辖域包括这个址词后血公式的整个部分。(6) 母式化为合収范式.建立起与其对应的子句集。2-2用谓词表示法求解修道士和野人问题。在河的北岸有三个修道士、三个野人和一条 船,修道士们想用这条船将所有的人都运过河去,但要受到以下条件限制:(1) 修道士和野人都会划船,但船一次只能装运两个人。(2) 在任何岸边,野人数不能超过修道士,否则修道士会被野人吃掉。假左野人愿意服从任何一种过河安排,请规划出一种确保修道士安全的过河方案。要求 写出所用谓词的定义、功能及变量的个体域。解:(1)左义谓词先定义修道士和野人人数

3、关系的谓词:G(x.y.S):在状态S下x大于yGE(x,y,S):在状态S I' x大于或等于y其中,x,y分别代表修道士人数和野人数,他们的个体域均为0,2,3。再泄义船所在岸的谓词和修道士不在该岸上的谓词:Boat(z,S):状态S卜船在z岸EZ(x,S):状态S下x等于0,即修道士不在该岸上其中,z的个体域是L.R, L表示左岸,R表示右岸。再定义安全性谓词:Safety(z,x,y,S)=(G(x,0,S) AGE(x,y,S) V (EZ(x,S)其中,z,x,y的含义同上。该谓词的含义是:状态ST,在z岸,保证修道士安全,当且仅 当修逍士不在该岸上,或者修道士在该岸上,但

4、人数超过野人数。该谓词同时也描述了相应 的状态。再定义描述过河方案的谓词:L-R(x, xl, y, yLS): xl个修道上和yl个野人渡船从河的左岸到河的右岸条件:Safety(L,x-x I ,y-y 1 ,S*)ASafety(R3-x+x 1,3-y+yLSABoat(L,S) 动作:Safcty(L,xxl,yylS)ASafety(R,3x+xl,3y+ylS)/Boat(RS)R-L(x, xl, y, yl.S): x2个修道士和y2个野人渡船从河的左岸到河的右岸条件:Safety(R,3xx2,3yy2S)ASafety(L,x+x2,y+y2,S*)ABoat(R,S)动

5、作:Safety(R,3-x-x2,3-y-y2,S>)ASafety(L,x+x2,y+y2,S>)ABoat(L,S,)过河方案Safety(L393.S0) A Safety(R.O,O,SO) A Boat(USO)J L-R(3, 1,3,1 ,S0)f fL-R(3, 0, 3, 2,S0)Safety(L,22,S 1) A Safety(RJ J,S1)ASafety(L3,hSr)A Safety(R,0,2,S r)ABoat(R.SR-L (2, 1, 2. 0,S 1)R-L (3Q 1, 1 $ 1')Safety(L32,S2) A Safety

6、(R,OJ ,S2) A Boat(L,S2)J LR(3, 0. 2, 2,S2)Safety(L3AS3)ASafety(RA3S3)ABoat(R,S3) R-L (3,0,0, 1.S3)Safety(L3J ,S4) A Safcty(RQ2、S 1) A Boat(L.S4)|LR(3,2, l,0、S4)Safety(LJ J.S5)A Safety(R,2,2,S5) A Boat(R,S5) R 丄(1, 1, 1, 1,S5)Safety(L,2,2,S6) A Safety(RJ ,1 ,S6) A Boat(L.S6)|L-R(2, 2, 2,0.S6)Safety(L

7、A2.S7)A Safety(R,3,LS7)A Boat(R,S7)J R 丄(0,0,2, 1,S7)Safety(LA3,S8)ASafety(R,3,0.S8)ABoat(L.S8)LR(0, 0, 3, 2,S8)Safety(L.0.1 ,S9) A Safcty(R,3,2,S9) A Boat(R,S9)| R丄(0, 1, l,0S9)Safety(L.LhS10)A Safcty(R,2,2,S 10) A Boat(L,S 10)L-R(l, 1, 1, LS10)Safety(L.O.O.S 11)A Safety(R.33511) ABoat(R.S 11)习题解答:

8、2-3设有如下问题:(1)有五个相互可直达且距离已知的城市A、B、C、D、E,如图所示:(2)某人从A地岀发,去英它四个城市各参观一次后回到A;(3)找一条最短的旅行路线请用产生式规则表示旅行过程。解:综合数据库(x)(X)中X可以是一个字母,也可以是一个字符串。初始状态(A)目标状态(Axlx2x3x4A)规则集:rl:IFL(S)=5THENGOTO(A)r2: IFL(S)<5THENGOTO(B)r3:IFL(S)<5THENGOTO(C)r4: IFL(S)<5THENGOTO(D)r5:IFL(S)<5THENGOTO(E)其中L(S)为走过的城市数,GOT

9、O(x)为走向城市x路线如下图所示:目标最短旅行路线为:A->C->D->E.>B->A总距离为 5+6+8+10+7=362-6把下列句子变换成子句形式:(l) (x) (P(x)->P(x) xy(On(x,y)f Above(x,y)(3) xyz(Above(x,y)AAbove(y,z)*Above(x,z) (x) P(x)-> (y) p(y)fp(f(x,y) A(y) Q(x,y)->P(y)(ANY x) P(x)-»P(x) (ANY x) P(x)OR P(x)P(x) OR P(x)最后子句为P(x) OR P

10、(x)(2) (ANY x) (ANY y) On(x,y)->Above(x,y)(ANY x) (ANY y) 0n(x,y) OR Above(x,y) On(x.y) OR Above(x,y)最后子句为On(x.y) OR Abovc(x.y)(3) (ANY x) (ANY y) (ANY z) Above(x,y) AND Abovc(y,z) 9 Above(x.z) (命题联结词之优先级如下:否泄-合取-析取-蕴涵-等价)(ANY X) (ANY y) (ANY z) Above(x.y) AND Above(y,z) OR Above (x,z) Above(x.y)

11、 AND Abovc(y,z) OR Above (x,z)最后子句为Abovc(x,y). Above(y,z) OR Above(x,z)(4) (ANY x) P(x)-> (ANY y) p(y)Tp(f(x,y) AND (ANY y) Q(x,y) T P(y) (ANY x) P(x) OR (ANY y) p(y) OR p(f(x,y) AND (ANY y) Q(x,y) OR P(y)(EXT x) P(x) AND (EXT x) p(y) AND p(f(x,y) OR (EXT y) Q(x,y) AND P(y) (EXT x) P(x) AND (EXT

12、w) p(y) AND p(f(w,y) OR (EXT v) Q(x,v) AND P(v) P(A) AND p(y) AND p(f(B,y) OR Q(A,C) AND P(C) P(A) AND p(y) AND p(f(B.y) OR Q(A.C) AND p(y) AND p(f(B,y) OR P(C) P(A) AND p(y), p(f(B,y) OR Q(A,C) AND p(y), p(f(B,y) OR P(C) 最后子句为P(A) p(x), p(f(B.x) OR Q(A,C) p(y), p(f(B.y) OR P(C)2 一 7用谓词演算公式表示下列英文句子(

13、多用而不是省用不同谓词和项。例如不要用单 一的谓词字母来表示每个句子)。A computer system is intelligent if it can perform a task which.if performed by a human requires intelligence 2 -7答:定义如下谓词:P(x,y) : x performs y task ( x 完成 y 任务):Q(y) : y requires intelligence(y 需要智能) C(x) : x is a computer system(x 是一个计算机系统)I(x) : x is intellige

14、nt(x 是智能的)(滋血乙刃 7尸(兀对八。0) TZg)2 - 7答:定义如下谓词:P(x,y) : x performs y task ( x 完成 y 任务):Q(y) : y requires intelligence(y 需要智能) C(x) : x is a computer system(x 是一个计算机系统)I(x) : x is intelligent(x 是智能的)(W)Qy)(CgA尸他胺乙刃八尸(兀刃八。0) TZg)2 一 8把下列语句表示成语义网络描述:(1) All man are mortal.(2) Every cloud has a silver limi

15、ng(3) All branch managers of DEC participate in a profit-sharing plan.2-8 答:(1 )(2 )(3 )2- 9以办公室框架为例:办公室名称:教务办电话:1234567工作人员:工作人员_1、工作人员_2设备:电脑2台、复印机3台工作人员姓名:张三岀生年月:1965年9月岗位:办公室主任职称:副教授工作人员_2姓名:李四出生年月:1984年9月岗位:普通办公员职称:助教3- 14下列语句是一些几何左理,把这些语句表示为基于规则的几何证明系统的产生式规则:(1) 两个全等三角形的各对应角相等。(2) 两个全等三角形的各对应边

16、相等。(3) 各对应边相等的三角形是全等三角形。(4) 等腰三角形的两底角相等。规则:IF两个三角形全等THEN各对应角相等规则:IF两个三角形全等THEN各对应边相等规则:IF两个三角形各对应边相等THEN两三角形全等规则(4): IF它是等腰三角形THEN 它的两底角相等补充:1张某被盗,公安局派出五个侦察员去调査。研究案情时,侦察员A说“赵与钱中至少有 一人作案”:侦察员B说“钱与孙中至少有一人作案”:侦察员C说“孙与李中至少有一人 作案S侦察员D说“赵与孙中至少有一人与此案无关S侦察员E说“钱与李中至少有一 人与此案无关”。如果这五个侦察员的话都是可信的,试用归结演绎推理求出谁是盗窃犯

17、。 解:第一步:将5位侦察员的话表示成谓词公式,为此先定义谓词。设谓词P(x)表示是作案者.所以根据题意:A: P(zhao) V P(qian) B: P(qian) V P(sun) C: P(sun) V P(li)D: >P(zhao) V P(sun)E: »P(qian) VP(li)以上每个侦察员的话都是一个子句。第二步:将待求解的问题表示成谓词。设y是盗窃犯,则问题的谓词公式为P(y),将英否左 并与ANSWER(y)做析取:P(y) V ANSWER(y)第三步:求前提条件及P(y) V ANSWER(y)的子句集,并将各子句列表如下:P(zhao) V P(

18、qian)P(qian) V P(sun)P(li)V >P(sun)V -P(li) ANSWER(y)P(sun) V'P(zhao)iP(qian)-P(y) v第四步:应用归结原理进行推理。(1) 与归结与(5)归结(2) 与(4)归结(2) 与归结(3) 与归结(3)与(5)归结(2)与归结(2)与(12)归结(6)与(13)归结,o =qian/y(6)与(14)归结,o =sun/yP(qian) V >P(sun)P(zhao) V >P(li)P(qian) V iP(zhao)P(sun) V 'P(li)iP(zhao) V P(li)P

19、(sun) V iP(qian)P(qian)P(sun)ANSWER(qian)ANSWER(sun)所以,本题的盗窃犯是两个人:钱和孙。2任何兄弟都有同一个父亲,John和Peter是兄弟,且John的父亲是David,问Peter的父 亲是谁?解:第一步:将已知条件用谓词公式表示出来,并化成子句集。那么,要先左义谓词。 立义谓词: 设Father(x.y)表示x是y的父亲。 设Brother(x,y)表示x和y是兄弟。 将已知事实用谓词公式表示出来: Fl:任何兄弟都有同一个父亲。(x)( y)(谏 Brocr(X.y)AFather(z?x)-*Father(z,y)F2: John 和 Peter 是兄弟。Brother(John. Peter)F3: John 的父亲是 DavidoFather(David, John)将它们化成子句集,得Sl= >Brother(x,y)V Fa

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论