人工智能习题.ppt

、狼、山羊、白菜全部在一条河的左岸,现在要把他们全部送到河的右岸去。农夫有一条船,过河的时候除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊,山羊要吃白菜,除非农夫在那里。试规划出个确保安全过河的计划。请写出所用谓词的定义,并给出每个谓词的功能及变量的个体域。(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+g<2)∧(g+c<2)),三个修道士和一条船,修道士们想用这条船把所有的人运到河对岸,但受以下条件的约束:修道士和野人都会划船修,但船每次至多可载两个人;在河的任一岸如果野人数目超过修道士数目,修道士就会被野人吃掉;假设野人会服从任何一次过河安排,>(X,Y,S)表示状态S下X>Y≥(X,Y,S)表示状态S下X≥YX,Y的个体域是{0,1,2,3}安全性谓词safety(Z,X,Y,S)≡(>(X,0,S)∧≥(X,Y,S))∨(X=0):在保证渡河前后的安全性的前提下的一种过河方案: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)):每个学生都有一台计算机高老师从3月到7月给计算机系学生讲《计算机网络》课学习班的学员有男有女,有研究生有本科生创新公司在科海大街56号,刘泽是该公司的经理,他32岁,硕士学位红队与蓝队进行足球比赛,最后以3: