これらの述語のみを使用して.....
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.
助けていただければ幸いです...ありがとう...
あなたの最初の答えは正しくありませんが、厳密なルールを説明しているのではなく、一般的に当てはまるものだけを説明しているため、FOLに実際に翻訳することはできません。そのようなことを説明するには、ある種の非単調なロジックが必要になります。
しかし、それを省略し、それが厳格な規則であり、すべての例外的な行動を無視すると仮定したとしても、ここではエンティティ x は存在せず、それが子供で家に病気で子供であるとします。あなたは $location(X,Y,school)$ であるという含意の 2 番目の先例になるつもりだったと思います
Sagar V による 2 番目の文のレンダリングは見栄えがしますが、おそらく意味を逆にしたい場合があり (どのような因果関係を持ちたいかによって異なります)、彼の文はジュリーを問題ステートメントにない子供にする必要があります。
多分このようなもの：
((child(Julie) ^ location(Julie,Y,park)) -> sunny(Y)) ^ ((child(Julie) ^ location(Julie,Y,home)) -> ~sunny(Y))
何か思いついたら、これをさらに編集します。一階論理に触れてからしばらく経ちました:)