artificial-intelligence - 如何将此句子转换为一阶逻辑格式良好的公式？

Question

我正在尝试使用一阶逻辑（谓词逻辑）将以下句子转换为格式良好的公式。

所有的塔都是相同的颜色。

我定义了以下谓词：

Tower(x) :: x 是一个塔。

颜色(x, y) :: x 的颜色为 y

我无法使用上述谓词将上述句子转换为格式良好的公式。是否可以使用上述谓词进行转换，或者需要一些新的谓词。请指教。

编辑：忘记添加细节。世界上只有三种可用的颜色（红、绿、蓝）。这个细节可以用吗。这对解决方案有什么影响吗？

score 5 · Accepted Answer

5

存在一个 Y1 使得对于所有 X Tower(X) 意味着 Color(X, Y1)

于 2011-04-11T21:04:09.253 回答

score 2 · Accepted Answer

2

我们不要假设存在任何塔或颜色。

tower(x) ∧ tower(y) ∧ color(x,z) → color(y,z)

于 2011-04-12T14:43:41.720 回答

score 0 · Accepted Answer

在 StackOverflow 上发布后，我意识到这个问题更适合Math。所以我在那里重新发布了这个问题。

虽然，戴夫的解决方案是完全正确的，但那里发布的解决方案似乎更直观，所以我在这里链接它以供其他用户参考。

3 回答 3