-
26-09-2019 - |
题
仅使用这些谓词.....
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,因为它描述不描述了严格的规则,但只有一些是一般的情况。为了描述的那种事情,你将需要某种形式的非单调逻辑的。
不过,即使我们离开了这一点,只是asume这是一个严格的规则,忽略所有的异常行为,你在这里说,没有一个实体x如果它是一个孩子该在家里生病和孩子。我觉得你的意思是暗示的第二个先例是$位置(X,Y,学校)$
第二句由萨加尔伏渲染看起来不错,但也许你想扭转含义(取决于你想要什么因果关系有)和他的刑期力量朱莉是一个孩子是不是在您的问题声明
不隶属于 StackOverflow