RGZN5谓词逻辑.docx
- 文档编号:3044458
- 上传时间:2022-11-17
- 格式:DOCX
- 页数:40
- 大小:187.17KB
RGZN5谓词逻辑.docx
《RGZN5谓词逻辑.docx》由会员分享,可在线阅读,更多相关《RGZN5谓词逻辑.docx(40页珍藏版)》请在冰豆网上搜索。
RGZN5谓词逻辑
第五章基于谓词逻辑的机器推理
在许多应用中,被编码进入产生式系统数据库的信息来源于说明语句,这些语句难以或者不能自然地用像数组或集合那样的简单结构来表示。
例如,机器人求解问题要求具有表达、检索和变换语句集合的能力。
而逻辑语句,或者更具体地说,一阶谓词演算能用来表示种类众多的语句,且能给出一种从旧知识直接求得新知识的有效方法——数学演绎。
即如能证明一个新语句是从那些已知正确的语句导出的,那么我们就可断定这个新语句也是正确的。
证明的概念推广(把演绎包括在内)用来作为一种求取问题的方法。
第一节谓词演算
5.1.1命题逻辑及其局限性
命题具有真假意义的一句话
人们研究用命题逻辑作为一种表达知识的方法,因为它处理简单,并存在一个判定方法。
如:
可把客观世界的各种事实表示为逻辑命题,用命题逻辑把各种命题写成合适公式(WFF)。
例如:
雨天表示为:
RAINING晴天表示为:
SUNNY雾天表示为:
FOGGY
若为雨天,则非晴天。
表示为:
RAINING→~SUNNY
但是,我们很快就会遇到命题逻辑的局限性。
假定我们要表示由下列句子叙述的明显事实:
李明是个工人可写为LIWORKER
如果我们也要表示:
王华也是个工人就必须写出WANGWORKER
这是一些完全独立的格式,我们无法从中得出有关李(LI)和王(WANG)相似性的结论。
如果把这些事实表示为如下形式:
WORKER(LI)
WORKER(WANG)
那么这就要好得多,因为这种表达结构反映出知识本身的结构。
如果我们试图用命题逻辑来表示下列句子:
所有的人都会死。
那么我们将面临更大的困难,因为如果我们不对问题进行量化,那么我们就必须一个一个地写出某某某会……
命题逻辑局限性:
●不区分知识的结构与成分;
●不可对问题进行量化
而谓词逻辑允许我们表达那些无法用命题逻辑相应地加以表达的事情,可进行演绎,可使用变量及量词(
、彐)。
(
x)(H(x)D(x))
{对任意x,只要x是人,则x必然会死。
}
5.1.2谓词逻辑的句法和语义
基本组成部分:
谓词符号、变量符号、函数符号和常量符号,并用圆括弧、方括弧、花括弧和逗号隔开,以表示论域内的关系。
个体(客体)名称集合(或称论域)D
常量符号:
代表D中某一个确定个体
变量符号:
代表D中任一个个体(客体)
函数符号:
f(x1,...,xn)它为DnD的一个映射
(最终值∈D)
{表达个体之间的对应关系,例如:
我们用father(x)表示x的父亲。
约定:
小写字母f,g,h等表示函数符号,小写字母x,y,z,u,v,w等表示个体变量(变元)符号,小写字母a,b,c等表示个体常量(常元)符号}
谓词符号:
由大写字母(单词)表示,定义域为Dn,值域为{T,F}的函数的函数名
项:
常量符号、变量符号、函数符号,(最终值∈D)
原子谓词公式:
P(t1,...,tm)
谓词符号项
如:
P(x,y,z)命题?
变量
定义P关系:
令P(x,y,z)表示x在y与z之间命题?
代入确定个体(实例化):
如令x,y,z代表北京、保定、石家庄,
则P(x,y,z)为命题。
5.1.3连词和量词
合适公式(WFF):
通过使用连词~(非)、∧(与)、∨(或)、=>(→蕴涵,或隐含)以及
、彐等将原子谓词公式按一定的语法格式连接而成的式子。
连词∧用来表示复合句子。
例如,句子“我喜爱音乐和绘画”可写成:
LIKE(I,MUSIC)∧LIKE(I,PAINTING)
又如“李住在一幢黄色的房子里”,即可用
LIVES(LI,HOUSE-1)∧COLOR(HOUSE-1,YELLOW)
其中谓词LIVES表示人与物体(房子)间的关系,而谓词COLOR则表示物体与其颜色之间的关系。
合取:
用连词∧把几个(原子)公式连接起来而构成的公式
此合取式的每个组成部分叫做合取项
连词∨用来表示可兼有的“或”。
例如,句子“李明打蓝球或踢足球”可表示为:
PLAYS(LIMING,BASKETBALL)∨PLAYS(LIMING,FOOTBAL)
析取:
用连词∨把几个公式连接起来所构成的公式
此析取式的每一组成部分叫做析取项
合取和析取的真值由其组成部分的真值决定。
连词=>用来表示“如果-那么”的词句。
如句子“如果该书是何平的,那么它是蓝色(封面)的”可表示为:
OWNS(HEPING,BOOK-1)=>COLOR(BOOK-1,BLUE)
又如,句子“如果刘华跑得最快,那么他取得冠军”可表示为:
RUNS(LIUHUA,FASTEST)=>WINS(LIUHUA,CHAMPION)
用连词=>连接两个公式所构成的公式叫做蕴涵。
蕴涵的左式叫做前项,右式叫做后项。
如果前项和后项都是合适公式,那么蕴涵也是合适公式。
如果后项取值T(不管其前项的真值如何),或者前项取值F(不管后项的真值如何),则蕴涵取值T;否则,蕴涵取值F。
符号~(非)用来否定一个公式的真值,也就是说,把一个合适公式的取值从T变为F,或从F变为T。
例如,子句“机器人不在2号房间内”可表示为:
~INROOM(ROBOT,r2)
前面具有符号~的公式叫做否定。
如果我们把句子限制为我们至今已介绍过的造句法所能表示的那些句子,而且也不使用变量项,那么我们可以把这个谓词演算的子集叫做命题演算。
命题演算对于许多简化了的定义域来说,是一种有效的表示,但它缺乏用有效的方法来表达多个命题(如“所有的机器人都是灰色的”)的能力。
要扩大命题演算的能力,我们需要使公式中的命题带有变量。
、彐
有时,一个原子公式如P(x),对于所有可能的变量x都具有值T。
这个特性可由在P(x)前面加上全称量词(
x)来表示。
如果至少有一个x值可使P(x)具有值T,那么这一特性可由在P(x)前面加上存在量词(彐x)来表示。
例如,句子“所有的机器人都是灰色的”可表示为:
(
x)[ROBOT(x)→COLOR(x,GRAY)]
而句子“1号房间内有个物体”可表示为:
(彐x)INROOM(x,r1)
x:
经过量化了的
约束变量:
如果一个合适公式中某个变量是经过量化的,我们就把这个变量叫约束变量,否则就叫它为自由变量。
句子:
在合适公式中,若所有变量都是受约束的。
这样的合适公式叫做句子。
值得指出的是,本书中所用到的谓词演算为一阶谓词演算。
不允许对谓词符号或函数符号进行量化。
例如,在一阶谓词演算中,(
P)P(A)就不是合适公式。
又例:
每个有理数都是实数
有些实数是有理数
并非每个实数都是有理数
解:
令原子谓词公式
P(x)表示x是有理数
Q(x)表示x是实数
(
x)[P(x)=>Q(x)]
(彐x)[Q(x)∧P(x)]
~((
x)[Q(x)=>P(x)])
等价于(彐x)[Q(x)∧~P(x)]
例:
每一个人的外祖父都是他母亲的父亲。
令P(x)表示x是人
O(x,y)表示x是y的外祖父
F(x,y)表示x是y的父亲
M(x,y)表示x是y的母亲
将原句转化为:
每一个人y的外祖父x都是该y的母亲z的父亲。
(
x)(
y)(P(x)∧P(y)∧O(x,y))=>(彐z)(P(z)∧F(x,z)∧M(z,y))
第二节谓词公式
5.2.1谓词公式的定义
原子谓词公式P(x1,x2,…,xn)
合适公式:
1.原子谓词公式是合适公式。
2.若A为合适公式,则~A也是一个合适公式。
5.若A和B都是合适公式,则(A∧B),(A∨B),(A→B)和
(AB)也都是合适公式。
4.若A是合适公式,x为任意变元,则(
x)A和(彐x)A都是合适公式。
5.只有按上述规则1至4求得的那些公式,才是合适公式。
5.2.2合适公式的性质
如果P和Q是两个合适公式,则由这两个合适公式所组成的复合表达式可由下列真值表给出。
PQP∨QP∧QP=>Q~P
TTTTTF
FTTFTT
TFTFFF
FFFFTT
如果两个合适公式,无论如何解释(取任何值),其真值表都是相同的,那么我们就称此两合适公式是等价的。
有如下等价关系:
1.否定之否定~(~P)等价于P
2.P∨Q等价于~P→Q
5.狄·摩根定律
~(P∨Q)等价于~P∧~Q
~(P∧Q)等价于~P∨~Q
5.分配律
P∧(Q∨R)等价于(P∧Q)∨(P∧R)
P∨(Q∧R)等价于(P∨Q)∧(P∨R)
5.交换律
P∧Q等价于Q∧P
P∨Q等价于Q∨P
6.结合律
(P∧Q)∧R等价于P∧(Q∧R)
(P∨Q)∨R等价于P∨(Q∨R)
7.逆否律
P→Q等价于~Q→~P
此外,我们还可建立下列等价关系:
8.~(彐x)P(x)等价于(
x)(~P(x))
~(
x)P(x)等价于(彐x)(~P(x))
9.(
x)[P(x)∧Q(x)]等价于(
x)P(x)∧(
x)Q(x)
(彐x)[P(x)∨Q(x)]等价于(彐x)P(x)∨(彐x)Q(x)
10.(
x)P(x)等价于(
y)P(y)
(彐x)P(x)等价于(彐y)P(y)
上述最后两个等价关系说明,在一个量化的表达式中的约束变量是一个虚元,它可以用任何一个不在表达式中出现过的其他变量符号来代替。
下面用谓词演算来表示英文句子:
Allblocksontopofblocksthathavebeenmovedorthatareattachedtoblockthathavebeenmovedalsohavebeenmoved.
可表示为:
(
x)(
y){{BLOCK(x)∧BLOCK(y)∧[ONTOP(x,y)∨
ATTACHED(x,y)]∧MOVED(y)}→MOVED(x)}
5.2.3推理规则、定理与证明
假元推理合适公式
W1
W1→W2
前提
全称消去推理(全称化推理)
它是由合适公式(
x)W(x)产生合适公式W(A),其中A为任意常量符号。
同时应用假元推理和全称化推理,可由合适公式
(
x)[W1(x)→W2(x)]
W1(A)
推理规则用来由已知的合适公式产生导出的合适公式。
在谓词逻辑中,这种导出的合适公式叫做定理,而所使用的推理规则的序列则构成该定理的一个证明。
在人工智能中,可以把某些问题求解任务当做某个定理求证的任务。
在该证明中所应用的推理序列给出了该问题的一个解答。
5.2.4永真性和可满足性
永真:
一个公式如果它们对所有可能的解释均取值T,则这个公式称作为永真的,而永真的基公式一般叫做重言式。
如:
公式P(A)→[P(A)∨P(B)]
公式G的一个解释I:
由非空域D以及对G中的常量符号、函数符号、谓词符号的一组指定所构成。
公式G称为可满足的:
如果存在解释I,使G在I下取T值。
公式G称为永真的:
如果G的所有解释I,都使G取T值。
如果每个满足公式集S的解释也满足公式X,那么公式X逻辑上遵循公式集S。
{凡使S中各公式为真者,必使公式X为真}{X是S的逻辑结论}
例如:
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- RGZN5 谓词 逻辑