qq_45721462的博客

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

题目： 用谓词表示法求解农夫、狼、山羊、白菜问题。农夫、狼、山羊、白菜全部放在一条河的左岸，现在要把他们全部送到河的右岸去，农夫有一条船，过河时，除农夫外船上至多能载狼、山羊、白菜中的一种。狼要吃山羊，山羊要吃白菜，除非农夫在那里。请完成以下问题： 问题： 用一阶谓词逻辑设计给出一个确保全部安全过河的规划，写出所用谓词的定义及本问题的求解过程。 解题思路： 步骤一：使用自然语言求解出问题答案； 步骤二：将问题求解过程中的事物的状态，位置，动作进行谓词定义； 步骤三：明晰问题的初始状态和目标