人工智能第八章——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

>>阅读原文<<