半拓扑空间(Ⅱ)

§2 连续映象 1.一般理论定义2.1 设X和Y是(V)空间,f:X→Y是从X到Y中的映象,a∈X、如果对f(a)在Y中的每个邻域U,a在X中有邻域V使f(V)(?)U,则称f在a点连续、如果f在X中各点都连续,则称f是X上的连续映象[2,p.24]。关于(V)空间中的连续映象,我们有定理2.2 设X和Y是(V)空间,则为使映象f:X→Y连续,必须且只须下列条件之一成立:     

关于抽象逻辑紧致性的一个定理

以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 ,1]的Lukasiewicz语义是紧致的     

经典推理模式的随机化研究及其应用

利用赋值集的随机化方法，在二值逻辑中提出了公式的D-随机真度概念，证明了全体公式的D-随机真度之集在[0，1]中没有孤立点；提出了D-逻辑伪距离和D-逻辑度量空间，证明了该空间中没有孤立点；指出当取均匀概率测度，且各概率测度均为1／2时，D-随机真度就转化为计量逻辑学中的真度，同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离，从而建立了更具一般性的随机逻辑度量空间；通过概率逻辑学基本定理，证明了D-逻辑度量空间中逻辑运算的连续性，从而实现了概率逻辑学与计量逻辑学的融合；在D-逻辑度量空间中提出了3种不同类型的近似推理模式．     

完全集上的连续可微函数的开拓

本文完全用初等的方法证明了完全集上连续可微函数都有可微开拓.作为应用,证明了任意有界变差函数都与某可微函数在除过测度任意小的集合外重合.     

(W-)的正则子R0-代数及其应用

引入了W^-的正则子R0代数的概念，证明了这种代数在W^-中关于势是均匀分布的．又证明了当判定一个逻辑公式是否为W^-中的a-重言式时，可以用W^-的任一正则R0-代数去替代W^-作判断，特别是可以用具有简单结构的正则子R0-代数W0去作判断，这里W0仅有一个聚点0．5，并且在一定意义下是“收缩不变”的。     

命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论

引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理.     

Tableau-based算法的改进与有限步终止定理

对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生的累赘部分,同时不再限制运算的顺序.基于这个新算法,证明了ALCN语言中Abox的相容性可通过标准tableau-based算法在有限步之内判定.     

二值命题逻辑的D-条件发散度理论

在二值命题逻辑中引入D-条件发散度的概念,讨论了D-条件真度与D-条件发散度之间的关系;同时讨论了理论Γ是D-全发散与理论Γ基于∑是D-全发散之间的关系.     

RL型蕴涵与Fuzzy推理的三Ⅰ算法

引入了RL型蕴涵与正则RL型蕴涵的概念,系统地讨论了基于RL型蕴涵的三Ⅰ算法、三I MT算法及其还原性,得到了这些算法的一般表达式,指出基于正则RL型蕴涵的三Ⅰ算法与三ⅠMT算法的表达式具有对偶形式;证明了当P表示条件{B(y)| y∈Y}(∩){A(x)| x∈X}时,基于RL型蕴涵的三I算法为P-还原算法,当P表示条件{A(x)| x∈X}(∩){B(y)| y∈Y}时,基于RL型蕴涵的三I MT算法为P-还原算法.