2、、右岸到左岸各八个)。注意：这里没有(12),因为该组合在船上的传教士人数少于野人人数。规则集如下：rl：IF(m,c,1)THEN(m-3,c,0)r2：IF(m,c,1)THEN(m,c-3,0)r3：IF(m,c,1)THEN(m-2,c-1,0)r4：IF(m,c,1)THEN(m-1,c-1,0)r5：IF(m,c,1)THEN(m-l,c,0)r6：IF(m,c,1)THEN(m,c-1,0)r7：IF(m,c,1)THEN(m-2,c,0)r8：IF(m,c,1)THEN(m,c-2,0)r9:IF(m
3、,c,0)THEN(m+3,c,1)rlO：IF(m,c,0)THEN(m,c+3,1)rll：IF(m,c,0)THEN(m+2,c+1,1)rl2：IF(m,c,0)THEN(m+1,c+1,1)rl3：IF(m,c,0)THEN(m+l,c,1)rl4：IF(m,c,0)THEN(m,c+l,1)rl5：IF(m,c,0)THEN(m+2,c,1)rl6：IF(m,c,0)THEN(m,c+2,1)第二种方法：将规则集综合在一起，简化表示。规则集如卞：rl:IF(m,c,1)and0=
4、jori=0)THEN(m-i,c-j,0)r2：IF(m,c,0)and0=jori=0)THEN(m+i,c+j,1)2,初始状态:(5,5,1)3,结束状态:(0,0,0)第2题答：1,综合数据库定义两元组：(L5,L2)其中：0<=L5v=5,表示容量为5升的壶的当前水量。0<=L2<=2,表示容量为2升的壶的当前水量。2,规则集rl：IF(L5,L2)THEN(5,L2)/*将L5灌满水*/r2：IF(L5,L2)THEN(L5,2)/*将L2灌满水*/r3：IF(L5,L2)TH
5、EN(0,L2)/*将L5水到光*/r4：IF(L5,L2)THEN(L5,0)/*将L2水到光*/r5：IF(L5,L2)andL5+L2<=5THEN(L5+L2,0)/*L2至U入L5中*/r6：IF(L5,L2)andL5+L2>5THEN(5,L5+L2-5)/*L2到入L5中*/r7：IF(L5,L2)andL5+L2<=2THEN(0,L5+L2)/*L5到入L2中♦/r8：IF(L5,L2)andL5+L2>5THEN(L5+L2-2,2)/*L5到入L2中*/3,初始状态:(5,0)4,结朿条件：(
6、x,1),其中x表示不定。当然结朿条件也可以写成：(0,1)第3题答：1,综合数据库定义三元组：(A,B,C)其中A,B,C分别表示三根立柱，均为表，表的元素为1〜N之间的整数，表示N个不同大小的盘子，数值小的数表示小盘子，数值大的数表示大盘子。表的第一个元素表示立柱最上面的柱子，其余类推。2,规则集为了方便表示规则集，引入以下儿个函数：first(L)：取表的第一个元素，对于空表，first得到一个很大的大于N的数值。tail(L)：取表除了第一个元素以外，其余元素组成的表。cons(x,L)：将x加入到表L的最前
7、面。规则集：rl:IF(A,B,C)and(first(A)8、ail(B),C)r5:IF(A,B,C)and(first(C)
