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

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

>>阅读原文<<