Compactness in fuzzy logic

Compactness in Pavelka’s fuzzy logic for some compact lattices of truth values is shown, and the concept of gradual compactness is introduced to establish some corresponding results in a more general setting.     

拓扑系统范畴完备性与Tychonoff乘积定理

拓扑系统是目前最广泛的拓扑学研究对象,它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例,用它可研究计算机程序设计语言指称语义的Domain理论．本文旨在建立拓扑系统范畴的乘积结构与等子结构,表明拓扑系统范畴是完备范畴．讨论拓扑系统的紧性,得到了拓扑系统关于紧性的Tychonoff乘积定理．     

L－Fuzzy拓扑空间中几种紧性的新特征

在Ｌ－Ｆｕｚｚｙ拓扑空间中引入了α－完全聚点与α完全聚点的概念并借之给出了良紧集，强Ｆ紧集及Ｆ紧集的新特征．     

L-拓扑空间的相对近似模糊紧集及其性质

当L是完备格的DeMorgan代数时定义了L-拓扑空间的相对近似模糊紧性.讨论了相对近似模糊紧性与近似模糊紧性之间的关系,并用网和覆盖等工具对相对近似模糊紧性进行了刻画,研究了相对近似模糊紧性的性质.证明了相对近似模糊紧性的闭遗传性等性质.给出了相对近似模糊紧性的若干等价刻画.     

分析和设计安全协议的新逻辑的语义

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.     

Prolog的语义保持变换

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复转换集语义,但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义,此外,程序的语义等价性证明也往往是难以理解和阅读的,为此,首先用与计算SLD－树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的Prolog语义定义,然后给出有关的语义保持变换规则并加以证明。     

关于覆盖式不分明紧性

给出了不分明拓扑（ｆｔｓ）中覆盖式紧性的主要性质,讨论了其与若干模糊紧性等价刻划     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

模糊度量空间的紧致性

在A. George和P. Veeramani定义的模糊度量空间的意义下,定义了Lebesgue数并证明了Lebesgue数定理,进一步讨论了在模糊度量空间中紧致性与序列紧致的关系以及紧致性与分离性的关系.     

模糊拓扑空间的m-紧(Ⅰ)

在模糊拓扑空间中利用强开覆盖的概念引进一个称作 m-紧的紧性定义 ,并研究了它与模糊网的 m-收敛之间的关系 .证明了 Tychonoff乘积定理对 m-紧性成立 .     

强序列紧性,可数强紧性和强列紧性

本文首先指出[1]中定义的序列紧fts和可数紧fts的病态结果,接着定义了强序列紧性,可数强紧性和强列紧性,它们分别以一般拓扑学中相应概念为特款,文中还证明了强序列紧性、可数强紧性和强列紧性分别是一般拓扑学中相应概念的良扩张,最后讨论了引进的这些fts的性质和它们间的联系。     

论情境语义学的语用视角

自创立始,情境语义学被定位为自然语言语义理论或逻辑语法理论,但它有鲜明的语用视角,主要表现在:它与诸多语用研究或思想之间的渊源关系;它和语用学在研究对象或研究内容方面的一致性;它对形式语义学兼容语用研究的研究传统和当今大语义观的发展趋势的遵循。通过对自然语言条件句陈述的情境语义解释,可以看出语用因素在情景语义学中无处不在,情景语义学与语用研究中的相关理论有内在联系。     

模糊度量空间的紧性

研究了模糊度量空间的紧性,主要讨论了列紧性、全有界性、自列紧性和紧性等,证明了几个关于模糊度量空间紧性的命题和定理.     

非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

直觉模糊匹配的语义距离与贴近度

首先引用Atanassov直觉模糊集的基本概念,阐述了直觉模糊推理的语义匹配问题．给出了计算直觉模糊匹配度的语义距离与贴近度扩展方法,重点研究了直觉模糊贴近度扩展计算模型与直觉模糊语义距离,包括在离散论域和连续论域上的海明距离、欧氏距离、明可夫斯基距离、切比雪夫距离等扩展计算模型,提出了将直觉模糊贴近度与直觉模糊语义距离转换成直觉模糊匹配度的方法。     

形式赋值系统的研究

将一阶谓词演算系统进行语构和语义两方面的扩充，即引进比率量词和模糊量词，将真值区域｛０，１｝扩展到［０，１］，进而建立一个带有比率量词的一阶一型模糊谓词逻辑系统（ＦＯＦＬＲ）。基于模糊逻辑，文中还讨论了一个专家咨询系统框架。     

基于子结构逻辑的不确定性语义时态查询技术研究

为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.     

置换空间PBBS的弱序列完备性,紧性,弱紧性

讨论了置换空间PBBS的弱序列完备性，紧性，弱紧性等拓扑性质，其结果改进并推广了文献[1]的结果。     

LF拓扑空间的的r-紧性

引入了r-基,r-子基,r-紧等概念,给出了r-紧性的网式刻画,证明了r-紧性是闭遗传,被r-连续的格值Zadeh型函数所保持,Tychonoff乘积定理成立等结果。