一階述語論理への変換に役立ちます
-
26-09-2019 - |
質問
のみこれらの述語を使用して.....
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.
でしょうが、助けに感謝...おかげで...
解決
たぶん、このような何かます:
((child(Julie) ^ location(Julie,Y,park)) -> sunny(Y)) ^ ((child(Julie) ^ location(Julie,Y,home)) -> ~sunny(Y))
私は何かを考えることができる場合は、私はこれをさらに編集します。私は一階述語論理に触れたので、しばらくして:)
他のヒント
あなたの最初の答えが正解ではありませんが、それは厳格なルールを記述していない記述しているので、それはFOLに実際に翻訳可能ではありませんが、一般的にそうであるだけで何か。物事のようなものを記述するために、あなたは非単調論理のいくつかの種類が必要になります。
しかし、私たちはそのアウトを残して、ちょうどasumeそれは厳格なルールがあり、あなたはここでそれが子供である場合には、企業のXが存在しないと言って、すべての例外的な行動を無視して、自宅で病気や子供であっても。私はあなたが$場所(X、Y、学校)であることを暗示の第二の先例であることを意味し考える$
サーガルVにより、第2の文のレンダリングは良さそうに見えますが、おそらくあなたは、あなたの問題文ではなく、子供であることを暗示(あなたが持っているしたいのか、因果関係に依存)と彼の文章力ジュリーを逆にします
所属していません StackOverflow