帮助转化为一阶逻辑

只使用这些谓词.....帮助转化为一阶逻辑

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.

将不胜感激帮助...谢谢...

来源

2010-09-30 John

也许是这样的：

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

我会进一步编辑这个，如果我能想到的东西。过了一段时间，因为我摸了一次逻辑:)

来源

2010-09-30 07:39:03

这不会工作，据我所知原因....这意味着她可以回家一个晴天....！！！ – John 2010-09-30 07:44:48

哦，是的！对不起，我读错了。我会改变我的答案。 – 2010-09-30 07:53:19

如果我写点类似于 [sunny（Y） - > location（Julie，Y，park）] V location（Julie，Y，home） – John 2010-09-30 08:02:33

你的第一个答案是不正确的，但它不是真的可以转换为FOL，因为它描述了不描述一个严格的规则，但只是一般案子。为了描述这种事情，你需要某种非单调逻辑。

但是，即使我们不说，只是假设它是一个严格的规则，并忽略所有的特殊行为，你在这里说，没有一个实体x，如果它是一个孩子，在家里生病，孩子。我认为你的意思是成为第二个先例，暗示为$ location（X，Y，学校）$

萨加尔V的第二句话的渲染看起来不错，但也许你想扭转含义（取决于你想要什么因果关系）和他的判决力量朱莉是一个孩子，这是不是在你的问题陈述

来源

2010-12-27 14:36:18 Robokop

帮助转化为一阶逻辑

回答

相关问题