一階述語論理への変換に役立ちます

Question

のみこれらの述語を使用して.....

child(X)            X is a child
unwell(X,Y) X is unwell on day Y
location(X,Y,Z)     Location of X on day Y is Z (school, park, home)
sunny(X)            X is a sunny day

Generally, children do not go to school whenever they are unwell
∄x [Child(x) ∧ location(X,y,home) → Child(x) ∧ unwell(X,y)]

私が書いたことは正しいか間違っている。

はわからない場合

またないように注意してください、この行を変換する方法...

On sunny days Julie goes to the park, otherwise she stays at home.

でしょうが、助けに感謝...おかげで...

Answer 1

たぶん、このような何かます：

 ((child(Julie) ^ location(Julie,Y,park)) -> sunny(Y)) ^ ((child(Julie) ^ location(Julie,Y,home)) -> ~sunny(Y))

私は何かを考えることができる場合は、

私はこれをさらに編集します。私は一階述語論理に触れたので、しばらくして：）

Answer 2

あなたの最初の答えが正解ではありませんが、それは厳格なルールを記述していない記述しているので、それはFOLに実際に翻訳可能ではありませんが、一般的にそうであるだけで何か。物事のようなものを記述するために、あなたは非単調論理のいくつかの種類が必要になります。

しかし、私たちはそのアウトを残して、ちょうどasumeそれは厳格なルールがあり、あなたはここでそれが子供である場合には、企業のXが存在しないと言って、すべての例外的な行動を無視して、自宅で病気や子供であっても。私はあなたが$場所（X、Y、学校）であることを暗示の第二の先例であることを意味し考える$

サーガルVにより、第2の文のレンダリングは良さそうに見えますが、おそらくあなたは、あなたの問題文ではなく、子供であることを暗示（あなたが持っているしたいのか、因果関係に依存）と彼の文章力ジュリーを逆にします