《人工智能》 第八章

一阶逻辑的语法及语义

模型 解释

命题逻辑里面的模型是：

======

一阶逻辑里面语句的符号：
一阶逻辑里面可能元素有哪些东西？

一阶逻辑的可能世界里面， 包含对象， 关系元素。

要定义一阶逻辑的模型， 回到上诉三个问题， 左边有什么？右边有什么？

FOL一阶逻辑的模型

• 包含对象
• 对象之间有关系 ， 关系使用元组形式表示， 还有函数。

FOL逻辑的符号

个体常元： 可能世界里面具体的对象
谓词：用来讲关系 ，用谓词描述关系
函词： 函数，
函词和谓词之间有时候可以转换，又有区别，比如例子：

一阶函数的模型， 包含一组对象， 以及一个解释。


：两个。
因为右边已经固定了 ，由前三行确定 。 其实这就是问有多少种解释， 右边固定了， 左边也固定了 ，问有多少种解释。
首先， mother谓词智能解释成关系 mother{a,b} , 这两个常量符号 sucie , bob , 都既可以解释成a 也可以解释成b.
这样的模型， 有多少个可能的模型， 就是说解释有4个， 就有4个可能的模型。

下一个例子：

命题逻辑里面讲过蕴含： P(A),P(B) 蕴含？ 任意x P(X), 右边这条语句在所有使得左边为真的情况（模型）下都为真。
如果说蕴含不成立，需要找到一个反例， 这个模型使得左边为真， 右边为假， 现在尝试找到这样一个模型， 要找到一个反例的模型， 首先要说清楚 ，对象集合是什么。？
假设对象集合里面有三个对象， 其中， a 和b 解释成三个对象中的两个。
找不到， 所以就得不出 任意x P(X)这样的结论。

讲蕴含的时候讲过若干种方法：
1、 模型检验
2、逻辑