人工智能原理教案03章不确定性推理方法323证据理论.docx

人工智能原理教案03章不确定性推理方法323证据理论0. 前言l 主观Bayes方法必须给出先验概率l Dempster和Shafer提出的证据理论，可用来处理这种由不明白所引起的不确定性l 证据理论采纳信任函数而不是概率作为不确定性度量，它通过对一些事件的概率加以约束来建立信任函数而不必说明精确的难于获得的概率l 证据理论满足比概率论更弱的公理系统，当这种约束限制为严格的概率时〔即概率值时〕，证据理论就退化为概率论了 1. 证据的不确定性度量(1) 差不多理论 辨别框概念：设U为假设x的所有可能的穷举集合，且设U中的各元素间是互斥的，我们称U为辨别框〔Frame of discernment〕设U的元素个数为N，那么U的幂集合2U的元素个数为2N，每个幂集合的元素对应于一个关于x取值情形的命题〔子集〕对任一AU，命题A表示了某些假设的集合(如此的命题间不再有互斥性)针对医疗诊断问题，U确实是所有可能疾病(假设)的集合，诊断结果必是U中确定的元素构成的A表示某一种(单元素)或某些种疾病大夫为了进行诊断所进行的各种检查就称作证据，有的证据所支持的常不只是一种疾病而是多种疾病，即U的一子集A。

定义1：差不多概率分配函数〔Basic probability assignment〕：对任一个属于U的子集A〔命题〕，命它对应于一个数m∈[0,1]，而且满足 那么称函数m为幂集2U上的差不多概率分配函数bpa，称m(A)为A的差不多概率数m(A)表示了证据对U的子集A成立的一种信任的度量，取值于[0,1]，而且2U中各元素信任的总和为1m(A)的意义为l 假设AÌU且A¹U，那么m(A)表示对A的确定信任程度l 假设A=U，那么m(A)表示那个数不知如何分配〔即不明白的情形〕例如， 设U={红，黄，白}，2U上的差不多概率分配函数m为m〔{ }，{红}，{黄}，{白}，{红,黄}，{红,白}，{黄,白}，{红,黄,白}〕=〔0，0.3，0，0.1，0.2，0.2，0，0.2〕其中，m({红})=0.3 表示对命题{红}的确定信任度m({红,黄,白})=0.2 表示不明白这0.2如何分配值得注意的是， m({红})+m({黄})+m({白}) =0.3+0+0.1=0.4<1因此，m不是概率，因为概率函数P要求P(红)+P(黄)+P(白)=1即有P(A)=1-P(~A)而那个地点 m(A)1-m(~A)其中：~A=U-A，是A的补集。

小结：bpa不同于Bayes方法，因为Bayes方法仅对U中单个元素给予一种信任――概率而关于bpa来说：l 给U的每个子集指派[0，1]中的一个数；l 空集的指派为0；l 所有子集的指派值之和等于1l m(U)只是总可信度的一部分在对U中的适当子集分派可信度之后，剩余的可信度就不再分派给其它任何子集，而只分派给U本身即：假如有一证据仅支持U的一个子集A，m(A)=S，而不支持其它任何子集B，那么指派m(U)=1-S，m(B)=0，B≠A，BU 定义2：信任函数〔Belief function〕：命题A的信任函数Bel：2U→[0,1]为 "AÍU表示对A的总信任即，命题A的信任函数的值，是A的所有子集的差不多概率之和例如，在前面的例子中Bel({红}，{白})=m({红})+m({白})+m({红,白})=0.3+0.1+0.2=0.6依照定义能够看出Bel()=0 Bel(U)=1单元素集上m与Bel是相等的，例如:Bel({红})=m({红})=0.3定义3：似然函数〔Plausibility function〕：命题A的似然函数Pl: 2U→[0,1]为 "AÍU表示关于不否定A的信任度，是所有与A相交的子集的差不多概率之和。

其中：～A=U-A，是A的补集信任函数与似然函数有以下的关系：0≤Bel(A)≤Pl(A)≤1Pl(A)-Bel(A)表示了既不信任A也不信任~A的一种度量，可表示对命题A是真是假不明白的度量用记号A[Bel(A)，Pl(A)]来综合描述A的不确定性其中，Bel(A)和Pl(A)分别表示命题A的下限函数和上限函数实际上m，Bel，Pl只要知其一，必可求得另两个，但三个函数有不同含义例如，在前面的例子中： m({红})=0.3Bel({红})=m({红})+m({ })=0.3+0=0.3 Pl({红})=1-Bel({~红}) =1-Bel ({黄,白}) =1-[ m({黄})+m({白})+m({黄,白})] =1-(0+0.1+0) =0.9因此，{红}[ Bel({红})，Pl({红})] = {红} [0.3，0.9]以以下举几个典型值的含义：A[1，1] 表示A为真因为Bel(A)=1， Bel(~A)= 1- Pl(A)=0。

