一、对 N=5、k≤3 时,求解传教士和野人问题的产生式系统各组成部分进行描述(给出综
合数据库、规则集合的形式化描述,给出初始状态和目标条件的描述),并画出状态空间图。
答: 用 M 表示传教士,C 表示野人,B 表示船,L 表示左岸,R 表示右岸。
初始状态:
L
5
5
1
M
C
B
目标状态:
R
0
0
0
M
C
B
R
5
5
5
L
0
0
0
1,综合数据库
定义三元组:(M,C,B)
其中:0== j or i=0) THEN (Ml -i, Cl -j, 0)
r2:IF (Ml, Cl, 0) and 0< i+j〈=3 and (i>= j or i=0) THEN (Ml +i, Cl +j, 1)
p30
p03
p21
p11
p10
p01
p20
p02
q30
q03
q21
q11
q10
q01
q20
q02
3,状态空间图
p01
(5,5,1)
p02
p03
P11
(5,4,0)
(5,3,0)
q01
(5,2,0)
q01
q02
q10
(4,4,0)
(5,4,1)
p03
P21
P20
(5,3,1)
p03
(3,3,0)
q11
(4,4,1)
q02
(5,0,0)
q01
(5,1,1)
P03
P02
(0,1,0)
q01
(0,2,1)
(5,1,0)
q01
(5,2,1)
P30
(2,2,0)
q11
(3,3,1)
P30
(0,3,0)
q01
(0,4,1)
P02
(0,2,0)
q01
(0,3,1)
P03
(0,0,0)