人工智能与一阶逻辑

Question

我不确定何时使用通用量词或存在量词。 这是我的例子： 任何通过他的历史考试并赢得彩票的人都很高兴。 在一阶逻辑中： ∀x通过（x，历史）^赢（x，彩票） - ＆gt;幸福（X） 要么 ∃x通过（x，历史）^赢（x，彩票） - ＆gt;幸福（X） 我想知道逻辑是否正确。

Answer 1

存在量词意味着“有一个人，X，这样......”，而不是“任何人，X，这样”。

不确定为什么你有“prolog”标签。但是Prolog中的相应条款将是：

happy(X) :- pass(X, history), win(X, lottery).

Answer 2

你应该明白，存在性和通用量词都是彼此的补充（类似于加/减和乘法/除法）。任何可以通过否定另一个来实现。

  

任何通过历史考试并赢得彩票的人都很高兴。

答案是：

1. ∀x{Pass（x，history）^ win（x，lottery） - ＆gt;幸福（X）} 读作：对于所有x，如果x通过历史并且x赢得彩票，则x很高兴。
2. ~∃x{Pass（x，history）^ win（x，lottery） - ＆gt; 〜快乐（X）} 读作：不是这种情况（或者不可能）如果一个人通过历史并赢得彩票，那么他就不高兴了。