《人工智能》教案 第6课 归结演绎推理

（2）熟悉确定性推理，探究技术原理，增加知识储备，培养钻研精神

（3）了解时代新科技，激发学习兴趣和创新思维，增强民族自信心

教学重点：归结演绎推理的概念

教学重难点

教学难点:利用归结演绎推理解决问题

教学方法讲授法、讨论法、问答法

教学用具计算机、投影仪、多媒体课件、教材

课前任务一考勤（2min）一问题导入（3min）一传授新知（50min）一新知导入（3min）一

教学设计

课堂实训（20min）一课堂练习（7min）一课堂小结（3min）一作业布置（2min）

教学过程主要教学内容及步骤设计意图

【教师】布置课前任务，和学生负责人取得联系，让其提醒同学通过APP通过课前

或其他学习软件，完成课前任务任务，使学生

了解本次课

课前任务请各位同学回想一下以前数学所学过的反证法的证明过程，请写出反证

程的近点，增

法的一般步骤。

加学生的学

【学生】完成课前任务习兴趣

培养学生

【教师】通过APP让学生签到

考勤的组织纪律

性，掌握学生

(2min)【学生】签到，班干部交假条

的出勤情况

【教师】提出以下问题，并邀请学生回答

请各位同学回想一下以前数学所学过的反证法的证明过程，讨论一下如

何使用人工智能的方法来进行描述.

通过问题

【学生】讨论、举手回答导入的方法,

问即导入引导学生主

（3min）【教师】通过学生的回答引入要讲的知识，并板书：推理动思考，激发

学生的学习

综合大家的讨论，咱们来看一下应该怎么使用人工智能的知识表示的方

兴趣

法来表示数学上常用的反证法的证明过程。

本节课主要介绍归结演绎推理的相关知识。

【学生】聆听

传授新知3.3归结演绎推理

______________

(50min)

【教师】提问：什么是归结演绎推理？通过教师

的讲解和课

【学生】讨论、举手回答

堂互动，使学

【教师】总结生了解归结

在人工智能中，几乎所有的问题都可以转化成一个定理证明问题。对于演绎推理的

定理证明问题，如果用一阶谓词逻辑表示的话，该问题的实质就是要求对前概念

提P和结论Q证明P-Q是永真的。然而，要证E月谓词公式的永真性，必

须对谓词公式中所含变元的所有个体域上的每一个解释进行睑证，这是极其

困难的.为了简化问题，在推理时常采用归结演绎推理.

归结演绎推理是一种基于归结原理的机器推理技术。实际上，它是一种

基于逻辑的“反证法"，把关于永真性的证明转化为关于不可满足性的证明，

即要证明〜。永真，只要能够证明'八「°是不可满足的就可以了。

3.3.1子句集

归结原理是在子句集的基础上讨论问题的，因此，讨论归结演绎推理之

前需要先讨论子句集。

教师结合

1.基本定义

例子讲解谓

原子谓词公式是一个不能再分解的命题。原子谓词公式及其否定，统称

词公式化为

为文字.例如，尸⑴、25)、-1P(X)、等都是文字。其中尸“)

子句集的基

称为正文字，称为负文字，与为互补文字。本步骤

任何文字的析取式称为子句，如P*)v0(x)、

尸(x,7(x))vQ(M月(x))都是子句。任何文字本身也是子句，如尸(X)、

0cI)也是子句，不包含任何文字的子句称为空子句，记为NIL。

【教师】重点强调

由于空子句不含有文字,而且任I可解释都不能满足它，所以，空子句是

永假的、不可满足的。

由子句构成的集合称为子句集。

2.谓词公式;化为子句集的基本步骤

【教师】安H浮生扫一扫教材上的二维码,了解“谓词公式化为子句集

的基本步骤”.并结合教材和PPT内容讲解谓词公式

在谓词逻辑中，任何一个谓词公式都可以通过应用等价关系及推理规则

化成相应的子句集，从而能够t匕较容易地判断谓词公式的不可满足性。下面

