Ln^＊系统中理论的相对发散度和相对相容度.pdfVIP

第 25卷第 6期 模 糊 系 统 与 数 学 V0l_25．No．6 2011年 12月 FuzzySystemsandMathematics Dec．，2011 文章编号 ：1001—7402(2011)06—0053—07 系统中理论的相对发散度和相对相容度 崔艳丽h。，吴洪博 (1．陕西师范大学 数学与信息科学学院，陕西 西安 710062； 2．汉中职业技术学院 计算机科学与技术系，陕西 汉中 723000) 摘 要：利用公式的 一真度(文中称为相对真度)理论，在模糊命题逻辑系统L 中提出了任意理论r 相对于特定理论ro的相对发散度和 一相容度概念。对于有限理论，给出了其相对于特定理论r。的 一 相容度概念，并对两种相容度的性质作了初步探究，揭示了二者之间的内在联系。同时给 出任意 理论r相对于特定理论 r。的相容、不相容及完全相容的定义及其等价刻画。 关键词：L：系统；相对真度 ；相对发散度 ；孙 一相容度 ； 一 相容度 中图分类号：0141 文献标识码 ：A 1997年，王国俊教授提出了一种新 的模糊命题演绎系统L 和在语义上与之相匹配的尺0一代 数，从而将模糊推理纳入了形式化的逻辑框架之中。关于L 系统的研究成果表明，在众多同类系统中， 系统比较理想地反映了模糊推理的本质属性[2]。为了将数值计算的灵活性融入到数理逻辑中，王 国俊教授从基本概念的程度化入手 ，引入公式的真度概念 ，进而将二值命题逻辑系统 L、Iukasiewicz系 统、 系统以及 值Lukasiewicz命题逻辑系统厶和r；／值R。命题逻辑系统 程度化 ，建立起了计量逻 辑 学的基础[8．1，进而取得 了一系列重要成果[1卜M]。吴洪博教授对二值命题逻辑系统 L、值 Iukasiewicz逻辑系统 和 值风命题逻辑系统 中的公式相对于有限理论的真度进行了研究，提出 了公式的相对真度和相对伪距离概念 ，从而将一般真度作为相对真度的特款，拓广 了真度理论的应用范 围[1 。。。本文在吴洪博教授工作的基础上对 值尺。命题逻辑系统 中公式的相对真度做了进一步研 究，在I 系统中提出了任意理论r相对于特定理论 的相对发散度和 一相容度概念 ，并对其性质 作初步探究。同时给出任意理论r相对于特定理论 的相容、不相容及完全相容的定义及其等价刻画。 对于任意有限理论，给出其相对于特定理论 的辞 一相容度，并揭示两种相容度之间的内在联系。进 一 步拓广真度理论的应用范围。 本文中未加定义的概念和符号(如n，D(r)，r 卜， ～B，公式集， 系统等)见文献[3]和文献 [4]，并在 系统中将_7丁记作0(其中丁是 系统中的定理)。 1 预备知识 定义 I．1[2 在 系统中，设 厂 F(S)，SJ’一 {户∈SIjB∈r，P是构成B的原子命题}有限， V ∈F()，Vi∈ {1，2，…，一 1}，令 ★ 收稿 日期 ：2010—06—25；修订 日期 ：2010一i0—11 基金项目：国家 自然科学基金资助项 目}陕西省师范大学重点科研基金资助项 目(995130) 作者简介：崔艳丽(1984一)，女，山东济宁人，研究生，研究方向：非经典数理逻辑。 通讯作者：吴洪博(1959一)，男，陕西咸阳人，陕西师范大学教授，研究方向：格上拓扑与非经典数理逻辑。 54 模 糊 系 统 与 数 学 2011拄 三r： ( ∈ IVB ∈I1，(B)一 1} Ⅳ 一 ， ]s~usaI∈，)= }f = ~-]Nai] 一 一