《人工智能》 第八章

一阶逻辑的语法及语义 模型 解释 命题逻辑里面的模型是： ====== 一阶逻辑里面语句的符号： 一阶逻辑里面可能元素有哪些东西？ 一阶逻辑的可能世界里面， 包含对象， 关系元素。 要定义一阶逻辑的模型， 回到上诉三个问题， 左边有什么？右边有什么？ FOL一阶逻辑的模型 包含对象 对象之间有关系 ， 关系使用元组形式表示， 还有函数。 FOL逻辑的符号 个体常元： 可能世界里面具体的对象 谓词：

>>阅读原文<<