不确定与非单调推理.ppt
《不确定与非单调推理.ppt》由会员分享,可在线阅读,更多相关《不确定与非单调推理.ppt(61页珍藏版)》请在三一办公上搜索。
1、第五章不确定与非单调推理,5.1 基本概念,5.1.1 什么是不确定性推理不确定性推理是建立在非经典逻辑基础上的一种推理,它是对不确定性知识的运用与处理。具体地说,所谓不确定性推理就是从不确定性的初始证据(即事实)出发,通过运用不确定性的知识,最终推出具有一定程度不确定性的结论。,5.1.2 不确定性推理中的基本问题,1.不确定性的表示与度量不确定性推理中的“不确定性”一般分为两类:一是知识的不确定性,一是证据的不确定性。知识不确定性的表示:目前在专家系统中知识的不确定性一般是由领域专家给出的,通常用一个数值表示,它表示相应知识的不确定性程度,称为知识的静态强度。证据不确定性的表示:证据不确定
2、性的表示方法与知识不确定性的表示方法一致,通常也用一个数值表示,代表相应证据的不确定性程度,称之为动态强度。,2.不确定性匹配算法及阈值的选择设计一个不确定性匹配算法;指定一个匹配阈值。,3.组合证据不确定性的计算方法最大最小法:T(E1 AND E2)=minT(E1),T(E2)T(E1 OR E2)=maxT(E1),T(E2)概率法:T(E1 AND E2)=T(E1)T(E2)T(E1 OR E2)=T(E1)T(E2)T(E1)T(E2)有界法:T(E1 AND E2)=max0,T(E1)T(E2)1T(E1 OR E2)=min1,T(E1)T(E2)其中,T(E)表示证据E为
3、真的程度(动态强度),如可信度、概率等。,4.不确定性的传递算法 在每一步推理中,如何把证据及知识的不确定性传递给结论,即如何计算结论的不确定性。5.结论不确定性的合成用不同知识进行推理得到了相同结论,但所得结论的不确定性却不同。此时,需要用合适的算法对结论的不确定性进行合成。,5.1.3 不确定性推理方法的分类,不确定性推理方法主要可分为模型法与控制法。模型法:在推理一级对确定性推理进行扩展,引入证据的不确定性及知识的不确定性。模型方法又分为数值方法和非数值方法两类。数值方法对不确定性进行定量的描述,按其所依据的理论又可分为基于概率的方法和基于模糊理论的方法。,5.2 概率方法,5.2.1
4、经典概率方法(1)设有如下产生式规则:IFE THEN H其中,E为前提条件,H为结论。条件概率P(H|E)可以作为在证据E出现时结论H的确定性程度,即规则的静态强度。(2)对于复合条件E=E1 AND E2 AND AND En当已知条件概率P(H|E1,E2,En)时,就可把它作为在证据E1,E2,En出现时结论H的确定性程度。(3)先验概率:P(H)后验概率:P(H|E),若A1,A2,An是彼此独立的事件,对于事件B,则有其中,P(Ai)是事件Ai的先验概率;P(B|Ai)是在事件Ai发生条件下事件B的条件概率。对于一组产生式规则IFETHENHi同样有后验概率如下(Hi 确定性的程度
5、,或规则的静态强度):,5.2.2 逆概率方法,对于多个证据,对于有多个证据E1,E2,Em和多个结论H1,H2,Hn,并且每个证据都以一定程度支持结论的情况,上面的式子可进一步扩展为,逆概率方法举例,例5.1 设H1,H2,H3分别是三个结论,E是支持这些结论的证据。已知:P(H1)=0.3,P(H2)=0.4,P(H3)=0.5P(E|H1)=0.5,P(E|H2)=0.3,P(E|H3)=0.4求P(H1|E),P(H2|E)及P(H3|E)的值各是多少?解:同理可得:P(H2|E)=0.26,P(H3|E)=0.43,对应的产生式规则:IFETHENH1IFETHENH2IFETHEN
6、H3 规则的静态强度(Hi为真的程度、或不确定性程度)P(H1|E)=0.32P(H2|E)=0.26P(H3|E)=0.43,逆概率法的特点,优点:逆概率法有较强的理论背景和良好的数学特性,当证据彼此独立时计算的复杂度比较低。缺点:逆概率法要求给出结论Hi的先验概率P(Hi)及条件概率P(Ej|Hi)。,PROSPECTOR是国际上著名的一个用于勘察固体矿的专家系统,1982年美国地质调查资源分析局利用PROSPECTOR预测了华盛顿州一个勘探地段的钼矿位置,随后的实际钻井证明了其预测的正确性。基于贝叶斯理论的PROSPECTOR采用规则表达领域知识,每条规则有两个规则强度,LS和LN.当领
7、域专家和知识工程师在抽取 规则时,LS和LN是由领域专家给出的,且有LS,LN 0.一条规则,可表成如下形式:,5.3 主观Bayes方法,方框表示节点,E表示规则前提,H表示规则后件或结论,LS是规则的充分性度量,LN是规则的必要性度量。除初始节点外,每个节点都有一个先验概率,记为P(H)。,这个先验概率P(H)是在抽取规则的同时,由领域专家给出的。PROSPECTOR的不确定性推理过程,就是根据证据的概率P(E)或P(E|S),利用LS或LN,把结论H的先验概率P(H)更新为后验概率P(H|E)的过程。,5.3.1 知识不确定性的表示 在主观Bayes方法中,知识是用产生式规则表示的,具体
8、形式为:IFE THEN(LS,LN)H(P(H)其中,P(H)是结论H的先验概率,由专家根据经验给出。LS称为充分性度量,用于指出E对H的支持程度,取值范围为0,),其定义为:LS=P(E|H)/P(E|H)。LN称为必要性度量,用于指出 E对H的支持程度,取值范围为0,),其定义为:LN=P(E|H)/P(E|H)=(1-P(E|H)/(1-P(E|H)。LS和LN的值由领域专家给出,相当于知识的静态强度。,5.3.2 证据不确定性的表示,在主观Bayes方法中,证据的不确定性也用概率表示。对于证据E,由用户根据观察S给出P(E|S),即动态强度。用P(E|S)描述证据的不确定性(证据E不
9、是可以直接观测的)。由于主观给定P(E|S)有所困难,所以实际中可以用可信度C(E|S)代替P(E|S)。例如,在PROSPECTOR中C(E|S)取整数:-5,.5 C(E|S)=-5表示在观测S下证据E肯定不存在P(E|S)=0 C(E|S)=5表示在观测S下证据E肯定存在P(E|S)=1 C(E|S)=0表示S与E无关,即P(E|S)=P(E),给定C(E|S)后,P(E|S)可近似计算如下:,5.3.3 组合证据不确定性的算法,(1)最大最小法当组合证据是多个单一证据的合取时,即E=E1 AND E2 AND AND En则:P(E|S)=minP(E1|S),P(E2|S),P(En
10、|S)当组合证据是多个单一证据的析取时,即E=E1 OR E2 OR OR En则:P(E|S)=maxP(E1|S),P(E2|S),P(En|S)(2)对于“”运算则:P(E|S)=1-P(E|S),采用主观Bayes方法 IF E THEN(LS,LN)H(P(H)时要解决的主要问题:(1)证据肯定存在时,如何计算P(H|E)?此时P(E|S)=1。(2)证据肯定不存在时,如何计算P(H|E)?此时P(E|S)=0。(3)证据具有不确定性时,如何计算P(H|S)?此时0P(E|S)1。这里S是对E的有关观察。,5.3.4 不确定性的传递算法,(1)根据证据E的条件概率P(E|S)及LS、
11、LN的值,把H的先验概率P(H)更新为后验概率P(H|E)。(2)分以下3种情况讨论:证据肯定存在:P(E|S)=1,即P(E)=1 证据肯定不存在:P(E|S)=0,即P(E)=0 证据不确定:0P(E|S)1,(3)引入几率函数(x),它与概率的关系为:(x)=P(x)/(1-P(x),P(x)=(x)/(1+(x)它表示x的出现概率与不出现概率之比,显然随P(x)的加大(x)也加大,而且当P(x)=0时,有(x)0 当P(x)=1时,有(x)于是,取值于0,1的P(x)被放大为取值于0,的(x)。,证据肯定存在时,(x)=P(x)/(1-P(x),P(x)=(x)/(1+(x)在证据肯定
12、存在时,P(E)=P(E|S)=1。由Bayes公式得:P(H|E)=P(E|H)P(H)/P(E)(1)P(H|E)=P(E|H)P(H)/P(E)(2)(1)式除以(2)式得:P(H|E)/P(H|E)=P(E|H)/P(E|H)P(H)/P(H)由充分性度量LS和几率函数的定义可得:(H|E)=LS(H)即P(H|E)=LSP(H)/(LS-1)P(H)+1,充分性度量LS的意义,对于知识:IF E THEN(LS,LN)H(P(H)在证据E肯定存在时,可以根据LS给出结论H的可信度P(H|E)。当LS1时,(H|E)=LS(H)(H),相应有P(H|E)P(H),表明由于证据E的存在,
13、可增强H为真的程度(有利证据)。一般情况下LS1。当LS1时,(H|E)=LS(H)(H),表明E与H无关(无关证据)。当LS1时,(H|E)=LS(H)(H),表明由于证据E的存在,减小了H为真的程度(不利证据)。当LS0时,(H|E)=LS(H)0,表明由于证据E的存在,导致H为假(否定性的证据)。,证据肯定不存在时,在证据肯定不存在时,P(E)=P(E|S)=0,P(E)=1。由Bayes公式得:P(H|E)=P(E|H)P(H)/P(E)(1)P(H|E)=P(E|H)P(H)/P(E)(2)(1)式除以(2)式得:P(H|E)/P(H|E)=P(E|H)/P(E|H)P(H)/P(H
14、)根据必要性度量LN和几率函数的定义,可得:(H|E)=LN(H)即P(H|E)=LNP(H)/(LN-1)P(H)+1,必要性度量LN的意义,对于知识:IF E THEN(LS,LN)H(P(H)在证据E肯定不存在时,可以根据LN给出结论H的可信度P(H|E)。当LN1时,(H|E)=LN(H)(H),相应有P(H|E)P(H),表明由于证据E不存在,增强了H为真的程度(E 为有利证据)。,LS1:表明证据 E是对H有利的证据。LN1:表明证据E是对H有利的证据。所以:不能出现LS1且LN1的取值。LS1,LN1。,证据不确定时,当0P(E|S)1时,可以证明:P(H|S)=P(H|E)P(
15、E|S)+P(H|E)P(E|S)当P(E|S)=1时,证据肯定存在,此时P(H|S)=P(H|E)。当P(E|S)=0时,证据肯定不存在,此时P(H|S)=P(H|E)。当P(E|S)=P(E)时,证据E与观察S无关。由全概率公式得:P(H|S)=P(H|E)P(E)+P(H|E)P(E)P(H)当P(E|S)为其它值时,通过分段线性插值计算P(H|S),即,对于知识:IF E THEN(LS,LN)H(P(H)给定证据E的不确定性度量P(E|S),则结论的可信度可以表示为:该公式称为EH公式。用C(E/S)代替P(E/S),可得到等价的CP公式(P168)。,5.3.5 结论不确定性的合成
16、算法,若有n条知识都支持相同的结论,而且每条知识的前提条件所对应的证据Ei(i=1,2,n)都有相应的观察Si与之对应,此时只要先对每条知识分别求出几率函数(H|Si),然后就可运用下述公式求出(H|S1S2Sn):,主观Bayes方法推理示例,例5.4 设有如下知识:R1:IF E1THEN(2,0.001)H1R2:IF E2THEN(100,0.001)H1R3:IF H1THEN(200,0.01)H2已知:(H1)0.1,(H2)0.01 C(E1|S1)=2,C(E2|S2)=1求:(H2|S1S2)=?1.计算(H1|S1)P(H1)=(H1)/(1+(H1)=0.09P(H1|
17、E1)=(H1|E1)/(1+(H1|E1)=LS1(H1)/(1+LS1(H1)=0.17C(E1|S1)=20P(H1|S1)=P(H1)+P(H1|E1)-P(H1)1/5C(E1|S1)=0.122(H1|S1)=P(H1|S1)/(1-P(H1|S1)=0.14,R1:IF E1THEN(2,0.001)H1R2:IF E2THEN(100,0.001)H1R3:IF H1THEN(200,0.01)H22.计算(H1|S2)P(H1|E2)=(H1|E2)/(1+(H1|E2)=LS2(H1)/(1+LS2(H1)=0.91C(E2|S2)=10P(H1|S2)=P(H1)+P(H
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 不确定 单调 推理
链接地址:https://www.31ppt.com/p-5047987.html