北航多源信息融合证据理论基础课件

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,.,*,万,江,文,多源测试信息融合,证据理论基础（,1,）,.,万 江 文多源测试信息融合证据理论基础（1）.,1,主要内容,引言,证据理论基础,证据理论研究现状,未来研究方向,.,2024/11/12,2,主要内容引言.2023/9/282,主要内容,引言,证据理论基础,证据理论研究现状,未来研究方向,.,2024/11/12,3,主要内容引言.2023/9/283,1,引言,主观贝叶斯理论的缺点：,(1),要求概率（各证据之间）都是独立的；,(2),要求先验概率,P(O,i,),和条件概率,P(D,j,|O,i,),；,(3),要求统一的识别框架，不能实现不同层,次的组合；,(4),不能区分“不确定”和“不知道”。,.,2024/11/12,4,1 引言主观贝叶斯理论的缺点：.2023/9/284,1,引言,不确定性分类,不确定性可以分为,随机性,、,模糊性,和,认识不确定性,三种。,随机性,：在自然界中客观存在，可根据历史资料得到的统计数字来描述，常用概率论和数理统计来解决这方面问题。,模糊性,：通常指发生在概念上的模糊，如大、中、小界限的模糊等。模糊理论是处理此问题的有力工具。,认识的不确定性,：是由于人们认识水平的局限以及知识缺乏所造成的。,随机性和模糊性是,客观的不确定性,，认识的不确定性是,主观的不确定性,。,.,2024/11/12,5,1 引言不确定性分类.2023/9/285,1,引言,概率的解释,证据理论出现以前，概率的解释主要有,客观解释,，,个人主义解释,及,必要性解释,。,客观解释概率,：认为概率描述了一个可以重复出现事件的客观事实，用试验次数趋于无穷时，该事件发生的频率的极限来刻划。,个人主义解释,：认为概率反映了个人的某种偏好，它根据某个人在赌博中或其他带有不确定性结果的事件中所表现出来的行为来推算。,.,2024/11/12,6,1 引言 概率的解释.2023/9/286,1,引言,必要性解释,：则认为概率是测量一个命题推出另一个命题程度的量，这个量由两个命题之间的逻辑关系完全决定，与个人的偏好无任何关系，又称为,逻辑主义解释,。,Shafer,指出以上三种概率的解释都,没有涉及概率推断的构造特征,，因此，,Shafer,提出了对概率的第四种解释,构造性解释,:,概率是指某人在证据的基础上构造出的他对某一命题为真的信任程度，简称信度。,.,2024/11/12,7,1 引言 必要性解释：则认为概率是测量一个命,主要内容,引言,证据理论基础,证据理论研究现状,未来研究方向,.,2024/11/12,8,主要内容引言.2023/9/288,4.2,证据理论基础,证据理论的起源,证据理论源于,20,世纪,60,年代美国哈弗大学的数学家,A.P.Dempster,利用上、下概率来解决多值映射问题方面的研究工作。后来他的学生,G.Shafer,对证据理论做了进一步的发展和推广完善，引入了信任函数概念，形成了一套利用,证据,和,组合,来处理不确定性推理问题的数学方法。它作为一种不确定性推理方法，正受到越来越多的关注。称为,（,D-S,）证据理论,和,信任函数理论,。,.,2024/11/12,9,4.2 证据理论基础证据理论的起源.2023/9/289,2,证据理论基础,（,1),识别框架,假设现有一个判决问题，对于该问题我们所能认识到的,所有可能答案,的集合用,表示，且,中的所有元素都满足两两互斥；任一时刻的问题答案只能取,中的某一子集，答案可以是数值变量，也可以是非数值变量，则称此互不相容命题的完备集合,为,识别框架,，,可表示为：,(2-1),其中,i,为识别框架的一个,元素,或,事件,。,.,2024/11/12,10,2 证据理论基础（1)识别框架.2023/9/2810,2,证据理论基础,（,1),识别框架（续,1,）,集合,的选取问题,识别框架的选取,集合,的选取依赖于我们的,认识水平,和,知识结构,包含我们,所知道的,和,想要知道的,。当一个命题对应于该识别框架的一个子集时，称该框架能够识别该命题，否则认为识别框架是无效的。因此，,的选取应当足够的丰富，使我们所考虑的任何特定的命题集都可以对应于,的某一集类,R,，（,R,）称为,命题空间,。当,中含有,N,个元素时，,R,中最多有,2,N,个子集。需要说明的是，集合,可以为,有限集,也可以为,无限集,。本课程只讨论,有限集,。,.,2024/11/12,11,2 证据理论基础（1)识别框架（续1）.2023/9/28,2,证据理论基础,（,1),识别框架（续,2,）,由识别框架中所有子集构成的一个有限集合称为,的,幂集合,，记作,(2-2,),其中,表示空集。,识别框架的任一子集,A,都对应于一个命题，一般可描述为“,问题的答案在,A,中,”。,.,2024/11/12,12,2 证据理论基础（1)识别框架（续2）.2023/9/28,2,证据理论基础,例,1:,以掷骰子为例，要判断其可能所出现的点数，则识别框架,=,1,2,3,4,5,6,，而,1,则表示“掷出的点数为,1,”,，则,2,4,6,表示“掷出的点数为偶数”，,1,2,3,4,5,则表示“掷出的点数不为,6,”,，即“掷出的点数为,1,2,3,4,5,中的某一个”。由此可见，幂集合中的每一个,子集,A,都代表一个,命题,。,.,2024/11/12,13,2 证据理论基础例1:.2023/9/2813,2,证据理论基础,证据理论是建立在识别框架基础上的推理模型，其,基本思路如下,：,a),建立识别框架,。利用集合论方法来研究命题；,b),建立初始信任分配,。根据证据提供的信息，分配证据对每一集合（命题）,A,本身的支持程度，该支持程度不能再细分给,A,的真子集。,c),根据因果关系，计算所有命题的信任度,。一个命题的信任度等于证据对它的所有前提的初始信任度之和。这是因为，若证据支持一个命题，则他同样支持该命题的推论。,d),证据合成,。利用证据理论合成公式融合多个证据提供的信息，得到各命题融合后的信任度。,e),根据融合后的信任度进行,决策,，一般选择信任度最大的命题。,.,2024/11/12,14,2 证据理论基础 证据理论是建立在识别框架基础上,2,证据理论基础,证据函数,(2),证据函数,证据是整个证据理论的核心，证据函数又是描述证据的有力工具。下面将详细介绍证据理论中几个证据函数的基本概念及相关定理。,基本置信度指派函数；,信任度函数；,似真度函数,等,.,2024/11/12,15,2 证据理论基础证据函数(2)证据函数,2,证据理论基础,基本置信度指派函数,定义,1:,设,为一识别框架，函数,m,是,2,0,1,的映射，,A,为,2,任一子集，记作 ，且满足：,(2-3),则称,m,是,2,上的,基本置信度分配函数,，,也称为,质量函数,或,mass,函数,。,m(A),为命题,A,的,基本置信度指派值,，表示证据对,A,的信任程度，空集,的基本信任分配值为,0,。,.,2024/11/12,16,2 证据理论基础基本置信度指派函数定义1:设为一识别框,2,证据理论基础,基本置信度指派函数,基本置信度指派函数相关的几个定义（,1,）,对于识别框架的任一子集,A,，只要满足,m(A)0,，则称,A,为证据的,焦元,。,证据的焦元和它的基本置信度指派构成的二元体,(A,m(A),称为,证据体,证据是由若干证据体组成。,.,2024/11/12,17,2 证据理论基础基本置信度指派函数基本置信度指派函数相关,2,证据理论基础,基本置信度指派函数,基本置信度指派函数相关的几个定义（,2,）,焦元中所包含识别框架中的元素个数称为该焦元的,基,，记作,|A|,。,当子集,A,中只包含一个元素时，即,|A|=1,，称为,单元素焦元,。当子集,A,中包含,i,个元素时，即,|A|=,i,，称为,i,元素焦元,。,全体焦元的集合称为证据的,核,。,核就是,识别框架的幂集,2,吗,?,.,2024/11/12,18,2 证据理论基础基本置信度指派函数基本置信度指派函数相关,2,证据理论基础,基本置信度指派函数,基本置信度指派函数的作用,把,的任一子集都映射到,0,1,上的一个数,m(A),：,（,1,）,当,A,由单个元素组成时，,m(A),表示对相应命题,A,的精确信任度；,（,2,）当 ，,A,，,且,A,由多个元素组成时，,m(A),也是相应命题,A,的精确信任程度，但却不知道这部分信任度该分给,A,中的哪些元素；,（,3,）当,A=,时，,m(A),是对,的各个子集进行信任分配后剩下的部分，它表示不知道该如何对它进行分配。,.,2024/11/12,19,2 证据理论基础基本置信度指派函数基本置信度指派函数的作,2,证据理论基础,基本置信度指派函数,例,2,：,泄漏诊断时，设识别框架,=A1,，,A2,，,A3,，,A1,表示“发生大泄漏”，,A2,表示“发生小泄漏”，,A3,表示无泄漏，基本置信度指派分别为,m(,)=0,，,m(A1)=0.3,，,m(A2)=0,，,m(A3)=0.1,m(A1,，,A2)=0.2,，,m(A1,，,A3)=0.2,，,m(A2,，,A3)=0.1,，,m(A1,，,A2,，,A3)=0.1,返例,3,.,2024/11/12,20,2 证据理论基础基本置信度指派函数例2：返例3.2023,2,证据理论基础,基本置信度指派函数,当,A=A1,时，,m(A)=0.3,，它表示对命题“答案是大泄漏”的精确信任度为,0.3,。,当,A=A1,，,A2,时，,m(A)=0.2,，它表示对命题“答案或是大泄漏，或是小泄漏”的精确信任度为,0.2,，但却不知道该把这,0.2,分给,大泄漏,还是分给,小泄漏,。,当,A=A1,，,A2,，,A3,时，,m(A)=0.1,，它表示不知道该把它如何分配；它不属于,A1,，就属于,A2,或,A3,，只是基于现有的知识，还不知道该如何进行分配。,.,2024/11/12,21,2 证据理论基础基本置信度指派函数 当A,2,证据理论基础,信任度函数,定义,2:,信任度函数,：集合,A,是识别框架,的任一子集，,A,中全部子集对应的基本置信度之和称为信任函数,Bel(A),，即,Bel,：,2,0,，,1,其中，,Bel(A),成为事件,A,的信任值，它表示证据对,A,为真的信任程度；空集的信任值为,0,。,.,2024/11/12,22,2 证据理论基础信任度函数定义2:.2023/9/282,2,证据理论基础,信任度函数,信任度函数表示对假设的信任程度的,下限估计,。由信任度分配函数的定义容易得到：,如果对于,中的任意两个子集,A,1,A,2,，满足：,则称为,弱信任度函数,。,.,2024/11/12,23,2 证据理论基础信任度函数 信任度函数表示对假设的,2,证据理论基础,信任度函数,例,3,：,同,例,2,，已知：,m(,)=0,，,m(A1)=0.3,，,m(A2)=0,，,m(A3)=0.1,m(A1,，,A2)=0.2,，,m(A1,，,A3)=0.2,，,m(A2,，,A3)=0.1,，,m(A1,，,A2,，,A3)=0.1,求,.,Bel(A1),和,Bel(A1,A2),的信任度值,.,解：根据题意，可得,Bel(A1)=m(A1)=0.3,Bel(A1,A2)=m(A1)+m(A2)+m(A1,A2)=0.5.,.,2024/11/12,24,2 证据理论基础信任度函数例3：同例2，已知：.2023,2,证据理论基础,信任度函数,引理,1,:,假设,A,是一个有限集合，则下式成立,证明：令 是一个有限的非空集合，其中,n,为正整数，则有,.,2024/11/12,25,2 证据理论基础信任度函数引理1:假设A是一个有限集合,2,证据理论基础,信任函数,引理,2.2,:,若,A,