结合具体的例子说明把谓词公式化为子句集的基本步骤。

例如，现有谓词公式(V.r)(3y)((P(.r,y)vQ{xyy))->R(x,y)),请将

其化为子句集.

(I)通过清词公式的等价性消去谓词公式中的和"一"符号。

使用谓词公式的等价式有

Pf(连接词化归律)

P—Q=vQ)八(一>Qv尸)

上例可等价变换为

(Vx)0y)(TP(x,y)vQx,)，))vR(x,y))

【教师】重点强调

渭词公式的等价式2。Q。TvQ)八JQv°)的推导过题

下。

讲完了

p—QQ(P—Q)v(Q-P)

基本的概念

OjPvQXQ")之后，通过例

子的形式让

(2)通过谓词公式的等价性把否定符号(「)移到紧靠谓词的位置上。

学生加深对

使用谓词公式的等价式有

这些概念的

FPOP(双田否定律)

理解.

TPVQ)O「PA「Q(德摩根定律)

RPAQ)O「PV「Q(德摩根定律)

T玉)户O(Dx)(「p)(量词转换律)

TU)P。(玉)(「？)(量词蛤换律)

上例可等价变换为

(Dx)0)，)((「P(x,y)A「QU)，))vR(x,y))

【教师】提醒：

把否定符号移到紧靠谓词的位置上，减少了否定符号的辖域。

(3)变元标准化。所谓变元标准化就是重新命名变元，是指在一个量

词的辖域内，把谓词公式中受该量词约束的变元全部用另外一个没有出现过

的任意变元中替，使不同量词约束的变元有不同的名字。例如，

Wx)依)三(力)户()，)

(3x)Pix)=(3y)P(y)

本例中量词约束的变元只有工、,它们的名字已经不同，因此本例中不

需要进行变元标准化操作。

【教师】重点强调

现有谓词公式"*(0)"(内卜0城8口,该公式中量词约束

的变元有x、y、y,而cy)P(M)')和Gy)Q(xy)中的两个'属于不同量

词,对其变元进行标准化操作后可等价变换为

(Vx)((3y)P(x,y)v0z)Q(x,z))

o

(4)化为前束形。前束形就是指把所有量词都移动到公式的前面，即

前束形;(前缀)］母式｝

其中，(前缀)是量词串，(母式｝是不含量词的渭词公式。

化为前束形的方法是把所有量词都移到公式的左边，并且在移动时不能

改变量词的电对顺序。

【教师】提醒：

由于在第(3)步已对变元进行了标准化，每个量词都有自己的变元，

这就消除了彳引可由变元引起冲突的可能，因此这种移动是可行的。

对于上面的例子，因为所有的量词已经位于公式的最左边，所以，不需

要进行该步骤。

(5)消去存在量词.消去存在量词时，需要区分以下两种情况。

①存在量词不出现在全称量词的辖域内。此时只要用一个新的个体常

量替换受该存在量词约束的变元，就可以消去存在量词.

【教师】重点强调

采用上述消去存在量词的方法是因为原谓词公式为真，则总能找到一个

个体常量替换量词约束的变元后，仍然使谓词公式为真。这里的个体常量就

是不含变元的Skolem函数。

②若存在量词位于一个或多个全称量词的辖域内，例如，

(%)(土)…(V原)0y)P(5，W，…，%，y)

则需要用Skolem函数/(X"2,…，/)替换受该存在量词约束的变元

y,即

)，=/(不々,…，工)

可见，函数把每个%、补…、豆值，映射到存在的那个最

Skolemy0

后再消去该存在量词。

【教师】重点强调

用Skolem函数代替每个存在量词量化的变元的过程称为Skolem化。

Skolem函数所使用的函数符号必须是新的。

对于上面的例子，存在量词0)')位于全称量词(Vx)的辖域内，所以需

要用Skolem函数来替换。设y的Skolem函数为八㈤,则替换后得到

(Vx)((「P[xJ。))Av/?(x,/(x)))

