人工智能[第四章不确定推理方法]山东大学期末考试知识点复习

合集下载

人工智能[第四章不确定推理方法]山东大学期末考试知识点复习

人工智能[第四章不确定推理方法]山东大学期末考试知识点复习
3.不确定性的推理计算
不确定性的推理计算是从不确定的初始证据出发,通过运用相关的不确定性 知识,最终推出结论并求出结论的可信度值。
(1)只有单条知识支持结论时,结论可信度的计算方法
如果支持结论的知识只有一条,且已知证据 E 的可信度 CF(E)和规则(知 识)(IF E THEN H)的可信度为 CF(H,E),则结论 H 的可信度计算公式如下:
CF(H)=CF(H,E)×max{0,CF(E)} (4.2)
若 CF(E)<0,即相应证据以某种程度为假,则 CF(H)=0,说明在该模型中没
山东大学 期末考试知识点复习
有考虑证据为假时对结论 H 所产生的影响。当证据为真,即 CF(E)=1 时,有 CF(H)=CF(H,E),说明当证据 E 为真时,结论 H 的可信度即为规则的可信度 CF(H, E)。
2.证据不确定性的表示
如果支持结论的证据只有一条,则证据可信度值的确定分两种情况:第一种 情况是,证据为初始证据,其可信度的值一般由提供证据的用户直接指定,指定 的方法也是用可信度因子对证据不确定性进行表示,例如 CF(E)=0.8 表示证据 E 的可信度为 0.8。第二种情况就是用先前推出的结论作为当前推理的证据,对 于这种情况的证据,其可信度的值在推出该结论时通过不确定性传递算法计算得 到(传递算法将在下面讨论)。证据 E 的可信度 CF(E)也是在[-1,1]上取值。
1.知识不确定性的表示 在基于可信度的不确定性推理模型中,知识是以产生式规则的形式表示的。 其一般形式为
IF E THEN H (CF(H,E)) 其中:CF(H,E)是该条知识的可信度,称为可信度因子(Certainty Factor)或规 则强度。
在专家系统 MYCIN 中,CF(H,E)被定义为 CF(H,E)=MB(H,E)-MD(H,E)

人工智能教程习题及答案第4章习题参考解答

人工智能教程习题及答案第4章习题参考解答

第四章不确定性推理习题参考解答4.1 练习题4.1什么是不确定性推理?有哪几类不确定性推理方法?不确定性推理中需要解决的基本问题有哪些?4.2什么是可信度?由可信度因子CF(H,E)的定义说明它的含义。

4.3什么是信任增长度?什么是不信任增长度?根据定义说明它们的含义。

4.4当有多条证据支持一个结论时,什么情况下使用合成法求取结论的可信度?什么情况下使用更新法求取结论可信度?试说明这两种方法实际是一致的。

4.5设有如下一组推理规则:r1:IF E1THEN E2(0.6)r2:IF E2AND E3THEN E4 (0.8)r3:IF E4THEN H (0.7)r4:IF E5THEN H (0.9)且已知CF(E1)=0.5,CF(E3)=0.6,CF(E5)=0.4,结论H的初始可信度一无所知。

求CF(H)=?4.6已知:规则可信度为r1:IF E1THEN H1(0.7)r2:IF E2THEN H1(0.6)r3:IF E3THEN H1(0.4)r4:IF (H1AND E4) THEN H2(0.2)证据可信度为CF(E1)=CF(E2)=CF(E3)=CF(E4)=CF(E5)=0.5H1的初始可信度一无所知,H2的初始可信度CF0(H2)=0.3计算结论H2的可信度CF(H2)。

