2

次の文を一次論理（述語論理）を使用して整形式に変換しようとしています。

すべての塔は同じ色です。

次の述語を定義しました。

Tower(x) :: x はタワーです。

Color(x, y) :: x は色 y です

上記の述語を使用して、前述の文を整形式の式に変換できません。上記の述語を使用して変換することは可能ですか、それとも新しい述語が必要ですか。お知らせ下さい。

編集：詳細を追加するのを忘れました。世界で利用できる色は、赤、緑、青の 3 つだけです。このディテールは使えますか？それは解決策に違いをもたらしますか？

4

3 に答える 3

5

すべてのXタワー（X）がColor（X、Y1）を意味するようなY1が存在します

于 2011-04-11T21:04:09.253 に答える
2

塔や色が存在すると仮定しないでください。

tower(x) ∧ tower(y) ∧ color(x,z) → color(y,z)
于 2011-04-12T14:43:41.720 に答える
0

これをStackOverflowに投稿した後、問題がMathに適していることに気付きました。そこで私はそこで問題を再投稿しました。

Daveのソリューションは完全に正しいですが、そこに投稿されたソリューションはより直感的に見えるので、他のユーザーの参照用にここにリンクしています。

于 2011-04-13T09:28:16.180 に答える