(6)化为Skolem标准形。其f形式如下

(V%)”々)…(我,)时(牛与，…，天)

其中，”是子句的合取式，称为Skolem标准形的母式.

一般^用谓词公式等价式的分配律

Pv(Q八R)o(PvQ)八(PvR)

或P八(QvR)。(P八Q)v(P八R)

可把谓词公式化为Skolem标准形。

对于上例，化为Skolem标准形后为

(VX)((-)P(A-,/(X))vR(x,f(x)))A(「Q(xJ(x))v

(7)消去全称量词。由于母式中的全部变元均受全称量词的约束，并

且全称量词的次序已无关紧要，因此，谓词公式中可以省掉全称量词，但是

剩下的母式，仍假设其变元是全称量词量化的。

上例中消去全称量词后，为

(「PQ,/(%))VR(xJ(x)))A(->0.%/(刈)VR(xJ(x)))

(8)消去合取词，把母式用子句集表示。

对于上例有

{-tPQ,/⑴)VR(xJ(x)),->Q(xJ(x))VR(x9f(x))}

(9)子句变元标准化。对子句集中的某些变元重新命名，使任意两个

子句中不出现相同的变元名。

【教师】重点强调

由于每一个子句都对应看母式中的一个合取元，并且所有变元都是由全

称量词量化的，因此，任意两个不同子句的变元之间实际上不存在任］可关系，

故而，更换变元名是不会影响公式真值的。

对于上列，可把子句集中第二个子句的变元名x更换为y,可得到

{「Pa/3)VR*J(x)),「Q(yJ(y))V

显然，在子句集中各子句之间是合取关系。

［教师］提问

将下列渭词公式化为子句集。

(Vx)(P(x)f0y)(P(y)A/?*,y)))

【学生】讨论、举手回答

【教师】总结

谓词公式可以化为相应的子句集，定理"谓词公式不可满足的重要条件

是其子句集不可满足”表明了两者之间的不可满足性是等价的。

由此定理可知，要证明一个谓词公式是不可满足的，只要证明相应的子

句集是不可满足的就可以了.

(1)消去蕴含符号,谓词公式可转换为

(Vx)(-,P(x)v(3y)(P(y)AR(X,y)))

(2)消去存在量词，谓词公式可转换为

(Vr)(「P(x)v(P(/(x))AR(x,f(x))))

(3)化为Skolem标准形，谓词公式可转换为

