不确定推理则确定度的研究.pdfVIP

不确定推理规则确定度的研究 不确定推理规则确定度的研究 研究生郭方芳 指导教师陈图云 专业：基础数学 方向：数理逻辑及其对计算机的应用 摘 要 本文在综合各种不确定推理规则强度描述的方法的基础上，提出概括性描述规则强度的 概念—不确定推理规则的格值确定度，使各种规则强度描述成为其一种特殊情况。特别的， 讨论了区间值确定度和模糊数确定度的构造和性质，最后对推理链和网的确定度及其应用进 行了初步的研究。 关键词不确定推理，不确定推理规则，格值确定度，区间值确定度，模糊数确定度 引 言 不确定推理是人工智能研究中最为活跃的研究方向之一，也是计算机智能系统走向实用 化的一个重要方向。 不确定推理有定量方法、定性方法和定量与定性相结合的方法。其中定量的方法比较容 易在计算机上实现。不确定性推理的定量方法主要考虑不确定性信息的表示和度量，不同的 信息表示与度量方法构成不同的不确定推理。目前常用的不确定推理方法有基于概率论的概 率推理方法，基于证据理论的证据推理方法和基于模糊集理论的可能度方法等。 年提出来的，并用于处理MYCIN系统中的不确定信息。不确定因子方法是利用事先给定证 据下假设的信任黻的增量与怀疑程度的增量的差的标准化值，作为假设的信任度计算公式， 标准化后的数据在【-l，1】中，·1表示假设否定被确认，+l表示假设被确认。1976年Duda等 提出了主观贝叶斯方法，并应用于探矿专家系统PROSPECTOR的设训1‘”。主观贝叶斯方法 主要基于贝叶斯公式和变形的贝叶斯公式来计算给定证据下的假设承认概率，1985年陆I 给出了信息网络方法川，1986年Nilsson提出了概率逻辑，得到了Nilsson概率估训”。文r3， 不确定推理规则确定度的研究 41中提出了合情推理，文中用集合A，B分别表示概念口，卢的信息外延，用外延的*FA。， 矿在论域Z上的概率来度量规则的强度，即D(口一芦)2尸(∥nF)／尸(∞。 较完整的形式。证据理论是用取值在[0，1】中的信任函数和似然函数两个函数的函数值组成 的区间，表示在给定证据下对于假设的估计与评价。 模糊集合理论是于1965年由Zadeh提出来的，模糊推理有很多种方法，最早有Zadeh 提出的CRI算法。1，即用服Y论域上的模糊关系月来描述一个推理规则舢占中A，B的关系， H．Mamdmli于 丑y分别为丘口的论域，月缸力刊(订eB(y)，其中口为—个蕴涵算子“。L 1975年提出的模糊控制中给出了模糊推理算法”’，即把口取为^(取小)算子。1978年Baldwin 提出一个CRI与语言真值转化相结合的方法，称为真值限定法5。。1987年日本水本雅睛提出 扩张原理与真值转化相结合的方法…，即把蕴涵算子口也转化为—个语言真值r(口)。汪 培庄提出了真值流推理…，把推理看成真值在推理渠道中流动的过程。为了形式推理的方便， 1984年刘叙华提出了算子格模糊逻辑系统…。在这个系统中，命题的模糊程度清晰的用算子 形式表示在命题原子前，并给出了一个模糊公式的不同恒真程度的概念，在其后做了进—步 的工作，引进了广义^一归结方法。文[7]的工作对于形式推理及机器证明有重要的意义。 Dubois和Prade提出了—种重要的可能度推理方法…，更好的处理了模糊不确定性和不完全 信息，它使用的度量是可能性度量与必然性度量。 以上讲到的定量的不确定推理方法，其共同点是用—种钡0度度量证据和假设之间的不确 定因果关系，从纯数学角度看，推理的实质是假设和证据的一种包含关系，基于这样—种认 识，张文修提出了用包含程度来度量推理规则的强度，称为包含膨“8。”。它定义为映射口序(∞ 一[0。1】，满足： (1)A，日t厅(肋，爬尽J9似_劫=l： (2)A，E陡Fo(肋，^二魁C有0(铀加≤D(胁月)： 其中J为4届c的论域，片(m￡只m。 文[8]8由包含度的概念出发，在[o，1]上定义“包含度”，它实质上是一种“小于度”，对 于[o，1