区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子，讨论了区间值模糊命题逻辑广义拟重言式的分类，获得了与王国俊的一维赋值格广义重言式理论类似的结果。     

经典公理系统在模糊命题演算中的不和谐性

本从包含度的角度出发，通过讨论经典公理系统在模糊框架下的不良表现，证明了对任意模糊命题逻辑系统而言，都不能指望保留经典命题逻辑系统中的全部定理，而必须有所放弃。进一步给出了在模糊系统中保留Ｌ１）和Ｌ２）或Ｌ１）和Ｌ３）的充分必要条件以及保留Ｌ２）和Ｌ３）的必要条件。     

扰动模糊逻辑及其"与","或"算子

提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

连续值逻辑系统中的代换定理

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L^*G-R，并在此基础上研究了模糊逻辑系统中的代换定理，为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础．     

布尔函数量子计算的可行性

一个布尔函数是可行的,如果存在一个多项式布尔电路计算该函数。将经典0/1位联系到量子位,研究布尔函数的量子计算可行性,对应讨论酉算子的量子计算可行性——是否可以由多项式个基础量子门在多项式步内构造酉算子。由Toffoli量子门对经典逻辑电路门的通用表达能力,一个可行的布尔函数是量子计算可行的。基于此结论,给出几类量子计算可行的酉算子。     

有限扰动模糊命题逻辑系统的∑-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性，提出了扰动模糊命题逻辑的概念．用二维扰动模糊命题逻辑最大子代数I^2R的有限子集I^2Rn取代最I^2R，并在其中引入∑-广义矛盾式理论．结果表明：任意公式至多经过2n-μ＋δ次就可降级为矛昏式；证明了矛盾式表示定理，表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式．为模糊信息处理的方法和应用提供了新的理论基础．     

有限扰动模糊命题逻辑系统的Σ-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.     

算子模糊命题逻辑中公式恒真恒假水平的模型

为了在模糊推理中求得公式为真程度的下界和上界,算子模糊逻辑显示使用[0,1]区间中的实数作为算子描述模糊命题的可信程度,其公式的语义值可以在公式的恒真水平和恒假水平之间变动。基于算子模糊命题逻辑,证明了任意公式在二值解释的意义下都可以转化成与之等值的合取范式和析取范式,并根据公式的合取范式或析取范式给出了公式恒真水平和恒假水平模型的生成方法。公式的恒真水平和恒假水平在根本上决定了公式的语义性质,其模型给出了公式在何时达到其最小和最大语义值的一个解答。     

系统L中公式相对于有限理论的∑Γ-真度理论

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。     

狭谓词逻辑的布尔模型

本课题对《布尔模型》来说是一新的内容,该文虽在<逻辑学的代数结构>中已提出,但尚待论证,为此在此将给出严格的证明。§1 狭谓词逻辑在有限论域中的布尔模型命题逻辑构成布尔代数的一个模型,为了在狭谓词逻辑中给出其布尔模型、在此重述谓     

Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic

In this paper,we construct a six-element intuitionistic linguistic truth-valued fuzzy propositional logic (6LTV-IP) based on the framework of linguistic truth-valued propositional logic,which can express both the comparable and incomparable truth values. Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. With the concrete logic operation of 6LTV-IP,some special properties are obtained. Then based on (α,β)-complementary literals and (α,β)-similar literals,we propose a soft-resolution method of 6LTV-IP.     

命题模糊逻辑系统God中公式的理论可证度

基于命题模糊逻辑系统中公式的理论可证度的概念，探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式，并研究了它的一系列性质。     

QBL-代数及其与BL-代数的等价性

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

格上BR0-代数结构的表示定理

利用模糊命题演绎系统BL＊中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R-代数结构的表达形式。     

直觉模糊逻辑算子的研究

给出了直觉模糊逻辑“补”、“与”、“或”及“蕴涵”算子的定义，并利用区间值模糊集与直觉模糊集之间的关系，给出了利用经典的模糊逻辑算子构造直觉模糊逻辑算子的三个定理。从而得到了构造直觉逻辑算子的新方法，这种方法无需验证其运算的封闭性，因而简单易行。文中用此方法构造出了一系列新的直觉模糊逻辑“补”、“与”、“或”及“蕴函”算子，将K.Atanassov最早提出的直觉逻辑模糊逻辑算子推广到了更一般情形。     

L~*系统的半对偶形式系统S“非汉字符号”~*

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .为形式演绎系统的研究和应用提供了一个有益的途径     

四值非全序R0命题逻辑上的随机伪度量

 通过引入随机化映射和真度权函数等概念,在四值非全序R₀命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R₀命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.     

基于模糊逻辑法的粒子识别研究

毫米波雷达相比于微波雷达对云的探测具有更高的敏感性,本文利用Chilbolton观测场的94GHz毫米波云雷达的基本探测量,结合探空仪的温度廓线数据,根据Shupe总结得到的云粒子相态识别的阈值,采用模糊逻辑算法对一次实际探测进行了反演研究.该模糊逻辑算法采用的主要隶属函数为不对称的梯形函数,识别粒子的相态类别主要分成雨、毛毛雨、液态水、混合相态、冰、雪等6种,对比经典的阈值算法反演的过冷水区域结果后认为,本文所研究的模糊逻辑算法对云中水凝物粒子的相态识别分类基本合理,其反演的结果对于人工影响天气作业以及飞机安全飞行等方面具有重要的意义.