4

一次論理では、私はルールを知っています。ただし、いくつかの文をFOLに変換するたびにエラーが発生します。多くの本やチュートリアルを読んでいますが、私を助けることができるトリックはありますか?

私がエラーを起こすいくつかの例

どんな食べ物でも食べてしまう子もいます

C(x) means “x is a child.”
F(x) means “x is food.”
Eat(x,y) x eats y
I would have written like this:

(∃x)(∀y) C(x) ∧ Eat(x,y)

edit:  (∃x)(∀y) C(x) ∧  F(y) ∧ Eat(x,y)

But the book write it like this

(∃x)(C(x) ∧ (∀y)(F(y)→Eat(x,y)))

編集番号2：私が作っている2番目のタイプのエラー：カメはウサギよりも長持ちします。

i'm writing it like this: ∀x,y Turtle(x)  ∧  Rabbit(y)  ∧ Outlast(x,y)

 but according to the book  ∀x,y Turtle(x)  ∧  Rabbit(y)  --> Outlast(x,y)

もちろん、私は本に同意しますが、私のバージョンに問題はありますか !!

4

3 に答える 3

4

から

∃<em>x∀y [C（x）∧F（y）∧Eat（x 、 y ） ]

したがって、∀y F（y）、つまりすべてが食べ物です。（「すべてのyについて、yが食物であるような子xが存在する」と、他の多くの命題が成り立つ。）また、子は自分自身を食べるということになる。任意の定数cで子を表し、それを埋めると、我々が得る

∀y [C（c）∧F（y）∧Eat（c 、 y ） ]

yは全称記号であるため、cに置き換えることでインスタンス化できます。

C（c）∧F（c）∧Eat（c、c）

これは望ましくない状況です。

2番目の例から

∀x∀y [ Turtle（x）∧Rabbit （y）∧Outlasts（x、y）]

それに続く

∀xTurtle （x ） ∧∀yRabbit （y）∧∀x∀yOutlasts （x、y）_ _ _

つまり、すべてがカメであり、すべてがウサギであり、すべてがそれ自体を含めてすべてより長持ちします。

あなたの本のバージョンは→を使用して、すべてのオブジェクトyについて、それが食べ物である場合、 xによって食べられることを示します。「すべてのXはYです」または「すべてのXはYを行います」という形式の文を表現するための条件が必要です。

于 2011-03-12T15:58:47.823 に答える
3

英語の文に決定子every (またはanyまたはno ) がある場合は常に、対応する FOL 文には、普遍量指定子と含意の両方が含まれている必要があります。たとえば、every manという名詞句の翻訳テンプレートは次のようになります。

∀ x (man(x) ⇒ ...)

英語の文に限定詞が含まれていない場合は、その中のすべての名詞に限定詞が付くように再定式化します。このようにして、FOL へのマッピングが明確になります。例: あいまい/あいまいな文

Turtles outlast Rabbits.

いくつかの意味的に異なる方法で再定式化できます。

  • どのカメもどのウサギよりも長持ちします。
  • すべてのウサギよりも長持ちするカメがいます。
  • ウサギよりも長持ちするカメもいます。
  • ほとんどのカメはほとんどのウサギより長持ちします。
  • ...

ところで、英語の文を FOL に変換するオンライン ツール APEがあります。ただし、このツールがサポートする英語の断片に収まるように、最初に文を再定式化する必要があります。ただし、このツールは単一の FOL 読み取り値を返すことに注意してください。つまり、入力に含まれる可能性のあるすべてのあいまいさを列挙するわけではありません。

于 2011-03-14T23:24:05.047 に答える
2

y最初に食べ物かどうかを確認しませんでした。あなたの発言を考慮してa、子供になりましょう。C(a)本当です。次に、を(∃x)(∀y) C(x) ∧ Eat(x,y)意味し(∃x) C(x) ∧ Eat(x,a)ます。言い換えれば、食べ物だけでなく何でも食べる子供がいるということです。

于 2011-03-12T13:40:04.810 に答える