这个一阶逻辑表示是否正确？答案

【问题标题】：Is this first order logic representation correct?这个一阶逻辑表示是否正确？
【发布时间】：2015-11-11 18:42:48
【问题描述】：

我需要观看一阶逻辑的在线视频，

要在 FLO 中转换的语句是

每个人都爱它的妈妈。

老师是这样写的

(For All x)(There exists y) Mother(x,y) and Loves(x,y)

如果 x 是 person1,person2,person3，它将正常工作。

但是，如果 x 是表，它将不起作用。所以在这里使用 For all X 对我来说似乎不合适。有人可以向我解释我做错了什么吗？

【问题讨论】：

【解决方案1】：

为简单起见，讲师假设该领域只有人类。当然，你说的是对的。应添加其他语句，例如Person(x) 和 Person(y) 使这更具体。

【讨论】：

【解决方案2】：

你是对的，错误在于（存在 y），因为如果 x 是表，则不存在母亲。我认为正确的答案可能是

(For All x)(for all y)(if Mother(x,y) than Loves(x,y))

或者，只是为了确保被理解

(For All x)(for all y)(Mother(x,y) --> Loves(x,y))

这意味着对于每个 x 和 y（即使对于表），如果 y 是 x 的母亲，而不是 x 爱他的母亲，这就是你一开始的断言。

人工智能部分在哪里？

（对不起我的英语）

【讨论】：