人工智能习题_第1页
人工智能习题_第2页
人工智能习题_第3页
人工智能习题_第4页
人工智能习题_第5页
已阅读5页,还剩36页未读 继续免费阅读

下载本文档

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

文档简介

1、人工智能习题2.10 设农夫、狼、山羊、白菜全部在一条河的左岸,现在要把他们全部送到河的右岸去。农夫有一条船,过河的时候除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊,山羊要吃白菜,除非农夫在那里。试规划出个确保安全过河的计划。请写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。2.10 解答 location(s,f,w,g,c):表示在s处是否有农夫、狼、山羊、白菜。s个体域为L,R,f,w,g,c的个体域是0,1 boat(s,x):表示农夫把x从s运到另一边。s的个体域是L,R,x的个体域是wolf,goat,cabbage 安全性谓词:safety(s,f,w,g,c)

2、 (f=1) V (w+g2) (g+c(X,Y,S)表示状态S下 XY (X,Y,S)表示状态S下 XY X,Y的个体域是0,1,2,3 安全性谓词 safety(Z,X,Y,S)(X,0,S) (X,Y,S) (X=0)2.11 解答 谓词 across :在保证渡河前后的安全性的前提下的一种过河方案: S=across(D,X,X1,Y,Y1,S) (D=+)safety( L,X-X1,Y-Y1,S)safety(R,3-X+X1,3-Y+Y1,S)(boat(L,S)boat(R,S)(D=-)safety( R,X-X1 ,Y-Y1,S) safety(L,3-X+X1,3-Y+Y

3、1 ,S)(boat(R,S) boat(L,S) (2,X1+Y1,S)2.18 请对下列命题分别写出他们的语义网络: 每个学生都有一台计算机 高老师从3月到7月给计算机系学生讲计算机网络课 学习班的学员有男有女,有研究生有本科生 创新公司在科海大街56号,刘泽是该公司的经理,他32岁,硕士学位 红队与蓝队进行足球比赛,最后以3:2的比分结束2.18 解答gGSsl学生拥有电脑ISAISA AKOSubjectObjectF 2.18 解答计算机系学生讲课计算机网络3月到7月高老师Duration TeacherTitleStudent 2.18 解答学习班的学员或男与或Part女本科生硕士

4、生ABCD人PartPartPartStateStateStateState2.18 解答创新公司科海大街56号刘泽32岁硕士经理DegreeLocated-at HeadshipAgeWork-for 2.18 解答比赛足球红队3:2Play ResultGame蓝队Play参赛队ISAISA3.15 设已知: 如果x是y的父亲,y是z的父亲,则x是z的祖父 每个人都有一个父亲 试用归结演绎推理证明:对于某人u,一定存在一个人v,v是u的祖父3.15 解答 “如果x是y的父亲,y是z的父亲,则x是z的祖父” (F(x,y) F(y,z) G(x,z) “每个人都有一个父亲” (x)(彐彐y)

5、 (F(y,x) “对于某人u,一定存在一个人v,v是u的祖父”的否定 (u )(彐v) (G(v,u)3.15 解答 化成子句集: F(x, y) F(y, z) G(x, z) F(f(w), w) G(g(u), u)F(x, y) F(y, z) G(x, z)F(f(w), w)F(x, f(z) G(x, z)G(g(u), u) NILw/zF(f(w), w)G(f(f(z), z)w/f(z)u/z, g(u)/f(f(z)3.19 设已知: 能阅读的人是识字的 海豚不识字 有些海豚是很聪明的 分别用线性输入策略、祖先过滤策略证明:有些很聪明的人并不识字3.19 解答 现在假

6、设“是海豚”是人的一种性质(否则不可证): “能阅读的人是识字的” R(x) L(x) “海豚不识字” D(x) L(x) “有些海豚是很聪明的” (彐x) (D(x) S(x)3.19 解答 “有些很聪明的人并不识字”的否定 (彐x) (S(x) L(x) 化成子句集 R(x) L(x) D(y) L(y) D(z) S(u) S(v) L(v) 线性输入与祖先过滤相同S(v) L(v)D(y) L(y)D(y) S(y)S(u) NILy/vD(z)S(z)z/yu/z3.24 张、王和李都属于高山协会,该协会的每个成员不是滑雪运动员,就是登山运动员,登山运动员不喜欢雨,而且任一不喜欢雪的

7、运动员不是滑雪运动员,王讨厌李所喜欢的一切东西,而喜欢张所讨厌的一切东西,张喜欢雨和雪。 试用谓词公式集合表示这段知识,这些谓词公式要适合一个逆向的基于规则的演绎系统。试说明这样一个系统怎样才能回答如下问题: “高山俱乐部中有没有一个成员,他是一个登山运动员,但不是一个滑雪运动员”3.24 解答 事实: f1: CLUB(Zhang)张属于高山协会 f2: CLUB(Wang)王属于高山协会 f3: CLUB(Li)李属于高山协会 f4: LIKE(Zhang, rain) LIKE(Zhang, snow)张喜欢雨和雪 f4: LIKE(Zhang, rain) LIKE(Zhang, sn

8、ow)张喜欢雨和雪 规则: r1: LIKE(Zhang, rain) LIKE(Zhang, snow)张喜欢雨和雪4.5 有一农夫带一条狼,一只羊和一筐菜欲从河的左岸乘船到右岸,但受下列条件限制 船太小,农夫每次只能带一样东西过河; 如果么有农夫看管,则狼要吃羊,羊要吃菜。 请设计一个过河方案,使得农夫、狼、羊都能不受损失地过河,画出相应的状态空间图。4.5 解答 用四元组(农夫、狼、羊、菜)表示状态,其中每个元素都为0或1,用0表示在左岸,1表示在右岸。 合法的状态为:(0000), (0001), (0010), (0100), (0101), (1010), (1011), (110

9、1), (1110), (1111) 把每次过河的一种安排作为一种操作,每次过河都必须有农夫。 操作:boat(x, p),xNIL, wolf, goat, cabbage表示农夫带什么过河,p0,1表示起始河岸4.5 解答(0000)(1010)(0010)(1011)(0001)(1110)(0100)(1101)(0101)(1111)4.5 解答 序列: boat(goat, 0) boat(NIL, 1) boat(cabbage, 0) boat(goat, 1) boat(wolf, 0) boat(NIL, 1) boat(goat, 0) boat(goat, 0) boa

10、t(NIL, 1) boat(wolf, 0) boat(goat, 1) boat(cabbage, 0) boat(NIL, 1) boat(goat, 0)4.8 图示为五个城市的交通图,城市之间的连线旁边的数字是城市之间路程的费用要求从A城出发,经过其他各城一次且仅一次,最后回到A城,请找出一条最优路线。ADCEB91069231112884.8 解答 深度优先ADCEB9106923111288ADCEB9106923111288ADCEB9106923111288ADCEB91069231112884.8 解答 广度优先ADCEB9106923111288ADCEB91069231

11、11288ADCEB9106923111288ADCEB91069231112884.8 解答 A B E D C 30ADCEB91069231112884.13 设有图示的与/或树,请分别用与/或树的广度优先搜索和深度优先搜索求出解树。ABt1CDt2t3t4t54.13 解答 广度优先搜索ABt1CDt2t3t4t54.13 解答 广度优先搜索ABt1CDt2t3t4t54.13 解答 深度优先搜索ABt1CDt2t3t4t54.13 解答 深度优先搜索ABt1CDt2t3t4t54.15 设有如图4.35所示的博弈树,其中最下面的数字是假设的估值,请对该博弈树做如下工作: 计算各节点的倒退值; 利用-剪枝技术剪去不必要的分支。4.15S0ACGHIJDBEKLMNF05-3336-235 4-3068 9-34.15 解答S0ACGHIJDBEKLMNF05-3336-235 4-3068 9-300-34.15 解答S0ACGHIJDBEKLMNF05-3*36-235 4-3068 9-300-30 0

温馨提示

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

评论

0/150

提交评论