(心)((-1P(X)VP(f(x))A(-1P(X)VR(xJ(x)))

(4)消去全称量词，谓词公式可转换为

(「P(x)VP(/(X))A(「P(x)V/?(x,/(x))

(5)消去合取词，把母式用子句集表示，可得

{(.P(x)vP(/(x)),(,P(x)vA(x,f(x)))

(6)子句变元标准化，把子句集中第二个子句的变元名X更换为.y,可

得

{(毋%)VP(/(x))，KVR(yJ(y))］

3.3.2归结原理

对渭词公式的不可满足性分析可以转化为对其子句集的不可满足性分

析。为了判定子句集的不可满足性，就需要对子句集中的子句进行判定。对

于不可满足性，子句与子句集之间具有以下联系.

(1)由渭词公式化为子句集的过程可知，子句集中子句之间是合取关

系。因此，子句集中只要有一个子句为不可满足的，则整个子句集就是不可

满足的。

(2)空子句是不可满足的。因此，一个子句集中如果包含有空子句，

则此子句集就一定是不可满足的。

基于以上叙述，鲁宾逊(J.A.Robinson)于1965年提出了归结原理。

归结原理也称为消解原理，是一种通过证明子句集不可满足性，实现定

理证明的理论及方法，它使机器定理证明进入了应用阶段。

归结原理的基本思想是检查子句集S中是否含有空子句，如含有空子

句，则表明S是不可满足的；若不含空子句，则使用归结法，在子句集S中

选择合适的子句进行归结，一旦通过归结得到空子句，就说明子句集5.是不

可满足的。

归结原理与分为命题逻辑归结原理和谓词逻辑归结原理。

1■命题逻缉归结原理

设q与G是子句集中的任意两个子句，如果G中的文字。与G中

的文字L,互补，那么可从G和G中分别消去乙和人,并将两个子句余下

的部分做析取，构成一个新的子句Q，这一过程称为归结。其中，。称为

G和G的归结式,G和c2称为c12的亲本子句,

例如，现有子句集

{「尸,尸vQvR,->QvR,->R}

设子句集中的子句分别为G=、G=PvQvR、C3=VR、

C3=「R,首先对C,和G进行归结，得到

C、2=Q7R

然后再用c12和G进行归结，得到

C.=R

最后用仁⑵和c\进行归结，得到

c.=NIL

【教师】提问

上例中，如果改变子句的归结顺序，是否可以得到相同的结果？请回答

该问题，并给出归结过程。

【学生】讨论、举手回答

【教师】总结

【教师】PPT展示”归结过程的树形表示“图片，讲解归结过程

归结过程可用树形图直观地表示出来，该树形图称为归结树。上例中的

归结过程如图所示。

归结原理中有一个重要的趣：归结式c、2是其亲本子句c与G的逻

辑结论，如果G与G为真，则Gz为真.

由这个定理可得到如下两个重要的m仑。

(।)设G与G是子句集s中的两个子句，却是它们的归结式,若用

G?代替G和G后得到新子句集S、则由耳不可满足性可推出原子句集S

的不可满足性，即

’的不可满足性=S的不可满足性

(2)设G与02是子句集S中的两个子句，C12是它们的归结式，若把

Gz加入原子句集S中，得到新子句集S?,则S与$2在不可满足的意义上

是等价的，即

S]的不可满足性oS的不可满足性

由上述准论可得到下列结论。

(1)为证明子句集的不可满足性，只要对其中可进行归结的子句进行

归结，并把归结式加入子句集中，或者用归结式代替它的亲本子句，然后

证明新子句集的不可满足性就可以了。

(2)如果归结过程中得到空子句，根据空子句的不可满足性，即可得

到原子句集是不可满足的。

2.渭词逻辑归结原理

【教师】安排学生扫描二维码”谓词逻辑归结原理"，了解谓词逻辑归结原

理

【学生】扫码观看、了解原理

在渭词爱辑中，由于子句集中的谓词一般都含有变元，因此不能像命题

逻辑那样直妻消去互补文字，而需要先用最一般合一对变元进行置换，然后

才能进行归结.可见谓词逻辑的归结要比命题逻辑的归结更麻烦。

例如，设有两个子句如下

G=P(x)vQ(x)

G=[P。')7R(z)

由于P(x)与P(y)不同，所以G与c2不能直接进行归结，因此，使

用最一般合一

。=｛闻

对两个子句分别进行置换，可得

C,rr=P(y)^Q(y)

G。=->尸(y)vR(z)

然后对它们进行归结，消去p(y)和「PG’)，得到归结式如下

Q(.V)vR(z)

【教师】讲授知识库中相关知识内容

合一可以简单地理解为寻找相对变元的置换，从而使两个渭词公式一

致。其中，置换用旨在谓词公式中用置换项去置换变元。它们的相关定义及

表示形式如下。

(1)置换是形如匕依出名，…"〃/%}的有限集合.其中，

百、”2、…、血是互不相同的变元"、’2、…、。是不同于菁的项(常量、

变元或函数)。表示用4置换区,并且要求“与苍不能相同，而且不

不能循环地出现在另一个‘，中。例如，仇/(""}是一个置换，

{7(y)/x,g(x)/y}不是一个置换，因为X、y循环地出现在项双幻、/(田

中。

设0是一个置换，C是一个谓词逻辑表达式，对C进行置换0可记为

coO

(2)设有公式集尸={£，8，…，工}，若存在一个置换夕，可使

形=用,=..=乙夕则称夕是F的.合一。司时称勺尸2、…、尸”

是可合一的。

设0是公式集F的一个合一，如果对F的任意一个合一9都存在一个

置换几，使得"二b-2，则称。是最一般合一。一个公式集的最一般合一

是唯一的。

用最一般合一去置换那些可合一的谓词公式，可使它们变成完全一致的

谓词公式。

谓词逻辑中关于归结的定义如下。

设G与G是两个没有相同变元的子句，4与乙分别是£与Ci中的

文字，若0■是,和的最一般合一，则称

Cl2=(C1(r-{L1o-})kj(C2cT-{L2(T})

为G与的二元归结式。

［教师］提问

现有子句G=P(x)V(［Q3))和G=「PS)7Q(y)VR(c)求其

二元归结式。

【学生】讨论、举手回答

【教师】总结、讲解答案

选L,=尸(x)、J=「尸(。)，则L1与「L?的最一般合一为o-={b/x}。

—

C2a=-iP(Z?)vQ(y)vR(c)

根据定义可得

C]2=(C0-{《b})5Gb-{5})

=(PS)V(「a。))-{P®})5dS)VQ(y)vR(C)-{「?S)})