4.7设有三个独立的结论H1,H2,H3及两个独立的证据E1与E2,它们的先验概率和条件概率分别为P(H1)=0.4,P(H2)=0.3,P(H3)=0.394P(E1/H1)=0.5,P(E1/H2)=0.6,P(E1/H3)=0.3P(E2/H1)=0.7,P(E2/H2)=0.9,P(E2/H3)=0.1利用基本Bayes方法分别求出:方法分别求出:(1)当只有证据E1出现时,P(H1/E1),P(H2/E1),P(H3/E1)的值各为多少?这说明了什么?么?(2)当E1和E2同时出现时,P(H1/E1E2),P(H2/E1E2),P(H3/E1E2)的值各是多少?这说明了什么?明了什么?4.8在主观Bayes方法中,请说明LS与LN的意义。

逻辑学[第四章简单命题及其推理]-山东大学期末考试知识点复习

逻辑学[第四章简单命题及其推理]-山东大学期末考试知识点复习

第四章简单命题及其推理一、直言命题。

直言命题的定义、结构、种类、主项和谓项的周延性、同素材直言命题AEIO的真假条件以及其间的对当关系。

要点是:直言命题的定义;直言命题主谓项的周延性;直言命题的真假条件与对当关系。

二、直接推理。

依据直言命题间的对当关系所进行的直接推理和运用直言命题变形所进行的直接推理。

三、三段论。

三段论的定义、结构、公理、一般规则,三段论的格与式,以及三段论的省略形式。

要点是:三段论的结构、公理及一般规则。

四、关系命题。

关系命题的定义、结构、逻辑性质(包括对称关系、反对称关系和非对称关系,传递关系、反传递关系和非传递关系)。

关系的性质以及由此相区别的关系的不同种类,是这部分的中心内容。

五、关系推理。

对称性关系推理和反对称性关系推理,传递性关系推理和反传递性关系推理。

【重点】一、直言命题的真假决定于主谓项之间的关系命题的真假,从命题的内部结构来看,其真假条件就是主谓关系。

(一)SAP的真假条件SAP真实的条件是:1.主谓项具有全同关系。

2.主谓项具有真包含于关系。

因为,既然所有的S类分子都是P类分子,或者都包含于P类分子之中,那么,所有的S都是P就是真的。

SAP为假的条件是:S类分子与P类分子具有真包含关系或交叉关系或全异关系。

1.真包含关系。

因为,如果S类分子真包含着P类分子,那么,全部P类分子就都是S类分子,而S类分子有的却并非P类分子。

2.交叉关系。

S 类分子有一部分是P类分子,而还有部分S类分子不是P类分子。

3.全异关系。

S类分子全都不是P类分子。

所以,在这三种条件下,“所有S类分子都是P类分子”就都是假的。

(二)SEP的真假条件SEP真实的条件是S与P具有全异关系。

因为,既然S类和P类分子没有一个相同,那么,所有S类分子都不是P类分子就是个真命题。

而当具有全同关系、真包含于关系、真包含关系或交叉关系时,SEP就都是假命题。

(三)SIP的真假条件SIP在S与P具有全同关系、真包含于关系、真包含关系和交叉关系的条件下,都至少有一个S类分子是P,所以,SIP都是真实的。

人工智能第4章(不确定性推理方法)

人工智能第4章(不确定性推理方法)
28
例:容器里的球
现分别有 A,B 两个容器,在容器 A 里分别有 7 个红球和 3 个白球,在容器 B 里有 1 个红球和 9 个白球。
现已知从这两个容器里任意抽出了一个球,且是红球, 问:这个红球是来自容器 A 的概率是多少?
假设已经抽出红球为事件 B,从容器 A 里抽出球为事件 A, 则有:P(B) = 8 / 20 P(A) = 1 / 2 P(B | A) = 7 / 10,
证据(前提)的不确定性表示 规则的不确定性表示 推理计算---结论的不确定性表示
11
证据的不确定性度量
单个证据的不确定性获取方法:两种 初始证据:由提供证据的用户直接指定,用可信度因子对 证据的不确定性进行表示。如证据 E 的可信度表示为 CF(E)。 如对它的所有观测都能肯定为真,则使CF(E)=1;如能肯定 为假,则使 CF(E)=-1 ;若它以某种程度为真,则使其取小 于1的正值,即0< CF(E)<1;若它以某种程度为假,则使其 取大于 -1 的负值,即-1< CF(E)<0; 若观测不能确定其真假, 此时可令CF(E)=0。
P (H | E) - P (H) , 当 P (H | E) P (H) 1 P (H) CF(H, E) P (H | E) - P (H) , 当P (H | E) P (H) P (H)
15
确定性方法
规则
规则的不确定性表示 证据(前提)的不确定性表示 推理计算—结论的不确定性表示
24
规则
(推理计算 4)
CF(E) < =0,
规则E H不可使用,即此计算不必进行。
0 < CF(E) <= 1,

