第一章课后习题答案第1题答:1,综合数据库定义三元组:(m,c,b)其中:,表示传教士在河左岸的人数
,表示野人在河左岸的认输
,b=1,表示船在左岸,b=0,表示船在右岸
2,规则集规则集可以用两种方式表示,两种方法均可
第一种方法:按每次渡河的人数分别写出每一个规则,共(30)、(03)、(21)、(11)、(10)、(01)、(20)、(02)八种渡河的可能(其中(xy)表示x个传教士和y个野人上船渡河),因此共有16个规则(从左岸到右岸、右岸到左岸各八个)
注意:这里没有(12),因为该组合在船上的传教士人数少于野人人数
规则集如下:r1: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-1,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,c,0)THEN(m+3,c,1)r10:IF(m,c,0)THEN(m,c+3,1)r11:IF(m,c,0)THEN(m+2,c+1,1)r12:IF(m,c,0)THEN(m+1,c+1,1)r13:IF(m,c,0)THEN(m+1,c,1)r14:IF(m,c,0)THEN(m,c+1,1)r15:IF(m,c,0)THEN(m+2,c,1)r16:IF(m,c,0)THEN(m,c+2,1)第二种方法:将规则集综合在一起,简化表示
规则集如下:r1:IF(m,c,1)and0=jori=0)THEN(m-i,c-j,0)r2:IF(m,c,0)and0=jori=0)THEN(m+i,c+j,1)3,初始状态