




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第四章不确定性推理方法一个人工智能系统,由于知识本身的不精确和不完全,常采用非标准逻辑意义下的不确定性推理方法和非单调推理方法。对于不确定推理来说,不精确性如何描述以及如何传播是主要问题。
知识库是人工智能系统的核心,而知识库中的知识既有规律性的一般原理,又有大量的不完全的专家经验知识,这样的知识不可避免的带有模糊性、随机性、不可靠或不知道等不确定因素。一般地说,不确定性是来自知识的客观现实和知识的主观认识水平。不确定性是人们思维过程中经常出现的一种心理状态,人们在日常生活中要处理大量的不确定性问题。现实世界上几乎没有什么事情是完全确定的,处理不确定性的目的是希望得到对某一命题的精确判断。
不确定性推理概述不确定性推理方法的分类不确定性推理概述模型方法控制方法数值方法非数值方法启发式搜索相关性制导回溯基于概率的方法方法模糊推理方法可信度方法主观Bayse方法证据理论方法不确定性推理概述不确定性推理中的基本问题1、不确定性的表示2、推理计算3、不确定性的度量可信度方法可信度的概念以产生式作为知识表示的MYCIN中,第一次使用了不确定性推理方法,给出了以确定性因子或称可信度作为不确定性的度量。可信度方法知识不确定性的表示不确定性的推理计算证据不确定性的表示可信度方法应用举例(以下将综合对以上四小节进行讨论)1.规则的不确定性度量
规则以A→B表示,其中前提A可以是一些命题的合取或析取。MYCIN系统引入可信度CF作为规则不确定性度量。CF表示了增量
P(B│A)-P(B)
相对于P(B)或P(~B)的比值。其中P表概率。规定
规定
CF(B,A)表示了证据A为真时,相对于P(~B)=1-P(B)来说A对B为真的支持程度(当CF(B,A)≥0)。或相对于P(B)来说A对B为真的不支持程度(当CF(B,A)<0)。这种定义形式保证了-1≤CF(B,A)≤1。当P(B│A)-P(B)相同时,P(B)小的CF小,P(B)大的CF大。
容易看出CF(B,A)的几个特殊值:
(1)前提A真,结论B必真的情形。由P(B│A)=1来体现,这时CF(B,A)=1。
(2)前提A与结论B无关的情形。由P(B│A)=P(B)来体现,这时CF(B,A)=0。
(3)前提A与结论B无关的情形,由P(B│A)=0来体现,这时CF(B,A)=-1。
显然CF(B,A)≥0表示前提A真支持B真。CF(B,A)<0表示前提A真不支持B真。
不难看出,CF(B,A)的定义借用了概率,但它本身并不是概率。因为CF(B,A)可取负值,CF(B,A)+CF(B,~A)不必为1甚至可能为0。
实际应用中,A→B的CF(B,A)值是由专家主观确定的,并不是由P(B│A),P(B)来计算的。需注意的是CF(B,A)表示的是增量P(B|A)-P(B)对1-P(B)或P(B)的比值,而不是绝对量的比值。
结论不确定性的更新算法如下:3、信任函数
Bel:2U→[0,1]
Bel(A)=m(B)
即命题A的信任函数的值,是A的所有子集的基本概率分配函数会值的和,用来表示对A的总信任。m:2U→[0,1]
满足m(φ)=0
m(A)=1
m(A)表示了证据对U的子集成立的一种信任的度量,取值于[0,1],而且2U中各元素信任的总和为1,不同于Bayes方法,因为Bayes方法仅对U中单个元素赋予一种信任――概率。(1)当A确定必出现时,可直接使用
O(B|A)=LS·O(B)
O(B|~A)=LN·O(B)
以求得使用规则A→B后,O(B)的更新值O(B/A),O(B/~A)。若CF(A)>0,可以CF(A)·CF(B,A)作为对规则A→B的可信度,而CF(B|A)的计算仍可使用CF(A)=1时的公式。显然CF(B,A)≥0表示前提A真支持B真。结论不确定性的更新算法如下:P(
∧
|A')=max{P(
|A'),P(
|A')}不确定性是人们思维过程中经常出现的一种心理状态,人们在日常生活中要处理大量的不确定性问题。CF(B,A)<0表示前提A真不支持B真。这种定义形式保证了-1≤CF(B,A)≤1。(2)当A是不确定的,即P(A)≠1时,需作如下考虑。但CF(A)<0时,规则A→B可不使用,像MYCIN系统规定就认为是不可使用的前提。或说
已知CF(A1),CF(A2)以及CF(B,A1),CF(B,A2)来寻求合成的CF(B)。应指出,若通过引入信任增长度MB和不信任增长度MD来定义CF=MB-MD,并用MB、MD来计算合成的CF值,半群代数结构方可得到保证。2.证据的不确定性度量
证据A的不确定性也可以CF(A)表示,同样规定-1≤CF(A)≤1。
几个特殊值规定为
(1)A肯定为真时CF(A)=1。
(2)A肯定为假时,CF(A)=-1。
(3)对A一无所知时,CF(A)=0。
CF(A)>0表示A以CF(A)程度为真。
CF(A)<0表示A以CF(A)程度为假。
实际使用时,初始证据的CF值由专家提供,其它证据的CF值是需使用规则经推理求得。
3.推理计算
(1)已知CF(A),A→BCF(B,A)求CF(B)
规定CF(B)=CF(B,A)·max{0,CF(A)}
(2)规定CF(~A)=-CF(A)
CF(A1∧A2)=min{CF(A1),CF(A2)}
CF(A1∧A2)=max{CF(A1),CF(A2)}
(3)由规定→B求得CF(B),又使用规则→B时,如何更新CF(B)。或说
已知CF(A1),CF(A2)以及CF(B,A1),CF(B,A2)来寻求合成的CF(B)。
依(1)先计算出
CF1(B)=CF(B,A1)·max{0,CF(A1)}
CF2(B)=CF(B,A2)·max{0,CF(A2)}
进而规定
CF(B)的更新计算,也可这样来理解。已知CF(A),A→BCF(B,A)而B原来的可信度为CF(B),来求B的可信度更新值CF(B|A)。当CF(A)=1时,有
当CF(A)<1(证据A也是不确定的),这时CF(B|A)必然比CF(A)=1时的CF(B|A)来得小。若CF(A)>0,可以CF(A)·CF(B,A)作为对规则A→B的可信度,而CF(B|A)的计算仍可使用CF(A)=1时的公式。但CF(A)<0时,规则A→B可不使用,像MYCIN系统规定就认为是不可使用的前提。关于CF(B|A)的计算,对除CF(A),CF(B,A)均非负,以及CF(B),CF(B,A)均为负之外的其它情形,EMYCIN系统使用的是
应指出,若通过引入信任增长度MB和不信任增长度MD来定义CF=MB-MD,并用MB、MD来计算合成的CF值,半群代数结构方可得到保证。而在MYCIN中上述计算CF(B|A)的方法过于简单了,并不能保证CF合成计算的结合律了。基本Bayes公式主观Bayes方法以语义网络表示的PROSPECTOR系统,采用了主观Bayes方法来度量不确定性。引入两个数值(LS,LN)来作度量,LS表现规则成立的充分性,LN表现规则成立的必要性,这种表示既考虑了A的出现对B的支持,又考虑了A的不出现对B的影响。(4)若
→B,
→B而
,
相互独立,对
,
的有关观察分别为
',
'便有P(
∧
|A')=max{P(
|A'),P(
|A')}结论不确定性的合成与更新算法证据的不确定性度量
若用U表示所有可能的假设集合,而U的元素间是互斥的。这就是
O(B|A)=LS·O(B)(2)前提A与结论B无关的情形。不确定性是人们思维过程中经常出现的一种心理状态,人们在日常生活中要处理大量的不确定性问题。需注意的是CF(B,A)表示的是增量P(B|A)-P(B)对1-P(B)或P(B)的比值,而不是绝对量的比值。表示的是证据X的出现概率与不出现概率之比,显然随P(X)的加大O(X)也加大,而且
P(X)=0时O(X)=0
P(X)=1时O(X)=∞
这样,取值[0,1]的P(X)放大为取值[0,∞]便得O(X)。先建立几率函数(以下将综合对以上四小节进行讨论)4、似然函数
PI:2U→[0,1]
Pl(A)=1-Bel(~A)=m(B)
表示不否定A的信任度,是所有与A相交的子集的基本概率分配函数值的和。就以O(A)或P(A)表示证据A的不确定性,转换公式是当P(A|A‘)=1时,证据A必然出现有或相对于P(B)来说A对B为真的不支持程度(当CF(B,A)<0)。主观Bayes方法及其推理网络主观Bayes方法知识不确定性的表示主观Bayes方法1.对规则的不确定性度量
直接使用Bayes公式来做度量时,在计算P(B|A)时需要已知P(A|B),为避开这个困难,提出了主观Bayes方法。
对规则A→B的不确定性f(B,A)以(LS,LN)来描述。其中
下面分析一下LS,LN的意义。
先建立几率函数
知识不确定性的表示主观Bayes方法表示的是证据X的出现概率与不出现概率之比,显然随P(X)的加大O(X)也加大,而且
P(X)=0时O(X)=0
P(X)=1时O(X)=∞
这样,取值[0,1]的P(X)放大为取值[0,∞]便得O(X)。
不难验证
O(B|A)=LS·O(B)
O(B|~A)=LN·O(B)
由于知识不确定性的表示主观Bayes方法两者相比得
这就是
O(B|A)=LS·O(B)
相仿地也可得
O(B|~A)=LN·O(B)
由这两个公式可看出,LS表示A真时,对B为真的影响程度,表示规则A→B成立充分性。LN表示A假时,对B为真的影响程度,表示规则A→B成立的必要性。
知识不确定性的表示主观Bayes方法几个特殊值
由LS,LN的定义知,LS,LN均≥0,而且LS,LN不是独立取值的,只能出现LS>1,LN<1或LS<1,LN>1或LS=LN=1。但不能出现两者同时>1或同时<1。
在实际系统中,LS,LN的值是由专家凭经验给出的,而不是依LS,LN的定义来计算的。知识不确定性的表示主观Bayes方法
由LS,LN的定义知,LS,LN均≥0,而且LS,LN不是独立取值的,只能出现LS>1,LN<1或LS<1,LN>1或LS=LN=1。但不能出现两者同时>1或同时<1。
在实际系统中,LS,LN的值是由专家凭经验给出的,而不是依LS,LN的定义来计算的。显然CF(B,A)≥0表示前提A真支持B真。需注意的是CF(B,A)表示的是增量P(B|A)-P(B)对1-P(B)或P(B)的比值,而不是绝对量的比值。显然有,0≤Bel(A)≤Pl(A)≤1
而Pl(A)-Bel(A)表示了既不信任A也不信任~A的一种度量,可表示对不知道的度量,用区间(Bel(A),Pl(A))来描述A的不确定性。对任一AU,命题A表示了某些假设的集合(这样的命题间不再有互斥性)。由LS,LN的定义知,LS,LN均≥0,而且LS,LN不是独立取值的,只能出现LS>1,LN<1或LS<1,LN>1或LS=LN=1。CF(B,A)<0表示前提A真不支持B真。不确定性推理方法的分类表示的是证据X的出现概率与不出现概率之比,显然随P(X)的加大O(X)也加大,而且
P(X)=0时O(X)=0
P(X)=1时O(X)=∞
这样,取值[0,1]的P(X)放大为取值[0,∞]便得O(X)。表示的是证据X的出现概率与不出现概率之比,显然随P(X)的加大O(X)也加大,而且
P(X)=0时O(X)=0
P(X)=1时O(X)=∞
这样,取值[0,1]的P(X)放大为取值[0,∞]便得O(X)。就以O(A)或P(A)表示证据A的不确定性,转换公式是当CF(A)=1时,有推理计算
(1)已知CF(A),A→BCF(B,A)求CF(B)
规定CF(B)=CF(B,A)·max{0,CF(A)}
(2)规定CF(~A)=-CF(A)
CF(A1∧A2)=min{CF(A1),CF(A2)}
CF(A1∧A2)=max{CF(A1),CF(A2)}
(3)由规定→B求得CF(B),又使用规则→B时,如何更新CF(B)。已知CF(A),A→BCF(B,A)而B原来的可信度为CF(B),来求B的可信度更新值CF(B|A)。不难看出,CF(B,A)的定义借用了概率,但它本身并不是概率。这就是
O(B|A)=LS·O(B)证据不确定性的表示主观Bayes方法就以O(A)或P(A)表示证据A的不确定性,转换公式是不确定性的推理计算主观Bayes方法(1)当A确定必出现时,可直接使用
O(B|A)=LS·O(B)
O(B|~A)=LN·O(B)
以求得使用规则A→B后,O(B)的更新值O(B/A),O(B/~A)。若需要以概率表示,再由
计算出P(B|A),P(B|~A)。
不确定性的推理计算主观Bayes方法(2)当A是不确定的,即P(A)≠1时,需作如下考虑。
设A‘代表与A有关的所有观察,对规则A→B来说Duda1976年给出公式
P(B|A’)=P(B|A)·P(A|A)‘+P(B|~A)·P(~A|A’)
问题是当P(B|A‘),A→B(LS,LN)以及P(B)已知时,如何更新P(B)或说寻求P(B|A’)。
当P(A|A‘)=1时,证据A必然出现有
不难验证这公式是成立的。不确定性的推理计算主观Bayes方法(3)P(
∧
|A')=min{P(
|A'),P(
|A')}
P(
∧
|A')=max{P(
|A'),P(
|A')}
(4)若
→B,
→B而
,
相互独立,对
,
的有关观察分别为
',
'便有
结论不确定性的合成与更新算法主观Bayes方法结论不确定性的合成如下:结论不确定性的合成与更新算法主观Bayes方法结论不确定性的更新算法如下:证据理论
Dempster和Shafer提出的证据理论,可用来处理不知道所引起的不确定性。采用信任函数而不是概率作为不确定性度量,通过对一些事件的概率加以约束来建立信任函数而不必说明精确的难于获得的概率,当这种约束限制为严格的概率时,证据理论就退化为概率论了。
证据理论1.证据的不确定性度量
若用U表示所有可能的假设集合,而U的元素间是互斥的。对任一AU,命题A表示了某些假设的集合(这样的命题间不再有互斥性)。针对医疗诊断问题,U就是所有可能疾病(假设)的集合,诊断的结果必是U中确定的元素构成的。A表示某一种(单元素)或某些种疾病。医生为了诊断所进行的各种检查就称作证据,有的证据所支持的常不只是一种疾病而是多种疾病,即U的一子集A。
就以O(A)或P(A)表示证据A的不确定性,转换公式是推理计算
(1)已知CF(A),A→BCF(B,A)求CF(B)
规定CF(B)=CF(B,A)·max{0,CF(A)}
(2)规定CF(~A)=-CF(A)
CF(A1∧A2)=min{CF(A1),CF(A2)}
CF(A1∧A2)=max{CF(A1),CF(A2)}
(3)由规定→B求得CF(B),又使用规则→B时,如何更新CF(B)。已知CF(A),A→BCF(B,A)而B原来的可信度为CF(B),来求B的可信度更新值CF(B|A)。表示的是证据X的出现概率与不出现概率之比,显然随P(X)的加大O(X)也加大,而且
P(X)=0时O(X)=0
P(X)=1时O(X)=∞
这样,取值[0,1]的P(X)放大为取值[0,∞]便得O(X)。一般地说,不确定性是来自知识的客观现实和知识的主观认识水平。而在MYCIN中上述计算CF(B|A)的方法过于简单了,并不能保证CF合成计算的结合律了。显然CF(B,A)≥0表示前提A真支持B真。P(
∧
|A')=max{P(
|A'),P(
|A')}
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 地质勘探与矿产资源评价试题
- 艺术设计基础理论与创作实践题集
- 2025年应急管理专业资格考试试题及答案
- 2025年信息公开与政府透明度考试试题及答案
- 2025年网络工程与信息安全的实务能力测试题及答案
- 2025年老龄化社会与养老服务考试试卷及答案
- 2025年金融风险管理与金融科技考试试卷及答案
- 2025年健康教育与促进能力评估题及答案
- 2025年创新管理与企业发展考试试卷及答案
- 2025年产品设计与市场匹配考试试卷及答案
- 公安院校及专业招生政审表
- 史上最全区块链详解课件
- (完整版)杭州电子科技大学数字电路期末考试试卷及答案
- 建筑装饰装修工程质量验收规范试题
- 能源计量器具配备和管理
- 《食品经营许可证》申请报告书空白模板
- 试卷交接签字单
- 有限空间作业及应急物资清单
- DB13(J)∕T 8060-2019 城镇供热管道及设备安装工程施工质量验收标准
- 《国际商务》课程
- 压力容器设计管理制度
评论
0/150
提交评论