人工智能期末复习概要

人工智能期末复习概要
当MD(H,E)>0时,应该有P(H/E)< P(H),那么有 MB(H,E)=0
当MB(H,E)>0时,则为P(H/E)> P(H),那么有 MD(H,E)=0
如果P(H/E)= P(H),则MD(H,E)= MD(H,E)=0表 示,E与H无关
第四章 不确定性推理
不确定性的传递问题
– 单条知识
第四章 不确定性推理
可信度方法 组合证据不确定性表示
– 当多个证据以合取得方式构成一个组合证 据的时候,组合证据的可信度为这些单一 证据的可信度最小值;
– 当多个证据以析取得方式构成一个组合证 据的时候,组合证据的可信度为这些单一 证据的可信度最大值;
第四章 不确定性推理
– MB(H,E):信任增长度 – MD(H,E):不信任增长度 – MB(H,E)与MD(H,E)是互斥的 – 解释
学习目标
– 了解不确定性推理的含义、思路和讨论的 主要问题。
– 掌握可信度方法、主观Bayes方法和证据 理论不确定性推理方法
第四章 不确定性推理
计算问题
– 不确定性的传递问题 – 证据不确定性的合成问题 – 结论不确定性的合成问题
第四章 不确定性推理
可信度方法 知识不确定性的表示
– 在基于可信度的不确定性推理模型中,知 识是以产生式规则来表示的,而只是的不 确定性则是以可信度CF(H,E)来表示的, 其一般的形式为:
第一章 绪论
课程研究的主要内容
– 知识表示 – 推理方式
确定性推理(主要归结原理) 不确定性推理
– 搜索技术研究
普通图搜索 超图搜索(与或图搜索)
第一章 绪论
需要解决的问题:
– 万能的人工智能的知识体系结构从根本上 就不可能有,最根本的原因是缺乏知识。 人是根据知识行事的,而不是根据抽象原 则上进行推理。

人工智能复习总结讲解

人工智能复习总结讲解

LIKE(x,y): x 喜欢 y。
Meihua 表示梅花,Juhua 表示菊花,
(x)(MAN(x) ∧ LIKE(x, Meihua))∧
(y)(MAN(y) ∧ LIKE(y, Juhua))∧
(z)(MAN(z) ∧(LIKE(z, Meihua)
∧LIKE(z,Juhua)))
(6)他每天下午都去打篮球。
公式。 Computer(zhangxh)∧ ¬Like(zhangxh, programming) Higher(lixp, father(lixp)) 例 2:设有下列语句,请用相应的谓词公式把它们表示出来: (1)人人爱劳动。 (2)自然数都是大于零的整数。 (3)西安市的夏天既干燥又炎热。 (4)喜欢读《三国演义》的人必读《水浒》。 (5)有的人喜欢梅花,有的人喜欢菊花,有的人既喜欢梅花又喜欢菊花。 (6)他每天下午都去打篮球。
例: 一个用来描述硕士生有关情况的框架 Frame <硕士生>
姓名: 单位(姓,名) 性别:范围(男,女)
默认:男 年龄:单位(岁)
条件:岁>16 学习专业:单位(专业名)
研究方向:单位(方向名) 导师姓名:单位(姓,名) 参加课题:范围(国家级,省部级,其他)
默认:国家级 学籍:<硕学籍> 住址:单位(楼号,房间号) 电话:单位( (区号),话机号) 入学时间:单位(年,月) 学制:单位(年)
➢ 张晓辉是一名计算机系的学生,但他不喜欢编程序。 ➢ 李晓鹏比他父亲长得高。 请用谓词公式表示这些知识。 (1)定义谓词及个体。 Computer(x):x 是计算机系的学生。 Like(x,y):x 喜欢 y。 Higher(x,y):x 比 y 长得高。 这里涉及的个体有:张晓辉(zhangxh),编程序(programming), 李晓鹏(lixp),以及函数 father(lixp)表示李晓鹏的父亲。 ➢ 第二步:将这些个体代入谓词中,得到 Computer(zhangxh) ¬Like(zhangxh, programming) Higher(lixp, father(lixp)) 第三步:根据语义,用逻辑联结词将它们联结起来,就得到了表示上述知识的谓词