A[0，0] 表示A为假因为Bel(A)=0, Bel(~A)= 1- Pl(A)=1 A[0，1] 表示对A一无所知因为：Bel(A)=0，说明对A缺少信任；Bel(~A)=1- Pl(A)=0，说明对~A也缺少信任A[0.6，1] 表示对A部分信任因为Bel(A)=0.6， Bel(~A)=0A[0，0.4] 表示对~A部分信任因为Bel(A)=0， Bel(~A)=0.6A[0.3，0.9]表示同时对A和~A部分信任2) 证据描述 设某个领域的辨别框U={S1,S2,…,Sn}，m为2U上定义的差不多概率分配函数，在下面描述的算法中，应满足如下条件： a) m({Si})≥0, 对Si∈U b) c) m(U)=1- d) m(A)=0, 对AÌU，且|A|≠1〔集合A的元素个数不为1，且又不包括全体元素〕例如，U={红，黄，白}时下面的差不多概率分配函数： m〔{红}，{黄}，{白}，{红,黄,白}，{ }〕=〔0.6，0.2，0.1，0.1，0〕其中，m〔{红,黄}〕= m〔{红,白}〕= m〔{黄,白}〕= 0。

定义4〔证据的信任函数〕：对任何命题AÍU，其信任函数为 Bel(A)= "AÌU Bel(U)=定义5 (证据的似然函数)： 对任何命题AÍU，其似然函数为 Pl(A)=1-Bel(～A)=1- AÌU =1- =1-[1-m(U)-Bel(A)] =m(U)+Bel(A) 依照以上定义，能够看出命题的信任函数和似然函数之间满足以下关系：l Pl(A)³Bel(A)l Pl(A)-Bel(A)=m(U)除了以A[Bel(A)，Pl(A)]来作为证据A的不确定性度量外，还可用类概率函数来度量定义6(类概率函数)：设U为有限域，对任何命题AÍU，命题A的类概率函数为其中|A|、|U|分别表示A和U所含元素个数类概率函数具有如下性质：1〕2) Bel(A)≤≤Pl(A)， "AÍU3) =1-， "AÍU依照以上性质，能够得出以下推论：1) 2〕3) 能够看出，类概率函数与概率函数具有专门相似的性质。

(3) 证据的组合关于同样的证据，由于来源不同，会得到不同的概率分配函数Dempster提出用正交和来组合这些函数定义7(正交和)：设m1,m2,…,mn为2U上的n个差不多概率分配函数，它们的正交和m(A)=〔m1m2…mn〕〔A〕为其中k-1=1-假设k-1＝0,那么mi之间是矛盾的，没有联合差不多概率分配函数假设k-1≠0,如此的mi就确定一个差不多概率分配函数常数k是依照m1m2…mn需对2U的所有元素的差不多概率分配之和为1来确定的这种规定称作Dempster组合规那么，要求m1m2…mn提供的证据满足某种独立性条件)2. 规那么的不确定性度量设某个领域的辨别框U={S1,…,Sn}，命题A、B、…为U的子集，推理规那么为E→H，CF其中，E、H为命题的逻辑组合，CF为可信度因子命题和可信度因子可表示为A={a1,…, ak }CF=(c1,…,ck)其中ci用来描述ai的可信度，i=1,2,…,k对任何命题A，A的可信度CF应满足：1) ci≥0，1≤i≤k 2)3. 推理运算(1) 当条件部分为命题的逻辑组合时，整个条件部分的确定性运算：=min{} 合取=max{} 析取(2) 结论部分的命题的确定性运算：即，，A→B (c1,…,ck)，如何运算。

思路：依照前面介绍的方法，第一运算差不多分配函数m(B),然后运算结论部分命题B的信任函数Bel(B)、似然函数Pl(B)，最后运算类概率函数和确定性 设B={b1,b2,…,bk}，且U={b1,b2,…,bk}，那么U上的差不多概率分配函数为 m({b1},…,{bk}) = (c1,…,ck) ci便可得3) 独立证据导出同一假设假如有n条规那么支持同一命题时，依照Dempster组合规那么，总的差不多概率分配函数m为各规那么结论得到的差不多概率分配函数的正交和：m=m1m2…mn例如， A1→B (c1,…, ck)A2→B ()以及如何运算第一运算总的差不多概率分配函数m=m1m2，然后运算命题B的信任函数、似然函数，进而可求出类概率函数例 U={a,b,c,d} 〔参见p101〕:{b,c,d}→0.7 U→0.3:{a,b} →0.6 U→0.4可列表求m=m1m2m1m2 因此{b}→0.42，{a,b}→0.18, {b,c,d}→0.28U→0.12 (=0.7(0.6+0.4)+0.3(0.6+0.4)=1)有了便可运算，如()({a,b})==m()+m({a})+m({b})+m({a,b})=0+0+0.42+0.18=0.60随之可运算，从而可得4. 举例 〔p102〕(1) =0.8. =0.6) |U|=20 →B={,} ()=(0.3,0.5) 来运算。

先运算=min{}=min{0.8,0.6}=0.6 进而运算=(0.6×0.3,0.6×0.5)=(0.18,0.3) 因此有Bel(B)=m()十m({})+m({})+ =0+0.18+0.。