人工智能第2版学习——人工智能中的逻辑2

书：人工智能第2版
有需要电子版的可以私信我。

这次学习第5章的谓词逻辑，包括合一、反演、转换为字句(斯克林范式)。

谓词逻辑

谓词逻辑比命题逻辑更具有表达力。比如上一次学的国王的智者，如果用命题逻辑，需要为很多命题提供不同的变量，如“智者1戴着一顶蓝帽子”、“智者1戴着一顶白色帽子”等。而且不能引用命题逻辑表达式的一部分。

表达式

谓词逻辑表达式：一个谓词名称和一个参数列表。书中，谓词名称以大写字母开头，如WM_1()。参数列表中元素的个数称为参数数量，如Win()、Favorite Composer(Beethoven)和Greater-Than(6,5)谓词的参数数量分别为0、1、2。常数名称允许小写，如me、you。

存在量词和全称量词

谓词逻辑表达可以和运算符(~,$\vee$,$\wedge$,=>,<=>)组合。
存在量词$\exists$：$\exists x$表示“存在x”。
全称量词$\forall$：$\forall x$表示“对于所有x”。

谓词逻辑中的合一

在命题逻辑中，我么用反演来论证命题有效性，非常的简单，能得到两个字面量不能同时为真就可以，如L和~L。但是在谓词逻辑中就没那么简单，因为要考虑谓词的参数，比如A(x)和 ~A(y)并不一定矛盾。所以我们找矛盾时，需要用匹配程序比较两个字面量，检测是否存在一组替换，使得它们相等，这就是合一。
匹配规则：

看两个例子：
我截图了，毕竟书写得挺清楚的。

例子1

例子2

谓词逻辑中的反演

归结反驳通过否定需要证明的命题，来证明一个定理，即添加否定形式的结论到公里集中。

步骤

示例说明

最后的文字表述感觉很不顺，估计是这翻译的人没翻译好。
这段话的意思是，从第二和第三个字句为真可以得出，第四个字句为真。这时由于第一个字句为真，会和第四个字句矛盾而产生空集。由此可以得出第三个字句的反命题为真。

斯克林范式

这段话比较有意思的我都给标红了。啥意思呢？看了后面其实就能懂，它会把一些句子给变换一下，虽然和原意可能不能完全等价，但是如果有矛盾在原表达式中，替换后这个表达式还是会在里面，不会影响反演之类的推理。

步骤

下面我就截图了，然后划一划一些重点并修改一些错误。

例子

这次学到这里吧，下次学习知识表示。
点个赞呗~~