人工智能精品:不确定推理方法

人工智能精品:不确定推理方法

(3)CF(H,E)是该条知识的可信度,称为可信度因子(Certainty Factor)。
在专家系统MYCIN中,CF(H,E)被定义为
CF(H,E)=MB(H,E)-MD(H,E)
(4.2.1)
其中,MB(Measure belief)称为信任增长度,它表示因与前提条件E匹配的 证据的出现,使结论H为真的信任增长度。MD(Measure Disbelief)称为不信 任增长度,它表示因与前提条件E匹配的证据的出现,对结论H为真的不信任 增长度。
(4.2.6)
4.2 可信度方法
4.2.4 不确定性的推理计算
不确定性的推理计算是从不确定的初始证据出发,通过运用相关的
不确定性知识,最终推出结论并求出结论的可信度值。
只有单条知识支持结论时,结论可信度的计算方法
如果支持结论的知识只有一条,且已知证据E的可信信度CF(H,E),则结论H的可信度计算公式如下:
4.1 不确定推理概述
• 4.1.1 不确定推理的概念
所谓推理就是从已知事实出发,运用相关的知识(或规则)逐步
推出结论或者证明某个假设成立或不成立的思维过程。其中,已知事
实和知识(规则)是构成推理的两个基本要素。已知事实是推理过程
的出发点及推理中使用的知识,我们把它称为证据,而知识(或规则)
则是推理得以向前推进,并逐步达到最终目标的根据。

个人工智能系统由总数据库、知识库和推理机构成。其中,总数据库
就是已知事实的集合,而知识库即是规则库,是一些人们总结的规则
的集合,推理机则是由一些推理算法构成,这些算法将依据知识库中
的规则和总数据库中的事实进行推理计算。其中,知识库是人工智能
系统的核心。
4.1 不确定推理概述

人工智能不确定知识表示及推理讲义

人工智能不确定知识表示及推理讲义

15.07.2021
人工智能不确定知识表示 及推理
1.3 主观Bayes方法
15.07.2021
人工智能不确定知识表示 及推理
一、不确定性的表示 1、知识的不确定性表示
IF E THEN (LS,LN) H (P(H))
P(E)
P(H)
LS,LN
E
H
LS,LN(0)分别称为充分性量度和必要性量度,这两个数值由 领域专家给出。
E
H
规则的不确定性通常用一个数值f(E,H)表示,称为规则强度。
规则的假设(结论)H也可以作为其他规则的证据,其不确定用 C(H)表示,C(H)必须通过不确定性的更新算法来计算。
15.07.2021
人工智能不确定知识表示 及推理
在确定一种量度方法及其范围时,应注意以下几点:
✓ 量度要能充分表达相应的知识和证据的不确定性程度。 ✓ 量度范围的指定应便于领域专家及用户对不确定性的估计。 ✓ 量度要便于对不确定性的更新进行计算,而且对结论算出 的不确定性量度不能超出量度的范围
Bayes方法用于不精确推理的条件是已知:P(E),P(H) ,P(E | H)
对于一般的不精确推理网络,必须做如下约定:
①若一组证据E1,E2,En同时支持假设H时,则: 对于H,E1,E2,En之间相互独立
②当一个证据E支持多个假设H1,H2,Hn时, 则: 假设H1,H2,Hn 之间互不相容
15.07.2021
⑥由A6的不确定性C(A6)和规则R4的规则强度f4 根据算法1求出A7的另外一个不确定性C(A7)。
⑦由A7的两个根据独立证据分别求出的不确定性C(A7)和C(A7) 根据算法2求成A7最后的不确定性C (A7)。
15.07.2021
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第四章不确定推理方法在日常生活中,人们通常所遇到的情况是信息不够完善、不够精确,所掌握的知识具有不确定性。

