谓词表示法求解农夫、狼、山羊、白菜问题（个人理解）

题目：

用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一条河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。请完成以下问题：

问题：

用一阶谓词逻辑设计给出一个确保全部安全过河的规划，写出所用谓词的定义及本问题的求解过程。

解题思路：

步骤一：使用自然语言求解出问题答案；

步骤二：将问题求解过程中的事物的状态，位置，动作进行谓词定义；

步骤三：明晰问题的初始状态和目标状态；

步骤四：设置状态转换中的操作（包含条件和动作两部分），并且根据实际求解步骤连接起来；

步骤五：完善出从初始状态到目标状态的所有状态；   

具体：

步骤一：使用自然语言求解出问题答案：

第一回合：左岸到右岸：农夫带羊

                  右岸到左岸：不带东西

第二回合：左岸到右岸：农夫带狼

                  右岸到左岸：农夫带羊

第三回合：左岸到右岸：农夫带白菜

                  右岸到左岸：不带东西

第四回合：左岸到右岸：农夫带羊

（从第二回合起问题有另一种最优解：

           ①　第二回合：左岸到右岸：农夫带菜

                                     右岸到左岸：农夫带羊

           ②　第三回合：左岸到右岸：农夫带狼

                                     右岸到左岸：不带东西

            ③　第四回合：左岸到右岸：农夫代羊

可见从第二回合起有先带狼或者白菜两种选择，但求解问题无太大差异，故下面的第三问以第一种解决方法为例编写。

）

步骤二：将问题求解过程中的事物的状态，位置，动作进行谓词定义；

（将农夫定义为可主动操作体，用AT表示他的位置，将狼白菜羊定义为无主动操作的个体，用ON表示它的位置 ）

BANK（w）:w是岸边；

EMPTY(x):x什么都没带；

AT(x,w):x在w处；

HOLDS(x,z):x带着z；

ON(z,w):z在w处；

w的个体域是{left,right}；

x的个体域是{farmer}；

z的个体域是{wolf,sheep,cabbage}；

步骤三：明晰问题的初始状态和目标状态；

问题初始状态是：

AT（farmer,left）

EMPTY（farmer）

ON（wolf,left）

ON（sheep,left）

ON（cabbage,left）

BANK（left）

BANK（right）

问题目标状态是：

AT（farmer,right）

EMPTY（farmer）

ON（wolf,right）

ON（sheep,right）

ON（cabbage,right）

BANK（left）

BANK（right）

步骤四：设置状态转换中的操作（包含条件和动作两部分），并且根据实际求解步骤连接起来；

BOATING(x,y):农夫划船从x到y岸

   条件：AT（x,y）

   动作：删除表：AT（farmer,x）

             添加表：AT（farmer,y）

PICKUP(x,y):农夫在x处带上y

   条件：ON（y,x），BANK（x），AT（farmer,x），EMPTY（farmer）

   动作：删除表：EMPTY（farmer）,ON(y,x)

             添加表：HOLDS(farmer,y)

SETDOWN(x,y):农夫在x处放下y

   条件：AT（farmer,x）,BANK（x）,HOLDS(farmer,y)

   动作：删除表：HOLDS(farmer,y)

              添加表：EMPTY（farmer）,ON(y,x)

第一回合：PICKUP（left,sheep）,BOATING（left,right），SETDOWN（right,sheep）,BOATING（right,left）

第二回合：PICKUP（left,wolf）,BOATING（left,right），SETDOWN（right,wolf）,PICKUP（right,sheep）

BOATING（right,left）,SETDOWN（left,sheep）

第三回合：PICKUP（left,cabbage）,BOATING（left,right），SETDOWN（right,cabbage）,BOATING（right,left）

第四回合：PICKUP（left,sheep）,BOATING（left,right），SETDOWN（right,sheep）

步骤五：完善出从初始状态到目标状态的所有状态；

全部状态图示如下：

 

 

小结:一开始想将“在船上”划分为一个状态，但那样势必要引入“下船”和“上船”两个操作，感觉对于机器来说实现起来更严谨，但懒得做了，在此小记已经做好的简易版，在此简单讨论此问题，将“船”划分为一个动作“BOATING”，当农夫“HOLDS”某物体时，默认中农夫和该物体都在船上，但不引入船状态。