=({?(垃「23)}-(PS)})5(-S),2(y),R(c))-{d®})

={「Qa)}3Q(y),R(。)}

={->Q(a),Q(y),R(c)}

=[Q3)vQ(y)vR(c)

【教师】提醒：

为了说明方便，此处的集合只是一种表示形式，不代表渭词公式的子句

集。

在谓词爱辑中，对子句进行归结推理时，要注意以下3个问题。

(।)若归结的子句G与g中具有相同的变元时，需要更改其中一个

变元的名字,否则可能无法做最一般合一,导致无法进行归结.

[教师]提问

设子句G=-iP(x)VQ(b)和C2=P(a)VR(x),求其二元归结式。

【学生】讨论、举手回答

【教师】总结、讲解答案

G与G中有相同的变元，不符合定义的要求，将a中的变元名字x

改为y,则G=P(a)7R(y)。此时，4=「尸(此、％=P(4)与

的最一般合一为因此可得

CQ=fP⑷7Q(b)

C2<j=P(a)\/R(y)

根据定义可得

CI2=(G。一亿b})5c2b-心。})

=((「P(a)V2(b))-{Y(a)})u((P(a)VR(y))—{P⑷})

=({「P(a),&b)}-{毋a)})5{6项R(y)}-{P(a)})

={Q®}u{R(y)}