为了解决这些问题,必须对不确定知识的表示、推理过程等进行研究。

有关不确定性知识的表示及推理方法目前有很多种,但比较重要且比较著名的方法主要有可信度方法、主观Bayes方法和证据理论方法。

1.1 不确定推理概述(1)不确定推理的概念不确定推理是从具有不确定性的初始事实(证据)出发,运用不确定性知识(或规则)库中的知识,推出具有一定程度的不确定性、但却是合理的或近乎合理的结论的思维过程。

(2)不确定推理中的基本问题在不确定推理中,知识和证据都具有某种程度的不确定性,这就使推理机的设计和实现的复杂度和难度增大。

它除了必须解决推理方向、推理方法以及控制策略等问题外,一般还要解决证据及知识的不确定性的度量及表示问题、不确定性知识(或规则)的匹配问题、不确定性传递算法以及多条证据同时支持结论的情况下不确定性的更新或合成问题。

(3)推理模型推理模型就是指根据初始事实(证据)的不确定性和知识的不确定性,推导和计算结论不确定性的方法和过程。

不同的推理模型其不确定性的传递计算方法是不同的。

目前常用的有可信度方法、主观Bayes方法、证据理论以及模糊推理。

(4)构建推理模型的思路具有不确定性的知识(规则)如何表示?不确定性的证据如何表示?如何进行推理计算,即如何将证据的不确定性和知识的不确定性传递到结论?1.2 可信度方法可信度方法是美国斯坦福大学E.H.Shortlifie等人在确定性理论(Theory of Confirmation)的基础上,结合概率论等提出的一种不确定性推理方法。

1976年在专家系统MYCIN中首先应用。

可信度是指人们在实际生活中根据自己的经验或观察对某一事件或现象为真的相信程度。

知识的不确定性以可信度表示。

1.知识不确定性的表示在基于可信度的不确定性推理模型中,知识是以产生式规则的形式表示的。

其一般形式为IF E THEN H (CF(H,E))其中:CF(H,E)是该条知识的可信度,称为可信度因子(Certainty Factor)或规则强度。

在专家系统MYCIN中,CF(H,E)被定义为CF(H,E)=MB(H,E)-MD(H,E)这里,啪(Measure Belief)称为信任增长度,它表示因与前提条件E匹配的证据的出现,使结论H为真的信任增长度。

当MB(H,E)>0时,有P(H/E)>P(H)。

这里,P(H)表示H的先验概率;P(H/E)表示在前提条件E所对应的证据出现的情况下,结论H的条件概率。

MD(Measure Disbelief)称为不信任增长度,它表示因与前提条件E匹配的证据的出现,对结论H为真的不信任增长度,当MD(H,E)>0时,有P(H/E)<P(H)。

MB(H,E)和MD(H,E)的计算公式参见教材4.2节。

显然,一个证据不可能既增加对H的信任程度,又同时增加对H的不信任程度,因此MB(H,E)与MD(H,E)是互斥的。

即当MB(H,E)>0时,MD(H,E)=0。

当MD(H,E)>0时,MB(H,E)=0。

MB和MD的值域为[0,1]。

根据CF(H,E)的定义及MB(H,E)与MD(H,E)的互斥性,可得到CF(H,E)的计算公式:其中,P(H/E)=P(H)表示E所对应的证据与H无关。

CF(H,E)的取值范围是[-1,1]。

2.证据不确定性的表示如果支持结论的证据只有一条,则证据可信度值的确定分两种情况:第一种情况是,证据为初始证据,其可信度的值一般由提供证据的用户直接指定,指定的方法也是用可信度因子对证据不确定性进行表示,例如CF(E)=0.8表示证据E的可信度为0.8。

第二种情况就是用先前推出的结论作为当前推理的证据,对于这种情况的证据,其可信度的值在推出该结论时通过不确定性传递算法计算得到(传递算法将在下面讨论)。

证据E的可信度CF(E)也是在[-1,1]上取值。

如果支持结论的证据有多个,当多个证据间的关系是合取时,即E=E1∧E2∧E3∧…∧En,则CF(E)=min{CF(E1),CF(E2),…,CF(En)};当多个证据间的关系是析取时,即E=E1∨E2∨E3∨…∨En,则CF(E)=max{CF(E1),CF(E2),…,CF(En)}。

3.不确定性的推理计算不确定性的推理计算是从不确定的初始证据出发,通过运用相关的不确定性知识,最终推出结论并求出结论的可信度值。

(1)只有单条知识支持结论时,结论可信度的计算方法如果支持结论的知识只有一条,且已知证据E的可信度CF(E)和规则(知识)(IF E THEN H)的可信度为CF(H,E),则结论H的可信度计算公式如下: CF(H)=CF(H,E)×max{0,CF(E)} (4.2)若CF(E)<0,即相应证据以某种程度为假,则CF(H)=0,说明在该模型中没有考虑证据为假时对结论H所产生的影响。

当证据为真,即CF(E)=1时,有CF(H)=CF(H,E),说明当证据E为真时,结论H的可信度即为规则的可信度CF(H,E)。

(2)多条知识支持同一结论时,结论不确定性的合成计算方法若由多条不同知识推出了相同的结论,但可信度不同,则可用合成算法求出结论的综合可信度。

由于对多条知识的综合可通过两两的合成实现,所以下面只考虑两条知识的情况。

设有如下两条知识:lF E1 THEN H (CF(H,E1))IF E2 THEN H (CF(H,E2))则结论H的综合可信度,可先分别应用上述方法计算出CF1(H)和CF2(H),再应用以下公式求出E1与E2对H的综合影响所形成的可信度CF1,2(H):这实际上是著名的专家系统MYCIN中所使用的结论不确定性计算公式。

(3)在已知结论原始可信度的情况下,结论可信度的更新计算方法前面式(4.2)、式(4.3)两个公式都是假设在对结论的初始可信度不知或为0的前提下计算结论H的可信度的方法。

在某些情况下,如果已知证据E对结论H有影响,且知识IF E THEN H的可信度为CF(H,E),同时结论H原来的可信度为CF(H),那么如何求在证据E下结论H可信度的更新值CF(H/E)呢?即已知规则IF E THEN H (CF(H,E))及CF(H),求CF(H/E)。

这时分三种情况进行讨论:①CF(E)=1时,即证据肯定出现时,②当0<CF(E)<1时,③当CF(E)≤0时,规则IF E THEN H不可使用,对结论H的可信度无影响。

实际上,在MYCIN系统中就规定,当CF(E)≤0.2时,规则IF E THEN H 不可使用。

1.3 主观Bayes方法主观Bayes方法又称主观概率论,是由R.O.Duda等人于1976年提出的一种不确定推理模型,它是对概率论中基本Bayes公式的改进,是一种基于概率逻辑的方法。

该方法在地矿勘探专家系统PROSPECTOR中得到了成功的应用。

