《人工智能》 第八章

一階邏輯的語法及語義 模型 解釋 命題邏輯裏面的模型是： ====== 一階邏輯裏面語句的符號： 一階邏輯裏面可能元素有哪些東西？ 一階邏輯的可能世界裏面， 包含對象， 關係元素。 要定義一階邏輯的模型， 回到上訴三個問題， 左邊有什麼？右邊有什麼？ FOL一階邏輯的模型 包含對象 對象之間有關係 ， 關係使用元組形式表示， 還有函數。 FOL邏輯的符號 個體常元： 可能世界裏面具體的對象 謂詞：

>>阅读原文<<