人工智能第八章——FOL（一階邏輯）（待補充）

摘要 本文旨在講明： 1）一階邏輯（FOL）的語法，語義 2）FOL如何使用 3）Knowledge Engineering in FOL 一、回顧 命題邏輯（propositional logic）：缺乏表達能力。 二、FOL FOL假定世界包含： 1）objects 對象 2）relations 關係 3）functions 函數 模型：A set of objects and an inte

>>阅读原文<<