不确定性知识的表示与推理课件.ppt

第8章不确定性知识的表示与推理;8.1不确定性处理概述;8.1不确定性处理概述;3.不完全性

不完全性就是对某事物来说,关于它的信息或知识还不全面、不完整、不充分。例如,在破案的过程中,警方所掌握的关于罪犯的有关信息,往往就是不完全的。但就是在这种情况下,办案人员仍能通过分析、推理等手段而最终破案。;4.不一致性

不一致性就是在推理过程中发生了前后不相容的结论;或者随着时间的推移或者范围的扩大,原来一些成立的命题变得不成立、不适合了。例如,牛顿定律对于宏观世界是正确的,但对于微观世界和宇观世界却是不适合的。;8.1.2不确定性知识的表示及推理

对于不确定性知识,表示的关键是如何描述不确定性。一般是把不确定性用量化的方法加以描述,而其余部分的表示模式与前面介绍的(确定性)知识基本相同。对于不同的不确定性,人们提出了不同的描述方法和推理方法。;一般地,我们将不确定性产生式规则表示为;不确定性推理与通常的确定性推理的差别：

(1)不确定性推理中规则的前件能否与证据事实匹配成功，不但要求两者的符号模式能够匹配（合一），而且要求证据事实所含的信度必须达“标”，即必须达到一定的限度。这个限度一般称为“阈值”。

(2)不确定性推理中一个规则的触发，不仅要求其前提能匹配成功，而且前提条件的总信度还必须至少达到阈值。

(3)不确定性推理中所推得的结论是否有效，也取决于其信度是否达到阈值。

(4)不确定性推理还要求有一套关于信度的计算方法，包括“与”关系的信度计算、“或”关系的信度计算、“非”关系的信度计算和推理结果信度的计算等等。

;这种附有程度的语言值称为程度语言值。其一般形式为;2.程度谓词

谓词也就是语言值。按照前面程度语言值的做法,我们给谓词也附以程度,即细化为程度谓词,以精确刻画相应个体对象的特征。根据谓词的形式特点,我们将程度谓词书写为;例8.2采用程度谓词,则

(1)命题“雪是白的”可表示为

white1.0(雪)或1.0white(雪)

(2)命题“张三和李四是好朋友”可表示为

friends1.15(张三,李四)或1.15friends(张三,李四);3.程度框架

含有程度语言值的框架称为程度框架。

例8.3下面是一个描述大枣的程度框架。

框架名:大枣

类属:(干果,0.8)

形状:(圆,0.7)

颜色:(红,1.0)

味道:(甘,1.1)

用途:范围:(食用,药用)

缺省:食用;4.程度语义网

含有程度语言值的语义网称为程度语义网。

例8.4图8-1所示是一个描述狗的程度语义网。;5.程度规则

含有程度语言值的规则称为程度规则。其一般形式为;同一般的确切推理相比,多了一个程度计算的手续。程度推理的一般模式为

程度推理＝符号推演＋程度计算;程度语言值中的程度也可以转化为命题的真度。例如,把命题“小明个子比较高”用程度元组表示为;在这种三值逻辑中,命题的真值,除了“真”、“假”外,还可以是“不能判定”。其逻辑运算定义如下：;8.1.5非单调逻辑

所谓“单调”,是指一个逻辑系统中的定理随着推理的进行而总是递增的。

现实世界却是非单调的。例如,人们在对某事物的信息和知识不足的情况下,往往是先按假设或默认的情况进行处理,但后来发现得到了错误的或者矛盾的结果,则就又要撤消原来的假设以及由此得到的一切结论。这就说明,人工智能系统中就必须引入非单调逻辑。;(2)非完全知识库。随着知识的不断获取,知识数目渐增,则可能出现非单调现象。例如,设初始知识库有规则：

x(bird(x)→fly(x))

即“所有的鸟都能飞”。后来得到了事实：

bird(ostrich)

即“驼鸟是一种鸟”。如果再将这条知识加入知识库则就出现了矛盾,因为驼鸟不会飞。这就需要对原来的知识进行修改。;8.1.6时序逻辑

对于时变性,人们提出了时序逻辑。时序逻辑也称时态逻辑,它将时间词(称为时态算子,如“过去”,“将来”,“有时”,“一直”等)或时间参数引入逻辑表达式,使其在不同的时间有不同的真值。从而可描述和解决时变性问题。时序逻辑在程序规范(specifications)、程序验证以及程序语义形式化方面有重要应用,因而它现已成为计