帮助转换为一阶逻辑

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，学校）$

第二句由萨加尔伏渲染看起来不错，但也许你想扭转含义（取决于你想要什么因果关系有）和他的刑期力量朱莉是一个孩子是不是在您的问题声明