人工智能习题课.pptVIP

广度优先搜索01A02B03t104C05D06t207t308t409t5104.13解答人工智能习题课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=1)V((w+g2)∧(g+c2))2.10解答在河的左岸有三个野人,三个修道士和一条船，修道士们想用这条船把所有的人运到河对岸,但受以下条件的约束:修道士和野人都会划船修，但船每次至多可载两个人;在河的任一岸如果野人数目超过修道士数目,修道士就会被野人吃掉；假设野人会服从任何一次过河安排，请规划一个确保修道士安全过河的计划.2.11(X,Y,S)表示状态S下XY01≥(X,Y,S)表示状态S下X≥Y02X,Y的个体域是{0,1,2,3}03安全性谓词safety(Z,X,Y,S)≡((X,0,S)∧≥(X,Y,S))∨(X=0)042.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+Y1,S′)∧(boat(R,S)→boat(L,S′))))∧(≥(2,X1+Y1,S))01022.11解答每个学生都有一台计算机01高老师从3月到7月给计算机系学生讲《计算机网络》课02学习班的学员有男有女，有研究生有本科生03创新公司在科海大街56号，刘泽是该公司的经理，他32岁，硕士学位04红队与蓝队进行足球比赛，最后以3:2的比分结束05请对下列命题分别写出他们的语义网络：2.1801g02GS03s04l05学生06拥有07电脑08ISA09ISA10AKO11Subject12Object13F14?2.18解答计算机系学生01讲课02计算机网络033月到7月04高老师05Duration06Teacher07Title08Student092.18解答学习班的学员01.或01.男01.与01.或01.女01.本科生01.硕士生01.A01.B01.C01.D01.人01.State01.State01.State01.State01.2.18解答创新公司科海大街56号刘泽32岁硕士经理DegreeLocated-atHeadshipAgeWork-for2.18解答2.18解答比赛足球红队3:2PlayResultGame蓝队Play参赛队ISAISA设已知：如果x是y的父亲，y是z的父亲，则x是z的祖父每个人都有一个父亲试用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父3.15?(?u)(彐v)(G(v,u))“对于某人u，一定存在一个人v，v是u的祖父”的否定03(?x)(彐y)(F(y,x))“每个人都有一个父亲”02(F(x,y)∧F(y,z)?G(x,z))“如果x是y的父亲，y是z的父亲，则x是z的祖父”013.15解答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)NIL{w/z}F(f(w),w)G(f(f(z)),z){w/f(z)}{u/z,g(u)/f(f(z))}设已知：能阅