我正在学习FWGC人工智能问题的生产系统。更多详情请见https://www.cs.unm.edu/~luger/ai-final2/CH4_Depth-.%20Breadth-,%20and%20Best-first%20Search.pdf

我对图的构建方式不太理解。我能理解到这个图形，并且知道状态是如何根据位置来表示的。

这个图是如何构建的？有人能解释一下吗？

回答：

根据文档，对图表的描述如下：

这个“图”是状态转换图，展示了从任何给定状态可以到达的所有可能状态，从state(w,w,w,w)作为初始状态开始。状态转换的决定是基于所描述问题的逻辑。如果你为这个问题设置了正确的Prolog规则，这样的图可以用Prolog自动生成，或者作为辅助手动生成以帮助你思考如何编写规则。文档没有明确说明他们是如何生成的，但他们只提到这是对可能状态转换的部分描述，并且不考虑任何给定状态是否“安全”，这意味着图中包含了一些你希望Prolog解决方案排除的状态。考虑到文档中的位置和上下文，我认为这是手动生成的，目的是帮助制定合理的Prolog程序的数据表示和设计。

举个例子，初始状态是所有四样东西（农夫、狼、羊、白菜）都在西岸。这就是状态state(w,w,w,w)，分别代表F、W、G、C的位置。从这里出发，一个动作可以到达的可能状态是，因为农夫一次只能带最多一件物品过河：

West          East           State----          ----           -----G, C          F, W           state(e, e, w, w)W, C          F, G           state(e, w, e, w)W, G          F, C           state(e, w, w, e)W, G, C       F              state(e, w, w, w)

这是通过思考规则和可能的选择得出的。在上述每个新状态中，农夫要么带一个物品过河，要么独自过河。这就是4个可能的移动。图中的箭头指示了可以转换到的状态。因此，图表明状态转换是反身的（也就是说，如果你从状态A到状态B，你也可以从B到A）。

再举一个例子，当处于state(e, e, w, w)时：

West            East           State----            ----           -----G, C            F, W           state(e, e, w, w)

从这里出发，只有两种可能的移动：农夫带狼返回过河（回到state(w, w, w, w)，或者农夫独自返回过河，这将是state(w, e, w, w)，这是在状态转换图中显示的状态。