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

>>阅读原文<<