1.知识不确定性的表示在主观Bayes方法中,知识(规则)的不确定性是以一个数值对(LS,LN)来进行描述的。

若以产生式规则的形式表示,则具体为IF E THEN (LS,LN) H (P(H))其中,(1)(LS,LN)是为度量产生式规则的不确定性而引入的一组数值,LS表示规则成立的充分性,用于指出证据E对结论H为真的支持程度;而LN则表示规则成立的必要性,用于指出证据E对结论H为真的必要性程度。

它们的定义如下:LS和LN的取值范围为[0,+∞)。

它们的具体取值由领域专家根据实际经验给出。

(2)E是该条知识的前提条件。

它既可以是一个简单条件,也可以是用AND 或OR把多个简单条件连接起来的复合条件。

(3)H是结论。

P(H)是H的先验概率,它指出在没有任何专门证据的情况下结论H为真的概率。

P(H)的值由领域专家根据以往的实践及经验给出。

2.证据不确定性的表示(1)单个证据不确定性的表示方法对于初始证据E,其先验概率为P(E),也可以由用户根据观察S给出它的后验概率P(E/S)。

但由于后验概率P(E/S)的给出比较困难,因而在PROSPECTOR系统中引进了可信度C(E/S)的概念。

给了C(E/S)就相当于给了证据的概率P(E/S)。

这样,用户只要对初始证据给出相应的可信度C(E/S),就可由系统将它转换为相应的P(E/S)。

(2)组合证据不确定性的确定方法当证据E是由多个单一证据的合取组合而成时,则P(E/S)=min{P(E1/S),P(E2/S),…,P(En/S)}当证据E是由多个单一证据的析取组合而成时,则P(E/S)=max{P(E1/S),P(E2/S),…,P(En/S)}对于“非”运算,用下式计算:P(~E/S)=1-P(E/S)3.不确定性的推理计算主观Bayes方法推理计算的任务是根据证据E的概率P(E)及影响结论的知识之规则强度(LS,LN),把H的先验概率P(H)更新为后验概率P(H/E)或P(H/~E)。

下面就确定性证据和不确定性证据两种情况分别讨论结论H后验概率的推理计算方法。

(1)确定性证据确定性证据是指证据的出现与否是肯定的,①证据E肯定出现时,P(E)=P(E/S)=1,可根据LS和P(H)求出P(H/E)。

②证据E肯定不出现时,P(E)=P(E/S)=0,P(~E)=1,可根据LS和P(H)求出P(H/~E)。

(2)不确定性证据在现实中,出现确定性证据的情况是不多的,更多的是介于肯定出现和肯定不出现两者之间的不确定情况。

对于不确定证据E,0<P(E)<1,问题可转化为:在观察S之下,证据E的概率P(E/S),再根据P(H)和P(E/S)确定H的后验概率P(H/S)。

在这种情况下,可使用R.O.Duda等人于1976年证明的公式进行后验概率的计算,包括EH公式和CP公式。

EH公式:CP公式:这里,C(E/S)为用户对初始证据给出的可信度。

4.结论不确定性的合成算法若有n条知识都支持相同的结论,而且每条知识的前提条件所对应的证据E i (i=1,2,…,,n)都有相应的观察Si与之对应,此时只要先对每条知识分别求出O(H/Si ),然后就可运用下述公式求出O(H/S1,S2,…,Sn)和P(H/S1,S2,…,Sn):这里O(x)是几率函数,它与概率函数P(x)的关系为:1.4 证据理论1.证据理论的数学基础证据理论又称D—S理论,在该理论中,知识是用产生式的形式表示的,而证据和结论则是以集合的形式表示。

知识的不确定性通过一个集合形式的“可信度因子”来表示,而证据和结论的不确定性度量则采用信任函数和似然函数来表示。

为此引入了概率分配函数、信任函数和似然函数的概念。

相关文档
最新文档