={Q(»,R(y)}

=(2(z?iv/?(>')

补文字对所得的结果不是两个亲本子句的逻辑推论，

(3)如果参加归结的子句内含有可合一的文字，则在进行归结之前，

可对这些文字进行最一般合一，实现这些子句内部的化简。

［教师］提问

现有子句G=「尸()，)V(「QS))和。2=尸⑶7尸(/(〃))VR(c)求

其二元归结式.

【学生】讨论、举手回答

【教师】总结、讲解答案

C中有可合f)文字P(x)与,用它们的最

9={/⑹㈤进行置换，可得G'=P(/(。))7R(c)。此时对G和C£进

行归结，以得到G与G的二元归结式。

选“M(y)、'=P(f(G),则"与"的最一般合一为

0={/(〃)/田。因此可得

Co=TV(a))v(「QS))

C£c=nf(a)ZR(c)

根据定义可得

C12=(C1(T-{Z1cr})<J(C2^cr-{L2cr})

-({「P(/3)),(「Q(〃))}-(㈤)})<J({P(/(«))vR(c)}-{P(.

={「QS).R(c)}

=「Q(b)vR(c)

【教师】重点强调

在上例中,把。20称为C2的因子。一般来说，若子句C中有两个或两

个以上的文字具有最一般合一)，则称Cb为子句C的因子.如果Cb是

一个单文字，则称它为c的单元因子。

应用因子的概念可对谓词逻辑中的归结原理给出如下定义。

若q与c?是无公共变元的子句，则子句G与G的二元归结式是下列

二元归结式之一。

①G与c2的二元归结式；

②c,的因子G5与G的二元归结式；

③c与G的因子G%的二元归结式；

④G的因子C5与C］的因子CQa的二元归结式。

【教师】提醒：

如果子句集S没有归结出空子句，则既不能说S是不可满足的，也不

能说S是可满足的。这是因为，有可能是没有找至哈适的归结演绎步骤.但

是如果确定不存在任何方法能将S归结出空子句则可以确定S是可满足的。

333归结反演

要证明定理的不可满足性，只要证明其相应谓词公式子句集的不可满足

性即可.归结原理指明了证明子句集不可满足性的方法，因此可用归结原理

实现定理证明。

【教师】重点强调

根据定理"Q为6八2八…八匕的逻辑结论，当且仅当

《八8八…八匕八是不可满足的”可知，如欲证明定理的不可满足性,

只需证明渭词公式4人匕八…人匕人是不可满足的。再根据定理“谓

词公式不可满足的充要条件是其子句集不可满足”可知，要证明定理的不可

满足性，只要证明其相应谓词公式子句集的不可满足性即可。

应用归结原理证明定理的过程称为归结反演。其证明步骤如下。

【教师】安排学生扫一扫教材上的二维码，了解“归结反演"。井结合教材

和PPT内容讲解归结反演的步骤

(I)将已知前提用谓词公式表示。设该谓词公式的形式为

AAA,A••,A

(2)将待证明的结论用谓词公式B表示，否定结论B,并将结论的否

定Y与前提渭词公式A八&八…八4组成新的渭词公式

G=A人4人…八A,人(「B)

(3)求谓词公式G的子句集S.

(4)应用归结原理，证明子句集S的不可满足性，从而证明谓词公式

G的不可满足性,若谓词公式G不可满足，则说明对结论B的否定是错误

的，从而证明了结论B为真，推断出定理成立.

【教师】提出问题，假设任何通过计算机考试并获奖的人都是快乐的，任何

勤奋学习或幸运的人都可以通过所有的考试。李不是幸运的人但他勤奋学

习，任何勤奋学习的人都能获奖。求证：李是快乐的。

【学生】举手回答老师提出的问题

(1)用谓词公式表示待证明问题的前提。

问题中涉及的谓词有Pass(x,y)表示x可以通过考试,Win(x,prize)

表示.'能获得奖励，Study(.r)表示x勤奋学习，Lucky(x)表示、是幸运的，

H叩py(x)表示x是快乐的。

将问题含有的前提条件用谓词公式表示如下。

①"任何通过计算机考试并获奖的人都是快乐的"可表示为

(Vx)(Pass(x,computer)AWin(x,prize)fH叩py(x))

②"任(可勤奋学习或幸运的人都可1乂通过所有的考试"可表示为

(V.r)(Vy)(Study(.r)vLiicky(x)fPass。,j))

③"李不是幸运的人但他勤奋学习"可表示为

-nLucky(Li)AStudy(Li)

④"任I可勤奋学习的人都育缴奖”可表示为

(Vx)(Study(.r)—>Win(x,prize))

则待证明问题的前提可用谓词公式表示为

(V.r)(Pass(x,computer)AWin(x,prize)—>Happy(x))

A(Vx)(Vj)(Study(x)vLucky(x)-Pass(xy))

A-)Lucky(Li)AStudy(Li)

A(Vx)(Study(x)—>Win(x,prize))

(2)结论"李是快乐的"用谓词公式表示为

Happy(Li)

否定结论，可表示为

「Happy(Li)

则含有否定结论的谓词公式G为

(Vx)(Pass(A-,computer)AWin(x,prize)tHappy(x))

A(Vx)(Vj)(Study(x)vLucky(x)tPass(.r.y))

A-iLucky(Li)AStudy(Li)

A(Vx)(Study(x)->Win(x,prize))

A-iHappy(Li)

(3)将上述谓词公式转化为子句集S为

