基于真度理论的α-反向三Ⅰ问题的形式解.pdfVIP

第 28卷第 4期 模 糊 系 统 与 数 学 Vo1．28，No．4 2014年 8月 FuzzySystemsandMathematics Aug．，2014 文章编号 2014)04—0006—05 基于真度理论的 一反向三 I问题的形式解 刘东利 ，吴棋滢 (1．集美大学 诚毅学院，福建 厦门 361021； 2．中南大学 数学与统计学院，湖南 长沙 410083) 摘 要 ：在多值逻辑系统 中，基于真度理论提 出了模糊推理的 一反 向三 I问题 ，并给 出了a反 向三 IMP、一反向三 IMT 问题解的具体形式，在系统 厶 中建立 了a一反 向三 I问题的形式化推理机制 ，为模糊 推理的 一反 向三I算法奠定了逻辑基础 。 关键 词 ：真度 ；一反 向三 I问题 ；形式解 中图分类号：O141 文献标识码 ：A 模糊推理的重要性是众所周知的，其核心就是 FMP问题和 FMT问题 ，针对这一问题 ，我 国学者王 国俊教授首先提 出了全蕴涵三 I算法 ，并在蕴涵算子 R。下给出了FMP、FMT模型的三 I推理结果_l1]。 近年来 ，关于三 I算法的文章层出不穷 ¨，这其 中包括宋士吉教授等提出的反向三 I算法Ⅲ。其基本 思想如下 ： 设 ∈F(X)，B∈F(y)且 ∈F(x)(B ∈F(y))，求最大的B EF(y)(或最小 的 ∈F(x))使 得对任意32∈X，YEY，( ()一B ())一 (A(x)~B(y))取最大值 ，其 中F()和F(y)分别表示 和 y上的模糊集 。口_反向三 I算法则是使 ( ()一B ())一 ( (z)一B(j，))≥ 的最大 B ∈F(y)(或最 小的 ∈F(X))。 近年来 ，将三 I算法形式化 的文章很多_l9 ，对于更一般的 三 I算法的问题因其较为复杂 ，所 以 探讨的比较少 ，特别是 a一反 向三 I算法是否能在逻辑系统中找到相应 的逻辑基础 ，到 目前 尚未有人涉 及 ，本文试 图探索这一问题 。 本文未定义的概念、符号和直接应用的结论请参看文献E8]。 1 预备知识 1．1 系统 中的相关知识 公式集 F()是由原子公式集 一{ ， ··)生成的(一 ，V，一)型 自由代数 ，其 中一是一元逻辑连 接词，V与一是二元逻辑连接词。在 F(5)中设定 了 10条公理和 MP规则后就形成 了命题逻辑系统 L“ ，在L 系统 中，一 (④B)一一 一B，～( B)—一 o—B．R。代数是与L 系统相伴随的代 数理论，在 R。代数M 中有 口 6一(口一6)，a@b=a一6，其 中 为 t一模 ，④为与 对偶的t一余模 ，为补 运算 ，a一1一口，n，bEM 8¨J．在R。代数系统中还有 ： 收稿 日期 ：2012—1120 作者简介 ：刘东利(1977一)，女，陕西杨凌人 ，集美大学诚毅学院讲师 ，研究生 ，研究方向：不确定性推理 。 第 4期 刘东利 ，吴棋滢 ：基于真度理论 的 一反 向三 I问题的形式解 7 f 1， 口≤6 ， I口V6， 口6 一 一 ， 茎 命题 1．1_l8 在 R。代数 M 中，Va，bEM ，均有 (1)以V6—c：=(—-c)^ (6— c)； (2)以—’．6AC==(—}6)八 (口—c)。 容易验证，设 ，BEF()，则 (A B)一 () (B)， (④B)一 ()ov(B)E 。 带有蕴涵算子R。的值系统称为多值逻辑系统 ，令Wn