版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第五章不确定推理方法例:假设有如下的前提知识:(1)自然数是大于零的整数(2)所有整数不是偶数就是奇数(3)偶数除以2是整数求证:所有自然数不是奇数就是其一半为整数的数定义谓词:N(x)表示x是自然数I(x)表示x是整数,E(x)表示x是偶数,O(x)表示x是奇数GZ(x)表示x大于0,另外用函数S(x)表示x除以2确定性推理基于一阶谓词逻辑的归结推理方法是一种确定性的推理方法。依据的证据是确定的,谓词表示的知识要么为真,要么为假。推理过程也是以数理逻辑为基础,推理过程是严密的,所推出的结论也是确定的,即结论要么成立,要么不成立。不确定性推理信息不够完善、不够精确,即所掌握的知识具有不确定性。人们就是运用这种不确定性知识进行思维、推理、进而求解问题。所以,为了解决实际问题,必须对不确定知识的表示、推理过程等进行研究,这就是本章要讨论的不确定推理方法。不确定性知识的表示:可信度方法、主观Bayes方法和证据理论方法。5.2不确定性推理中的基本问题1、不确定性的表示(1)证据不确定性的表示(2)知识不确定性的表示2、推理计算(1)不确定性传递问题(2)证据不确定性的合成问题(3)结论不确定性的合成问题3、不确定性的度量5.3主观Bayes方法主观Bayes方法又称主观概率论,是由杜达等人于1976年提出的一种不确定推理模型,它是对概率论中基本Bayes公式的改进,是一种基于概率逻辑的方法。该方法在地矿勘探专家系统PROSPECTOR中得到了成功的应用。5.3.1基本Bayes公式设事件B1,B2,…,Bn是彼此独立、互不相容的事件,B1
B2…Bn=全集,且P(Bi)>0(i=1,2,…,n)。对于任一事件A能且只能与B1,B2,…,Bn中的一个同时发生,而且P(A)>0。推理网络H2E4H1E2AE1E3(200,0.1)(100,0.1)(2,0.001)(1,0.02)(0.8,2)(10,0.3)知识不确定性的表示IFETHEN(LS,LN)H(P(H))(LS,LN)是为度量产生式规则的不确定性而引入的一组数值,LS表示规则成立的充分性,用于指出证据E对结论H为真的支持程度;而LN则表示规则成立的必要性,用于指出证据E对结论H为真的必要性程度。不确定性的推理计算主观Bayes方法的任务是根据证据E的概率P(E)及影响结论的知识之规则强度(LS,LN),把H的先验概率P(H)更新为后验概率P(H/E)或P(H/~E)(2)证据肯定不出现的情况P(E)=0P(~E)=1知识规则强度(LN,LS)意义的讨论充分性度量LS的讨论(1)LS>1时,O(H/E)>O(H),再由P(x)与O(x)具有相同单调性特性,可得P(H/E)>P(E)。当LS>1时,由于证据E的出现,将增大结论H为真的概率,而且LS越大,P(H/E)就越大,即E对H为真的支持越强。(2)LS=1时O(H/E)=O(H)表明E与H无关。(3)LS<1时O(H/E)<O(H)表明由于证据E出现,将使H为真的可能性下降。(4)LS=0时O(H/E)=0这表明由于证据E出现,将使H为假。领域专家在为LS赋值时,可参考上面的讨论,当证据E愈是支持H为真时,则使相应LS的值愈大。(2)LN=1时O(H/
~E)=O(H)表明~E与H无关。(3)LN<1时O(H/~E)<O(H)表明由于证据E不出现,将使H为真的可能性下降。由此看出,E对H为真的必要性。(4)LN=0时O(H/~E)=0这表明由于证据E不出现,将使H为假。领域专家在为LN赋值时,可参考上面的讨论,当证据E对H愈是重要时,则使相应LN的值愈小。证据的不确定性证据的不确定性度量用几率函数来描述:
当A不确定时即P(A)≠1时A‘代表与A有关的所有观察,P(B|A‘)=P(B|A)P(A|A’)+P(B|~A)P(~A|A‘)
当P(A|A’)=1时,证据A必然出现
当P(A|A')=0时,证据A必然不出现
当P(A|A‘)=P(A)时,观察A’对A没有影响:P(B|A')=P(B)
确定性推理方法以产生式作为知识表示方法的专家系统MYCIN中,第一次使用了不确定性推理方法,给出了以确定性因子或称可信度作为不确定性的度量。这种推理方法也要解决几个方面的核心问题,即规则和证据的不确定性度量问题,不确定性的传播与更新问题。确定性方法遵循的原则:不采用严格的统计理论。使用的是一种接近统计理论的近似方法。用专家的经验估计代替统计数据尽量减少需要专家提供的经验数据,尽量使少量数据包含多种信息。新方法应适用于证据为增量式地增加的情况。专家数据的轻微扰动不影响最终的推理结论。规则的不确定性度量:有规则A→B,其可信度CF(B,A)定义如下:CF(B,A)表示的意义:证据为真是相对于P(~B)=1-P(B)来说,A对B为真的支持程度,即A发生更支持B发生,此时CF(B,A)≥0。
相对于P(B)来说,A对B为真的不支持程度。即A发生不支持B发生,此时CF(B,A)<0。它总是满足条件-1≤CF(B,A)≤1。CF(B,A)表示的意义:
CF(B,A)的特殊值:
CF(B,A)=1,前提真,结论必真
CF(B,A)=-1,前提真,结论必假
CF(B,A)=0,前提真假与结论无关
实际应用中CF(B,A)的值由专家确定证据A的可信度用CF(A)来表示,为了计算方便,规定:
-1≤CF(A)≤1
不难理解,可信度CF(A)的如下特殊值的含义:
CF(A)=1,前提肯定真
CF(A)=-1,前提肯定假
CF(A)=0,对前提一无所知
CF(A)>0,表示A以CF(A)程度为真
CF(A)<0,表示A以CF(A)程度为假
实际使用时,初始证据的CF值有专家根据经验提供,其它证据的CF通过规则进行推理计算得到。不确定性的传播与更新"与"的计算:A1∧A2→B
CF(A1∧A2)=min{CF(A1),CF(A2)}"或"的计算:A1∨A2→B
CF(A1∨A2)=max{CF(A1),CF(A2)}“非”的计算:CF(~A)=-CF(A)由A,A→B,求CF(B):
CF(B)=max(0,CF(A))·CF(B,A)
合成由规则A1→B可求得CF1(B),同时又有规则A2→B,可求得CF2(B)。如何计算其合成后的可信度CF(B)?
先有:
CF1(B)=max(0,CF(A1))·CF(B,A1)
CF2(B)=max(0,CF(A2))·CF(B,A2)CF(B)的更新计算:已知证据A的可信度CF(A),结论B的原有可信度CF(B),求A通过规则A→B,作用到B后,B的可信度的更新值CF(B|A)。
当CF(A)=1时,即A必然发生时:当0<CF(A)≤1时,即A可能发生时:
此时取CF(A)*CF(B,A)代替上式中的规则可信度CF(B,A)即可。即更新后的可信度公式为:当CF(A)<0时,即A不可能发生时:
规则A→B不使用,即认为不可能发生的事件(A为假的事件)对结果B没有影响。在MYCIN系统规定CF(A)<0.2就认为规则不可使用。注意:以上公式不满足组合交换性。
而且,EMYCIN系统(MYCIN的修正版)对于CF(B),CF(B,A)符号不同时(一个为正,一个为负),采用下面的公式来计算:
修改后的公式克服了原来的组合不可交换的缺点。已知R1:A1→B1CF(B1,A1)=0.8
R2:A2→B1CF(B1,A2)=0.5
R3:B1∧A3→B2CF(B2,B1∧A3)=0.8
CF(A1)=1CF(A2)=1CF(A3)=1;CF(B1)=0CF(B2)=0;
计算CF(B1)、CF(B2)依规则R1,CF(B1|A1)=CF(B1)+CF(B1,
A1)(1-CF(B1))=0.8,即更新后CF(B1)=0.8依规则R2:CF(B1|A2)=CF(B1)+CF(B1,A2)(1-CF(B1))=0.9
更新后CF(B1)=0.9依R3,先计算CF(B1∧A3)=min(CF(A3),CF(B1))=0.9由于CF(B1∧A3)<1,CF(B2|B1∧A3)=CF(B2)+CF(B1∧A3)×CF(B2,B1∧A3)×(1-CF(B2)
)
=0+0.9×0.8(1-0)=0.72答:更新后的可信度分别是:CF(B1)
=0.9,CF(B2)
=0.72 确定性方法的宗旨不是理论上的严密性,而是处理实际问题的可用性。 同时,也不可能一成不变地用于任何领域,甚至也不能适用于所有科学领域,推广至一个新领域时必须根据具体情况修改。1.已知:
规则
R1:E1→H,CF(H,E1)=0.9
R2:E2→
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 区块链技术在金融安全领域的应用及案例分析
- 健康医疗行业从业者的职业规划建议
- 2025年物流师(高级)职业技能鉴定试卷物流企业创新管理附答案
- 激光加工技术在制造业的应用前景
- 创业者的法律宝典:公司注册与运营指南
- 2025年(完整版)托幼机构卫生保健人员培训试卷附答案
- 2025年检验师专业实践能力真题附答案
- 2026江西昌华路建设咨询监理有限公司招聘备考题库及参考答案详解【培优】
- 按劳分配为主体、多种分配方式并存(教学设计)2025-2026学年统编版道德与法治八年级下册
- 7年级数学寒假作业16 一元一次方程的应用(巩固培优)(原卷版)
- 冰雪文化英语谈知到章节答案智慧树2023年哈尔滨师范大学
- 上市公司内部控制手册模板
- 日本商务礼仪培训(中文)
- 2021年高一下物理第六章《圆周运动》测试卷及答案解析
- 高考作文复习:议论文写作之驳论文段指导
- GB/T 26948.1-2011工业车辆驾驶员约束系统技术要求及试验方法第1部分:腰部安全带
- GB/T 25477-2010防腐磁性翻柱式液位计
- GB/T 16582-2008塑料用毛细管法和偏光显微镜法测定部分结晶聚合物熔融行为(熔融温度或熔融范围)
- 压力性损伤的预防
- 紫外线消毒灯使用管理制度
- 异步电机调压调速控制系统设计与仿真设计
评论
0/150
提交评论