{->Pass(.v,computer)v->Win(.r,prize)vHappy(x),->Study(y)vPi

—iLucky(n)vPass(w,v),—iLucky(Li),Study(Li),-iStudy(»v)vWin()y(Li)}

【教师】用PPT展示“归结过程”图片，进行过程讲解

【学生】聆听、理解

(4)应用归结原理进行归结，归结过程可用归结树表示

归结过程中得到空子句，根据空子句的不可满足性，即可得到该子句集

S是不可满足的，从而判定谓词公式G是不可满足的。因此，对于结论的否

定是错误的，所以结论为真，即可证明"李是快乐的”。

3.3.4应用归结原理求解问题

【教师】安抖浮生扫一扫教材上的二维码，了解“应用归结原理求解问题”。

并结合教材和PPT内容讲解应用归结原理求解问题的过程

归结原理不仅可用于对已知结果的证明，还可用于对未知结果的求解。

应用归结原理求解问题的步骤如下。

(I)将已知前提F用谓词公式表示，并化为相应的子句集S.

(2)把待求解的问题Q用谓词公式表示，并否定Q,再与答案谓词

ANSWER构成析取式，即「QvANSWER.

【教师】提醒

(3)把析取式7ANSWER化为子句集，并将其加入子句集S中，

得到新的子句集跖。

(4)应用归结原理对.进行归结.

(5)若得至！I归结式ANSWER,则答案就在ANSWER中。

3.3.5案例：寻找新闻真相

【教师】安排学生完成实践,思考如何表示

某记者到一个孤岛上采访,遇到一个难题，即岛上有许多人说假话，因

而难以保证新闻报道的正确性。不过这个岛上的人有一特点，即说假话的人

从来不说真话，说真话的人也从来不说假话。

有一次，记者遇到了孤岛上的3个人，为了弄清楚谁说真话，谁说假话，

他向3个人中的每一个人都提了一个同样的问题，即"谁是说谎者"。结果，

A回答："B和C都是说谎者"；B回答："A和C都是说谎者"；C回答：

"A和B中至少有一个是说谎者"。请问记者如何才能从这些回答中确定谁

是说谎者，准不是说谎者。

【学生】讨论、思考

【教师】总结

(I)将已知前提用渭词公式表示。问题中涉及的谓词有T(x)表示x

说真话.

如果A说的是真话，则有

T(A)->「T(B)/\「T©

如果A说的是假话，则有

-nT(A)->T(B)vT(C)

对B和C说的话做同样的处理，可得

