传教士过河问题

三个传教士和三个食人魔来到一条河的岸边，他们想渡河到对岸去，河的这边有一条小船，只能供两个人乘坐，可以是两个传教士或一个传教士一个食人魔，或两个食人魔。但是无论在河的此岸和彼岸如果食人魔的人数超过传教士的人数，食人魔就会把传教士吃掉，问怎样利用这条船才能把它们全渡过河去。

刚刚学习了产生式系统：

产生式系统是人工智能系统常用的一种程序结构，通常由以下三个部分组成：综合数据库、产生式规则集和控制系统;

1.综合数据库是一种数据结构是动态变化的，我个人理解就是有初始状态节点寻找终止状态节点的搜索树；

2.产生式规则具有IF<前提条件>THEN<操作>的形式，当规则的前提条件被某一状态满足时，就对该状态实行规则所指出的操作；

3.控制系统决定在这些适用的规则中选出哪一条来使用。控制系统的第二个任务是检验状态描述是否满足终止条件，如果满足终止条件，则终止产生式系统的运行，并用适用过的产生式规则序列构造出问题的解；

假设河分为左岸和右岸，当前所有人都在左岸，在此对传教士过河问题的产生式系统加以描述：

状态描述：三元组(m,c,b)

m:在左岸的传教士人数；

c:在左岸的食人魔人数；

b:布尔值，b=1当前船在左岸，b=0当前船在右岸；

初始状态：(3,3,1)    目标状态(0,0,0)

产生式规则：

R1 :  M1 L->R

  IF  [(b=1) and((m=1 and c=1) or(m=3 and c=2)) ] THEN m=m-1 ,b=0

R2 :  M2 L->R

 IF  [(b=1) and((m>=2 and c=2) or (m=3 and c=1)) ] THEN m=m-2 ,b=0

R3 :  C1 L->R

IF  [ (b=1) and (m=0 or m=3)and (c>=1) ] THEN c=c-1 ,b=0

R4 :  C2 L->R

IF  [(b=1) and (m=0 or m=3 )and(c>