0

仅使用这些谓词.....

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.

感谢您的帮助...谢谢...

4

2 回答 2

0

也许是这样的：

 ((child(Julie) ^ location(Julie,Y,park)) -> sunny(Y)) ^ ((child(Julie) ^ location(Julie,Y,home)) -> ~sunny(Y))

如果我能想到一些东西，我会进一步编辑。自从我接触一阶逻辑以来已经有一段时间了:)

于 2010-09-30T07:39:03.437 回答
0

您的第一个答案不正确，但它并不能真正翻译为 FOL，因为它描述的不是严格的规则，而是通常情况下的情况。要描述这类事情，您需要某种非单调逻辑。

但是，即使我们忽略了这一点，并且假设它是一个严格的规则并忽略所有异常行为，您在这里会说没有一个实体 x，如果它是一个孩子并且在家里是一个生病的孩子。我认为您的意思是成为 $location(X,Y,school)$ 暗示的第二个先例

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

于 2010-12-27T14:36:18.677 回答