模糊逻辑系统Luk和L^＊中理论相容度的计算公式（Ⅲ）.pdfVIP

维普资讯 第 22卷第 3期 模 糊 系 统 与 数 学 Vo1．22，No．3 2008年 6月 FuzzySystemsandM athematics Jun．，2008 文章编号 ：1001—7402(2008)03—0008—08 模糊逻辑系统 Luk和 中理论相容度的计算公式 (III) 张兴芳 (聊城大学 数学科学学院，山东 聊城 252059) 摘 要：解决了模糊逻辑系统L 与Luk中理论相容度的计算问题。首先给出了L 中理论相容度的计 算公式；然后 ，引入 了逻辑公式的核，理论 的核的新概念 ，从而，得到 了模糊逻辑系统 Luk中理论相容度 的计算公式 ；最后 ，给 出了理论不相容的两个新的充要条件 。 关键词 ：逻辑系统 L 与 Luk；理论 ；真度；核 ；相容度 中图分类号 ：O141 文献标识码 ：A 1 引言 在论文 “几个标准完备逻辑系统 中理论 的下真度与相容度 (I)”中，引入 了经典逻辑系统 c、 Iukasiewicz模糊逻辑系统 Luk、Godel模糊逻辑系统 God、乘积模糊逻辑系统 Ⅱ和 R。一模糊逻辑系统 中理论的下真度与不相容度的新概念，简化了文献E83中理论相容度的定义 ；然后 ，研究了理论的下 真度 ，发散度，不相容度 (在E83中称它为矛盾式的degreeofentailment)与相容度之 间的关系．系列论文 “逻辑系统 Ⅱ和God中理论的相容度与下真度的计算公式(II)”给出了G 及 盯中的理论相容度的计 算公式。本文再给出Luk和L 中理论相容度的计算公式。 2 准备 本文所使用 的符号见系列论文 “几个标准完备逻辑系统中理论的下真度与相容度 (I)”。 为了读者方便 ，首先将系列论文 (I)给出的一些概念和结论叙述一下 ： 注 2．1 (i)若 V ∈ ，(A)一 1，则我们称A为重言式；若 V ∈ ，(A)一0，则称A为矛盾式， 记作 0。 (ii)在 是中， 一(+Y一1)V0，R“一—一I{l’ ． Y，，∈Eo，1]，在L* ～ 十 Y ，37／Y 中，*={，八，x+q-y~≤l，R。c，一—一{i—Vy，三 ，，∈。，；~z1-- ， ∈Eo，1]。 (iii)(*，一)是一个伴随对 ，即a*b≤C当且仅当a≤b— c，Va，6，c∈Eo，1]。 (iV)在 和Luk中， ^B(或 VB)关于一，一和的表达式不同，但是都有V ∈ ，v(A 八B)一rain{(A)，(B)}(或 V ∈ ，v(AVB)一msx{(A)，(B)})。 收稿Et期 ：2006—09—02；修订 日期 ：2007～02-14 基金项 目：山东省 自然科学基金资助项 目(Y2003A01) 作者简介 ：张兴芳 (1957一)．女，聊城大学数学科学学院教授 ．研究方向：多值逻辑与近似推理。 维普资讯 第 3期 张兴芳：模糊逻辑系统Luk和 L 中理论相容度的计算公式 (III) 9 (v)设 A—A(p P …， )EF(5)， ()，V E ()是一个 一 M 的函数，记作 ()一 A- 一A一(v(p)‘，v(p)‘，…，( ))一A一(x 一， )，(1，2，…， )EM ，称它为 由A诱导的函数．在 Luk(或 L )中， 在对应的区域上连续 (或逐块连续)，因此是可积的。 (vi)记 AA为 。， * 为 ．因为 ＆运算在可证等价意义下是结合 的，所 以可设 A = A 一A， ‘一 A- “ * ． 定义 2．1E 设A—A(