IL型三I算法及其还原性

基于模糊推理的全蕴涵三I算法，给出了当蕴涵算子→为蕴涵格中的蕴涵算子（称为IL型蕴涵）时的三I算法和α-三I算法的表达式，并进一步讨论了IL型三IMT算法．给出了IL型三I算法、三IMT算法具有P-还原性的充分条件．证明了IL型三I算法是P-还原的，如果存在a∈X，使A（a）=1；IL型三IMT算法是P-还原的，如果存在b∈Y，使B（b）=0．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.     

知识推理的程度化方法(英文)

在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.     

两个可数紧的不分明拓扑空间的积空间不必是可数紧的

本文给出了拓扑空间与某种简单不分明拓扑空间之间的联系,由此可推出两个可数紧的不分明拓扑空间的积空间不必是可数紧的,即:[5]中定理3.4对可数紧性所作的结论是错误的。自1968年C.L.Chang以L.A.Zadeh的奠基性论文[1]为基础引入不分明拓拓扑空间(Fuzzy topological spaces[2])的概念以来,这方面的研究工作进展很快[4—12],特別是蒲保明、收应明[3]全面地建立起了不分明拓扑空间的理论。另一方面,目前对不分明拓扑空间中某些基本概念的看法尚未完全统一,本文关于紧性与可数性的定义与[2]、[5]一致,同时目的在于指出[5]中定理3.4关于可数紧性所作的结论是错误的,即:两个可数紧的不分明拓扑空间的积空间不必是可数紧的,这是本文关于拓扑空间与某种简单不分明拓扑空间之间的关系定理1—2的直接推论。     

关于度量空间结构的两个定理

度量空间中点的分布规律如何是关于度量空间最基本的一个问题.本文引入了c—徟点与ε—球散等概念,并给出了度量空间的结构定理.     

论Fuzzy格之构造

自从Goguen提出L-fuzzy集的概念以来,Fuzzy格作为单位区间的一种自然推广受到了不分明数学工作者,特别是不分明拓扑学家们的极大关注。Hutton与刘应明等人都对这类格进行过研究,然而,至今尚未见到对这类格的构造进行专门探讨的文章。本文从事于这方面的研究,得到了关于Fuzzy格构造的两个定理,作为它们的应用,我们证明了由作者提出的“广义拓扑分子格”理论适用于一切Fuzzy格,从而我们可以把最一般的L-fuzzy拓扑空间理论作为特例纳入于这种拓扑格的理论之中。     

拓扑分子格(Ⅰ)

§1 引言1968年,Chang引入了Fuzzy拓扑空间的概念。由于对Fuzzy点的定义不恰当,特别是由于对Fuzzy点的邻近构造缺乏认识,从1968年到1975年所发表的那些简单模仿分明拓扑学中邻域方法的文章大都遇到了困难,得出了许多病态的结果。这一情况迫使国外学者回避Fuzzy点及其邻域等概念,从1975年后逐渐形成了“无点化”流派。1977年,蒲保明与刘应明在对Fuzzy点的定义作了适当修改之后首次打破传统的邻域方法,引入了重要的“重     

伪度量L~*-Lindenbaum代数中基本运算的连续性

研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.     

小电流系统单相接地故障分析

介绍了变电运行中小电流系统在单相接地后存在的问题，通过对小接地系统发生单相接地与电压互感器保险熔断时现象的比较，为变电运行人员提供了分析判断系统故障原因的方法。