【精品】人工智能习题课95.pptxVIP

人工智能习题课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)三(f=l) V ((w+g2) A (g+c2))2.11?在河的左岸有三个野人，三个修道士和一条 船，修道士们想用这条船把所有的人运到 河对岸，但受以下条件的约束：-修道士和野人都会划船修，但船每次至多可载 两个人；-在河的任一岸如果野人数目超过修道士数目，修 道士就会被野人吃掉；?假设野人会服从任何一次过河安排，请规 划一个确保修道士安全过河的计划.2.11解答? (X,Y,S)表示状态ST XY? (X,Y,S)表示状态S下XY? X,Y的个体域是{0,1,2,3}?安全性谓词 safety(Z,X,Y,S)=((X,O,S) A (X,Y,S))V (X=0)2.11解答?谓词across :在保证渡河前后的安全性的 前提下的一种过河方案：? S，=across(D,X,Xi，Y,Y],S) T(((D=+)Asafety( L,X-Xi，Y-Yi，S )Asafety(R,3-X+XY+Y1,S, )A(boat(L/S)-?boat(R,S, ))V((D=-)Asafety( RzX-Xx ,Y-Y1,S/ ) A safety(L,3-X+Xi，3?Y+Yi，S )A(boat(R,S) boat(L,S, )))) A (2(2,X]+Yi，S))2.18?请对下列命题分别写出他们的语义网络：-每个学生都有一台计算机-高老师从3月到7月给计算机系学生讲《计算机 网络》课-学习班的学员有男有女，有研究生有本科生-创新公司在科海大街56号，刘泽是该公司的经 理，他32岁，硕士学位-红队与蓝队进行足球比赛，最后以3:2的比分结 束2.18解答I冷I学生ISAISA.SubjecteCtH电脑2.18解答I 3月亨7月|Duration5几系她氏5\高老师讲课=JTeacherTitle计算机网络2.18解答I男I I女I I本科生I I硕士生I2.18解答I v II科海大街56号ILocated-atDegreeI刘泽I创新公司b姦歸经理IWork-forAge2.18解答3.15?设已知：-如果x是y的父亲，V是z的父亲，贝収是z的祖父 -每个人都有一个父亲?试用归结演绎推理证明：对于某人u, 一定 存在一个人v, v是u的祖父3.15解答?如果X是y的父亲，y是Z的父亲，则X是Z的 祖父”一 (F(x,y) A F(y,z) 9 G(x,z))? 〃每个人都有一个父亲”-(Vx)(3y)(F(y,x))? 〃对于某人U, 一定存在一个人V, V是U的祖 父”的否定-4Vu )(3v) (G(v,u))3.15解答?化成子句集:一「F(x, y) V -F(y, z) V G(x, z)一 F(f(w), w)一G(g(u), u)「F(x,y)V ,(y,z)V 商可[亟叫 {w/z} —I「F(x, f(z))島 G(x, z) I I F(f(w), w) {w/f(z)}_ —.G(f(Hz)),z) ] I，G(g(u),u){u/z, g(u)/f(f(f))}NIL3.19?设已知:-能阅读的人是识字的-海豚不识字-有些海豚是很聪明的S?分别用线性输入策略、祖先过滤策略证明:IIII有些很聪明的人并不识字3.19解答?现在假设“是海豚”是人的一种性质(否 则不可证)：? “能阅读的人是识字的”-轮)今L(x)?海豚不识字”-D(x) -? T(x)? “有些海豚是很聪明的”-(3x)(D(x) AS(x))3.19解答?“有些很聪明的人并不识字”的否定--(3x) (S(x) A -L(x))?化成子句集T(v) V L(v) |「D(y) V「L(y一R(x) V L(x)(y/v} \ 一-一一D(y) V T(y)M(y) V -S(y)「D(z)一 D(z){z/y}丨——財|)7(z)S(u)yu丿{u/z}-一「S(v) V L(v)「NIL?线性输入与祖先过滤相同3.24?张、王和李都属于高山协会，该协会的每个成 员不是滑雪运动员，就是登山运