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，因为它描述的并不描述严格的规则，而只是通常情况下的情况。要描述这类事物，你需要某种非单调逻辑。

但即使我们把它排除在外，并且只是认为它是一个严格的规则而忽略了所有特殊行为，你在这里说没有实体x，如果它是一个孩子，在家里生病和孩子。我认为你的意思是成为$ location（X，Y，school）$

的第二个先例。

Sagar V对第二句的渲染看起来不错，但也许你想要扭转暗示（取决于你想要的因果关系）和他的句子强迫朱莉成为一个不在你的问题陈述中的孩子

转换为一阶逻辑的HElp

2 个答案: