模糊逻辑系统Luk和L*中理论相容度的计算公式(III)

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题.首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件.     

命题模糊逻辑系统П和God中理论的相容度与下真度的计算公式（Ⅱ）

讨论命题模糊逻辑系统П和God中理论相容度与下真度的计算问题。引入逻辑公式的核、零核及理论的核的新概念，得到命题模糊逻辑系统Ⅱ和God中理论相容度与下真度的计算公式，给出理论不相容的新的充要条件。     

命题模糊逻辑系统Π和G(o)d中理论的相容度与下真度的计算公式(II)

讨论命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算问题.引入逻辑公式的核、零核及理论的核的新概念,得到命题模糊逻辑系统Π和G(o)d中理论相容度与下真度的计算公式,给出理论不相容的新的充要条件.     

系统L^＊中极大相容理论的结构刻画和紧致性定理

为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了极大相容理论的结构刻画，证明了每一个极大相容理论必然具有形式D（{φ1，φ2，…}），这里φ1∈{pi，→pi，（→pi^2）＆（→（→pi）^2）}（i=1，2，…），p1，p2，…是系统L^＊中全体命题变元，进而给出了极大相容理论的若干刻画条件。本文还证明了系统L^＊的满足性定理和紧致性定理。至此，系统L^＊的基本定理包括完备性定理、强完备性定理、可判定性定理、满足性定理和紧致性定理已被我们所掌握，所以本文的结果完善了系统L^＊的理论体系。     

逻辑系统中理论的下真度与相容度（I）

引入模糊逻辑系统中理论的下真度与不相容度的新概念，简化理论相容度的定义，给出理论的下真度、发散度、不相容度与相容度之间的关系。     

逻辑系统中理论的下真度与相容度(Ⅰ)

引入模糊逻辑系统中理论的下真度与不相容度的新概念,简化理论相容度的定义,给出理论的下真度、发散度、不相容度与相容度之间的关系。     

Lukasiewicz 命题逻辑系统一种新的理论的相容度

根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念.给出了理论Γ相容、不相容及其它相关结论的充分必要条件,并且获得了相容度与发散度之间联系的重要关系式.     

模糊命题演算系统(L)*的简化与独立性

模糊逻辑命题演算系统L^＊在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统L^＊的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。     

α-三Ⅰ约束问题的形式解

提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。     

￡^＊系统的公理化扩张

通过对模糊逻辑命题演算形式系统￡^＊的代数语义——R0代数的研究，给出了R0代数簇的完整分类，并利用L^＊系统与幂零极小逻辑（NML）的等价性，由系统L^＊是可代数化逻辑出发，得到与R0代数真子簇对应的￡^＊系统的全部公理化扩张，文中所用的方法用样适用于其他满足逆序对舍关系的逻辑的扩张，具有较好的扩展性。     

L*n系统中理论的相对发散度和相对相容度

利用公式的Σr-真度(文中称为相对真度)理论,在模糊命题逻辑系统(L*n)中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念.对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系.同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画.     

L^＊命题集的约简及命题集的根

本文的主要目的有两个，第一，在L^＊系统中给出了独立命题集的概念，并定义了命题集的约简；第二，讨论了命题集的根。     

模糊逻辑彩L^＊和NM的公理系统的简化

从王国俊教授提出的模糊命题演算形式系统L^＊、L0^＊的性质以及它们与F．Esteva和L．Godo提出的MTL、IMTL和NM的关系出发，借助代数方法证明了L^＊和NM中的公理（L10^＊）和（NM）可以由一务只含一个命题变元且形式更为简单的公理模式（LW^＊）代替。这一结果简化了L＆＊和NM的公理系统。     

基于KM算法的区间二型单点TSK模糊逻辑系统

介绍了区间二型模糊集的定义及相关理论,提出一种多输入单输出区间二型单点TSK模糊逻辑系统。在KM算法的理论基础上,讨论了区间二型单点TSK模糊逻辑系统的模糊推理,类型简化,解模糊化等模块。用两个算例验证了设计该模糊逻辑系统的可行性。最后给出了本文的总结和进一步研究问题的展望。     

区间二型单点Mamdani模糊逻辑系统的设计

介绍区间二型模糊集的定义及相关理论,提出一种多重多维区间二型单点Mamdani模糊逻辑系统。在KM算法的理论基础上,设计模糊推理,类型简化,解模糊化等模块。在BP算法的理论基础上,调整区间二型单点Mamdani模糊逻辑系统中前件的参数。最后给出了本文的总结和进一步研究问题的展望。     

一类模糊逻辑系统幺半群与同态映射

首先利用代数中幺半群的概念给出了模糊逻辑系统专业领域的概念, 建立专业领域概念的目的是为了规范模糊逻辑系统中语言变量的取值范围, 从而将模糊逻辑系统看作是某个笛卡儿乘积幺半群的有限子集. 然后利用这个笛卡儿乘积幺半群的乘积运算构造了模糊逻辑系统幺半群. 最后, 在一定的约定条件下证明了通常使用的一类Mamdani形模糊逻辑系统的输出可以看作是从模糊逻辑系统幺半群到连续函数域的同态映射.     

完备剩余格中的全蕴涵推理方法

三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性．本文在完备剩余格中给出了模糊推理．RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统．特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明．     

模糊度定义的不一致性及其理论分析

指出模糊度定义的不一致性，并通过实例进行验证；从理论上分析模糊度定义的不一致性产生的原因，指出当模糊度理论在图像处理中应用时模糊度定义的不一致性可能会产生的影响；给出一个比较合理的模糊度定义。文中提出的问题是在工程应用过程中发现的新问题，所做的工作也只是初步的。     

Goedel逻辑系统中的广义重言式理论

本文将王国俊教授在逻辑系统/W，W，Wk中的广义重言式理论进行推广并应用到了Gooedel逻辑系统/G，G，Gn中。主要结果是：在逻辑系统/G，G中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Gn中，对任一公式最多进行n次升级算法即可得到重言式；利用可达广义重言式概念和α-矛盾式概念分别在/G，G，Gn中给出了F（S）的一个关于→同余的分划。     

多值逻辑系统中公式的μ-真度理论

通过在n值和模糊值命题逻辑系统的全体赋值集Ω上定义概率测度μ,定义了任一命题公式A在两种逻辑系统中统一的μ-真度,研究了公式的μ-真度的基本性质及对应的推理规则,定义了两公式间的三种μ-相似度和伪度量,建立了较广泛意义上的逻辑度量空间,指出当概率测度μ为均匀概率测度时为计量逻辑学中的逻辑度量空间,最后提出理论的μ-发散度并得到理论的μ-发散度的计算公式.