人工智能-第3章-谓词逻辑与归结原理.pptVIP

智力题：五个房子，五个人，五种宠物，五种饮料，五种香烟

1、有5栋5种颜色的房子

2、每一位房子的主人国籍都不同

3、这5个人只喝一个牌子的饮料，只抽一个牌子的香烟，只养一种宠物

4、没有人有相同的宠物，抽相同牌子的香烟，喝相同的饮料

谁养鱼？;已知条件：

1、英国人住在红房子里

2、瑞典人养了一条狗

3、丹麦人喝茶

4、绿房子在白房子左边

5、绿房子主人喝咖啡

6、抽PALLMALL烟的人养了一只鸟

7、黄房子主人抽DUNHILL烟

8、住在中间那间房子的人喝牛奶

9、挪威人住在第一间房子

10、抽混合烟的人住在养猫人的旁边

11、养马人住在DUNHILL烟的人旁边

12、抽BLUEMASTER烟的人喝啤酒

13、德国人抽PRINCE烟

14、挪威人住在蓝房子旁边

15、抽混合烟的人的邻居喝矿泉水;推理的一般形式;逻辑;归结

推理;第3章谓词逻辑与归结原理;命题例子;命题公式;几个概念;等值式;摩根律：～(A∨B)=～A∧～B

～(A∧B)=～A∨～B

吸收律：A∨(A∧B)=A

A∧(A∨B)=A

同一律：A∨0=A；A∧1=A

零律：A∨1=1；A∧0=0

排中律：A∨～A=1

矛盾律：A∧～A=0

蕴含等值式：A→B=～A∨B

等价等值式：A?B=(A→B)∧(B→A)

假言易位式:A→B=～B→～A

等价否定等值式：A?B=～A?～B

归谬论：(A→B)∧(A→～B)=～A;;范式;;命题逻辑的意义;命题逻辑的推理规则;命题逻辑的归结法;归结原理

依赖于一个单一的规则：

如p∨q和~q∨r都为真，则p∨r为真。

基本思想：将待证明逻辑公式的结论，通过等值公式转换成附加前提，再证明该逻辑公式是不可满足的。;子句

建立子句集

合取范式：命题、命题和的与，如：

P∧（P∨Q）∧（～P∨Q）

子句集S：合取范式形式下的子命题（元素）的集合

例：命题公式：P∧（P∨Q）∧（～P∨Q）

子句集S：S={P,P∨Q,～P∨Q};归结式

消除互补对，求新子句→得到归结式。

如子句：C1,C2

归结式???C12=C1’∨C2’

C1,C2为C12的亲本子句。

?

注意：C1∧C2→C12，反之不一定成立。

归结式的性质:归结式是亲本子句的逻辑结论。;归结法证明过程;命题逻辑归结例题;子句集为： {～P∨Q，～Q，P}

（4）对子句集中的子句进行归结可得：

1.?????～P∨Q

2.?????～Q

3.?????P

4.?????Q， （1，3归结）

5.??????， （2，4归结）

由上可得原公式成立。;第3章谓词逻辑与归结原理;谓词逻辑基础;例子;基本定义;例子;一阶谓词公式;换名规则：将量词辖域中出现的某个约束出现的个体变量及相应的指导变量，改成另一个此辖域中未曾出现过的个体变量符号，公式中其余部分不变。

替代规则：对某自由出现的个体变量用与原公式中所有个体变量符号不同的变量符号去替代，且处处替代。

换名规则、替代规则在谓词逻辑归结的子句集求取过程中不可缺少，只有进行适当的换名和替代才能够正确得到前束范式和Skolem标准型。;谓词公式的解释;解释的例子;解：

（1）?x(P(f(x))∧Q(x,f(x)))的真值为

=(P(f(2))∧Q(2,f(2)))∨(P(f(3))∧Q(3,f(3)))

=(P(3)∧Q(2,3))∨(P(2)∧Q(3,2))

=(1∧1)∨(0∧1)=1

（2）?x?yR(x,y)的真值为

=(R(2,2)∨R(2,3))∧(R(3,3)∨R(3,2))

=(1∧1)=1;谓词公式是永真的

谓词公式是不可满足的

谓词逻辑的归结推理方法，即归结原理，就是将对谓词公式的正确性推理证明转换成为该谓词公式的不可满足性证明;谓词演算等值公式;谓词演算等值公式;前束范式;前束范式例子;谓词推理;谓词推理例子;;谓词知识表示;用连接词构成合式公式;谓词表示知识的步骤;;机器人搬弄积木块问题的谓词逻辑表示;第一步：定义谓词如下

Table(x)：x是桌子

EmptyHanded(x)：x双手是空的

At(x,y)：x在y旁边

Holds(y,w)：y拿着w

On(w,x)：w在x上

EmptyTable(x)：桌子x上是空的

第二步：题目涉及的个体定义为

机器人Robot、积木块Bo