文档介绍：窗体顶端
1、对N=5、k≤3时,求解传教士和野人问题的产生式系统各组成部分进行描述(给出综合数据库、规则集合的形式化描述,给出初始状态和目标条件的描述)。
第1题
答: 1,综合数据库
定义三元组:(m, c, b)
其中:,表示传教士在河左岸的人数。
,表示野人在河左岸的认输。
,b=1,表示船在左岸,b=0,表示船在右岸。
2,规则集
规则集可以用两种方式表示,两种方法均可。
第一种方法: 按每次渡河的人数分别写出每一个规则,共(3 0)、(0 3)、(2 1)、(1 1)、(1 0)、(0 1)、(2 0)、(0 2)八种渡河的可能(其中(x y)表示x个传教士和y个野人上船渡河),因此共有16个规则(从左岸到右岸、右岸到左岸各八个)。注意:这里没有(1 2),因为该组合在船上的传教士人数少于野人人数。
规则集如下:
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)