T(B)T「T(A)MT(。

-T(B)fT(A)vT(。

T(C)f」T(A)v「T(B)

」T(C)fT(A)八T(B)

根据谓词公式的等价性将上述公式化为子句集S,可表示为

{iT(A)v「T(B),「T(A)v-nT(C),T(A)vT(B)vT(C),-1T(B)v-

iTCCiv」T(A)v」T(B),T(C)vT(A),T(C)vT(B)}

(2)把待求解的问题用谓词公式表示，将其否定并与答案谓词

ANSWER构成析取式。

设〃代表说真话的人，则有T(〃)，将其否定与ANSWER作析取，可

得

—1T(〃)vANSWER(M)

(3)将析取式化为子句集并加入子句集S中，得到新的子句集S,,如

下所示

｛「T(A)v「T(B),「T(A)v」T(C),T(A)vT(B)vT(C),「T(B)v-

->T(C)v->T(A)v->T(B),T(C)vT(A),T(C)vT(B),->T(M)VANS

【教师】用PPT展示图片“对子句集'进行归结的过程“，讲解归结的过

程

【学生】倾听、理解

(4)对子句集S,进行归结，其归结过程的归结树。

由ANSWER(C)可知C是说真话的人，即C不是说谎者。

【教师】重点强调

通过分析可知，无论怎么对子句集5进行归结，都推不出

ANSWER(A)和ANSWER(B)。因此，A和B是说谎者，其证明过程如

下。

假设A说的不是真话，则有「T(A),把它的否定T(A)加入子句集S

中，得到新的子句集$2,可得

｛「T(A)v「T(B),「T(A)v」T(C),T(A)vT(B)vT(C),「T(B)v-

「T(C)v-nT(A)v」T(B),T(C)vT(A),T(C)vT(B),T(A)｝

【教师】用PPT展示图片“对子句集邑的归结过程“，讲解对子句集’的

归结过程

【学生】观看了解

由此可知，假设"A说的不是真话”是正确的，可确定A是说谎者。

同理，可证明B也是说谎者.

【教师】提出问题，请写出证明B是说谎者的过程。

【学生】回答老师提出的问题

在归结过程中，子句集中的所有子句不一定会全部用到，只要在定理证

明时能够归结出空子句在求解问题答案时能够归结出ANSWER就可以了。

【学生】聆听、记录、理解

【教师】讲解动物识别系统案例实训报告要求

(1)根据动物识别的专家知识，确定识别其余动物的产生式规则，建

立规则库.通过导入

实训导入环节，激发学

(2)编写程序实现动物识别，并提交源代码。

(3min)生的学习兴

(3)总结实训的心得体会。

趣

【学生】聆听

【教师】导入实训报告案例：动物识别系统案例

【教师】讲解动物识别系统实训报告的编写

1.实训目的

(1)熟悉一阶谓词逻辑和产生式表示法.

(2)掌握产生式系统的运行机制。

(3)掌握基于确定性推理的基本方法。

2.实训内容

设计并编程实现一个能够识别鸵鸟、企鹅、信天翁、金钱豹、虎、长颈

触口斑马这7种动物的识别系统。

3.实训要求

用一阶渭词逻辑和产生式规则表示知识，以动物识别系统的产生式规则

为例，建立规则库和综合数据库，并能对它们进行添加、删除和修改操作。

4.实训步骤

(I)分析动物识别系统中的产生式规则。根据动物识别的专家知识，

确定规则库中的产生式规则.例如，根据专家知识"如果该动物有羽毛，则

该动物是鸟""如果该动物会飞，而且会下蛋，则该动物是鸟""如果该动

物是鸟，有长脖子和长腿但是不会飞，则该动物是鸵鸟"等，可得到如下产

生式规则。

该动物有羽毛该动物是鸟

n：IFTHEN通过老师

课堂实训n：IF该动物会飞AND会下蛋THEN该动物是鸟讲解，让学生

(20min)由：IF该动物是鸟AND有长腿了解实训报

AND有长脖子告的写法

AND不会飞

THEN该动物是鸵鸟

(2)建立规则库。所有产生式规则组成规则库。

【教师】提醒：

上述产生式规则的表示形式直观易懂，但是不便于在计算机系统中存储

与运算.因比，为了提高动物识别系统的性能，常用数字或字母表示已知事

实。

【教师】举例：

例如,可用T表示"有羽毛"，用"2"表示"是鸟"，则有"：IF

1THEN2。

(3)设计动物识别系统。在动物识别系统中，主要通过判断综合数据

库中的前提条件与产生式规则的前提是否匹配实现动物识别。

【教师】重点强调

在动物•只别系统中，用数字表示已知事实，则可用列表表示综合数据库。

例如，综合数据库中的前提条件"该动物有羽毛，还有长腿和长脖子，但是

不会飞"可表示为"1创卜口，3,4,5广，其中T表示有羽毛，"3"

表示有长腿，"4"表示有长脖子，"5"表示入会飞。

遍历综合蟠库中的前提条件"1”,发现它与规则n的前提条件匹配，

可得到结论"2",并将"2"加入综合健库中作为前提条件可得,

3,4,5,2]",接着遍历综合数据库中的前提条件，依次可遍历到"2""3"

"4"和"5”与规则门中的前提匹配,所以，可得出结论"6"("6"表示

是鸵鸟)，动物识别成功。

【教师】重点强调如下问题

动物识别系统中识别的终止条件分为3种情况,

(1)当所得结论是鸵鸟、企鹅、信