人工智能和一階邏輯

Question

我不確定何時使用通用量詞或存在量詞。 這是我的示例：通過歷史考試並贏得彩票的任何人都很高興。 按照一階邏輯：∀xPass（x，history）^ win（x，lottery）-> happy（x）或∃xPass（x，history）^ win（x，lottery）-> happy（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）-> happy（x）}讀為：對於所有x，如果x通過歷史且x贏得彩票，則x是快樂的。
2. 〜∃x{通過（x，歷史）^ win（x，彩票）->〜happy（x）}讀為：如果某人通過歷史並贏得彩票，則並非如此 （或不可能）他不開心。