不确定性推理机制的规范描述及其应用.pdfVIP

第22卷增刊 江西师范大学学报(自然科学版) V01．22．Sup 1998年10月 JoURNALOFJIANGXINORMALtINIVERSlTY OCt．1998 不确定性推理机制的规范描述及应用幸 王明文 孙永强 薛锦云 {上癣交远大学计算机科学与工程系．上海，200030) (江西师范大学计算机科学系，南昌，330027) 摘要：不确定性推理模型一般可分为两类：定量和定|生不确定}生推理模型。本文通过 引入适应蕉堡蕉型舶代数结构和定义特定算子。试圈将这两种模型统一，并研究这种统一模型 中不确定性因子的传播算法和网络推理的计算规则。 关键饲：不确定性推理，不确定性因子，传播算法 中圈法分类号：TPl8 随着不确定性推理技术的研究和专家系统应用领域的拓展，所处理的信息越来越复 杂。在一个复杂系统中，有许多不确定性的来源：首先，人们提出的问题常常是不精确的， 不精确的问题导致不精确的结果；第二，获取的信息不完全，而且获取知识的过程也是不 精确的；第三，推理的过程也是不精确的，不确定性的推理过程导致不确定性的结论。由 于引起证据的不确定性和人们具有的知识的不确定性，因此处理这种复杂系统的不精确性 推理的方法和推理的模式亦就各种各样。目前所使用的各种不精确推理模型大致可以分为 两类：一类是定量模型，如主观Baycs方法、证据理论、可能性理论、确信园子方法等： 另一类是定性模型，主要是逻辑推理模型如非单调逻辑、缺省逻辑、模糊逻辑等。最近， 张文修先生(1】提出包含度理论，给出了“关系”的不确定性量化方法，把概率推理、证据 推理、模糊推理等方法给了。个统一的框架。文献[3】中也试图给出不精确推理模型和算法 描述的统一形式，但文中给出的规则可信度与规则的不可信度的定义不对，导致后续传播 算法有欠缺。 本文试图给出不确定性推理模型的代数结构，并把定量和定性不精确推理统一在一个 模型下进行网络推理算法的研究。 1定义和术语 定义1 设有推理规则ifEthen H(1l，v)，其中E是证据(在有的推理系统中称作前件)， H是假设或结论(后件)，u和v都是规则的不确定性因子(或称规则强度)。称U为“如 果证据E为真，则假设H为真”的依赖程度。称v为“如果证据E为真，则假设H为假” 的依赖程度。 注l：在定义l中，规则的不确定性因子对(u，v)是由两个因子组成的，u有时也称为 支撑因子，v称为干扰因子。 注2：在推理规则中，往往都用一对园子来描述规则的不确定性，如Pospector的(LN， 的容度(P，CA)，P·(A))等，在形式上都可以用定义l的方式来定义，只是语义不同而 已。 {国家自然科学基金资助项目 江西师范大学学报i自然i{学扳j 199R年 2 定义2设G为证据和假设的集合，w为一个有序空闻，R三GX∥2，则称三元 结}仑或中阉结论。当为中间结沦或结沦对．又可分为与培点和或结点。对于 a、 (“，，“2，w，v)三R，称如果ul刚u2的支撑湛度为w，干扰强度为V， 足下列运算的代数系统： 1)封闭性：对任意的x蔓z∈W,x臼，7∈W_x哂，∈W 0渭]叫 2)结合性：对臣蠢的x y-z∈w．有 xo(y国z)气x国yloz，x固b园z)气xowoz； 3)交换性：对任惹的x．yffW．有 xoy==y国x，x逞?y圆× 4)分配性：对任意的x_、．zC-W有 o (xY)oz—fx圆z)efy@l’1： 5)有两小特殊元素分别证为9、e，对一切x《_W，有 e审x≮毋0=x．e@x--x@0=0：