兄弟们哪位知道，急求 人工智能 野人传教士过河问题，详解！！！！？
设有3个传教士（Missionaries）和3个野人(Cannibals)来到河边，打算乘一只船从右岸渡到左岸去。该船的最大负荷能力为两个人（k=2）。在任何情况下：如果野人人数超过传教士人数，那么野人就会把传教士吃掉。他们怎样才能用这条船安全地把所有人都渡过河去呢？（提示：用状态空间来描述，其综合数据库：用三元数组表示。即2024-11-08 01:03:57
我来试着回答一下前三问:
(1)完整的规则集合
if (MR, CR, LR=1) then (MR-1, CR, LR-1);
if (MR, CR, LR=1) then (MR, CR-1, LR-1);
if (MR, CR, LR=1) then (MR-1, CR-1, LR-1);
if (MR, CR, LR=1) then (MR-2, CR, LR-1);
if (MR, CR, LR=1) then (MR, CR-2, LR-1);
if (MR, CR, LR=0) then (MR+1, CR, LR+1);
if (MR, CR, LR=0) then (MR, CR+1, LR+1);
if (MR, CR, LR=0) then (MR+1, CR+1, LR+1);
if (MR, CR, LR=0) then (MR+2, CR, LR+1);
if (MR, CR, LR=0) then (MR, CR+2, LR+1);
(2)状态空间的总状态数为4×4×2=32，只有20个合法状态，其中有4个合法状态达不到，最终解空间由16个状态组成，下面给出说明
(MR, CR, LR) (MR, CR, LR)
(0 0 1)达不到 (0 0 0)
(0 1 1) (0 1 0)
(0 2 1) (0 2 0)
(0 3 1) (0 3 0)达不到
(1 0 1)不合法 (1 0 0)不合法
(1 1 1) (1 1 0)
(1 2 1)不合法 (1 2 0)不合法
(1 3 1)不合法 (1 3 0)不合法
(2 0 1)不合法 (2 0 0)不合法
(2 1 1)不合法 (2 1 0)不合法
(2 2 1) (2 2 0)
(2 3 1)不合法 (2 3 0)不合法
(3 0 1)达不到 (3 0 0)
(3 1 1) (3 1 0)
(3 2 1) (3 2 0)
(3 3 1) (3 3 0)达不到
(3)2个野人去，1个野人回
2个野人去，1个野人回
2个传教士去，1个野人与1个传教士回
2个传教士去，1个野人回
2个野人去，1个野人回
2个野人去，完成
不合法的状态和重复状态，我都没画出，你可以自己加一下，也可以结合图
说明一下
2024-11-08 01:08:32
我来试着回答一下前三问:
(1)完整的规则集合
if (MR, CR, LR=1) then (MR-1, CR, LR-1);
if (MR, CR, LR=1) then (MR, CR-1, LR-1);
if (MR, CR, LR=1) then (MR-1, CR-1, LR-1);
if (MR, CR, LR=1) then (MR-2, CR, LR-1);
if (MR, CR, LR=1) then (MR, CR-2, LR-1);
if (MR, CR, LR=0) then (MR+1, CR, LR+1);
if (MR, CR, LR=0) then (MR, CR+1, LR+1);
if (MR, CR, LR=0) then (MR+1, CR+1, LR+1);
if (MR, CR, LR=0) then (MR+2, CR, LR+1);
if (MR, CR, LR=0) then (MR, CR+2, LR+1);
(2)状态空间的总状态数为4×4×2=32，只有20个合法状态，其中有4个合法状态达不到，最终解空间由16个状态组成，下面给出说明
(MR, CR, LR) (MR, CR, LR)
(0 0 1)达不到 (0 0 0)
(0 1 1) (0 1 0)
(0 2 1) (0 2 0)
(0 3 1) (0 3 0)达不到
(1 0 1)不合法 (1 0 0)不合法
(1 1 1) (1 1 0)
(1 2 1)不合法 (1 2 0)不合法
(1 3 1)不合法 (1 3 0)不合法
(2 0 1)不合法 (2 0 0)不合法
(2 1 1)不合法 (2 1 0)不合法
(2 2 1) (2 2 0)
(2 3 1)不合法 (2 3 0)不合法
(3 0 1)达不到 (3 0 0)
(3 1 1) (3 1 0)
(3 2 1) (3 2 0)
(3 3 1) (3 3 0)达不到
(3)2个野人去，1个野人回
2个野人去，1个野人回
2个传教士去，1个野人与1个传教士回
2个传教士去，1个野人回
2个野人去，1个野人回
2个野人去，完成
不合法的状态和重复状态，我都没画出，你可以自己加一下，也可以结合图
说明一下
