Logic 帮助转换为一阶逻辑

仅使用这些谓词

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

但是，即使我们不考虑这一点，只是假设这是一个严格的规则，忽略所有的异常行为，你在这里说，没有一个实体x，如果它是一个孩子，在家里生病了，还是一个孩子。我认为你的意思是成为$location（X，Y，school）含义的第二个先例$

---

Sagar V对第二个句子的渲染看起来不错，但也许你想颠倒其含义（取决于你想要什么因果关系），他的句子迫使Julie成为一个孩子，而这不在你的问题陈述中

据我所知，这是行不通的，因为。。。。这意味着她可以在阳光明媚的日子回家。。。。！！！如果我写一些像[sunny（Y）->location（Julie，Y，park）]V location（Julie，Y，home）@John：我不完全确定，主要是因为这会转化为[location（Julie，Y，park）^~ sunny（Y）]V location（Julie，Y，home）。我不能完全肯定这是正确的。