Question

我需要浏览First Order Logic的一个在线视频，

要在FLO中转换的语句是

每个人都爱它的母亲。

教师像这样写

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

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

但是，如果x是表格，则无效。所以在这里使用For all X对我来说似乎不对。有人可以向我解释我做错了吗？

Answer 1

为简单起见，教师假设该域只是人类。当然，你所说的是正确的。应添加其他声明，例如人（x）和人（y）使这更具体。

Answer 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爱他的母亲，那就是你在开始时所拥有的断言。

人工智能部分在哪里？

（对不起我的英文）