模态逻辑系统S5的本原运算子集

探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。     

Fuzzy导集算子与Fuzzy拓扑

在 I~X上定义了 Fuzzy 半导集算子与 Fuzzy 导集算子,讨论了它们与拓扑的关系,借助于文献[3]中提出的强导集概念,得到:若 d 是 X 的 Fuzzy 导集算子,则在 X上唯一存在一个 Fuzzy 拓扑(?)使得(X,(?))是 Fuzzy 准 T_0空间,且在(X,T)中 Fuzzy集 A 的强导集恰是 A 在 d 下的像 d(A).     

Fuzzy半导集算子与Fuzzy导集算子

对分明集 X,给出了半导集算子与导集算子的概念 ;然后在 IX上引入了 Fuzzy半导集算子与 Fuzzy导集算子的概念 ,研究了它们的性质 ,讨论了它们与拓扑间的关系 .     

关系语义学:模态逻辑系统的一种解释理论

对关系语义学的基本概念可能世界、可通关系、赋值函数、个体域作了简要分析，并运用模型〈Ｗ，Ｒ，Ｖ，Ｄ〉对必然命题、可能命题作出明确的语义定义，在此基础上又根据可通关系Ｒ的不同性质对模态逻辑系统Ｓ５、ＱＳ５等的有效性作了必要的证明通过这些分析和证明，较具体地阐述了关系语义学的基本内容和操作方法图３，参４     

高校教师考评的Fuzzy方法

本文用Fuzzy综合评判的方法对高校教师的素质进行考核,使考核工作数量化、合理化,同时也体现了Fuzzy思想的实用性和优越性。     

必然-可能半三支概念

三支概念分析是将三支决策思想引入形式概念分析而产生的数据分析与知识发现的新工具.由于三支概念从同一角度刻画正、负两方面信息,语义较为严格,致使其在团队合作等实际问题中应用受限.针对此问题,本文利用区间集将必然算子与可能算子进行融合,定义必然-可能三支算子,并探讨其性质,进而将半概念的思想引入三支概念分析,提出必然-可能...     

Zadeh—Fuzzy闭包算子的规范扩张

给出了一种由经典闭包算子生成Zadeh-Fuzzy闭包算子的方法,并讨论了经典闭包算子与Fuzzy闭包算子之间的密切联系。     

Fuzzy拟阵的子结构

本文给出了3种不同的Fuzzy拟阵的子结构,对子结构M(?),讨论了它的秩函数,基,圈,σ算子等性质.     

《离骚》的可能世界——“美人香草”的模态逻辑分析

从逻辑的角度看,《离骚》具有多重真值平面,因此,“美人香草”等形象的寓意往往前后不一.按模态逻辑可能世界语义理论分析,《离骚》是一个由一系列可能世界构成的可能世界系统.诸如关于“求女”之寓意的“求君说”和“求贤说”等解释性命题,只是在《离骚》系统中的某个或某些可能世界中为真,而并非在所有的可能世界中普遍有效.诸多的可能世界在艺术上具有可及关系,但在逻辑上都无法强求一致、普遍满足,这正是《离骚》的特点和魅力所在.     

模糊模态逻辑系统MLuk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统MLuk,然后将其赋值格离散化研究了多值模态逻辑系统MLn;证明了在MLn中,对任一可能的赋值α都存在可达α-重言式;在MLuk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用,并分析了其原因。     

模糊模态命题逻辑的语义

对克里普克语义进行了扩充，给出了模糊化的克里普克语义，然后讨论了模糊模态α-重言式，最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题。     

模糊思辨逻辑系统

将简单思辨逻辑系统＾［１］推广到模糊思辨逻辑系统,定义了模糊协从关系,模糊协从矩阵,并用集对分析的方法进行了研究。     

模糊目标信息系统上的逻辑及决策规则

基于模糊目标信息系统模型，并结合粗糙集相关的逻辑理论，提出了模糊粗糙决策语言FRDL，给出了FRDL中公式的定义、语义、可满足性有效性的形式化描述以及相关的性质。在此语言的基础上，给出了模糊目标信息系统上的决策规则、逆决策规则形式化描述和构造方法。FRDL所描述的逻辑表达方法以及规则推理公式为建立在模糊目标信息系统之上的决策支持系统、推理机提供了形式化的表示和推理方法。最后，在眼科近视诊断上进行的数据实验表明，这种形式化描述和推理方法比较合理。     

AFS模糊逻辑系统及其在模糊信息处理上的应用

为了应用AFS代数和AFS结构处理模糊信息,给出了AFS代数的逻辑非运算“′”,进而使AFS代数成为一个新的逻辑系统AFS模糊逻辑系统·它不是用T模,S模和非算子定义的,而是从问题的原始数据(数据库)用统一的算法建立起来的·它不但与人类思维逻辑相似而且便于计算机把数据库中的大量信息转化为人们能够理解和处理的模糊集     

模糊交互时态逻辑及其语义结构

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。     

用于汽车主动悬架的模糊控制器的研究

对用于汽车主动悬架的模糊控制器进行了研究,以阶跃函数和模拟路面时间历程为输入对汽车１／４主动悬架模型进行计算机仿真,并与被动悬架模型进行对比分析,结果表明：用该模糊控制器控制的主动悬架,汽车的舒适性和安全性都得到了明显改善,是一种较为理想的模糊控制器。     

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

在命题模糊逻辑系统MTL的扩张系统Luk,God,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标--称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.     

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

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

模糊控制系统的稳定区域及其确定方法

基于稳定度的新的定义形式，讨论了模糊系统的稳定性，给出了系统的稳定性条件。接着提出了模糊控制系统稳定区域的概念，并给出稳定区域的确定方法。最后通过小球的自由运动实例，说明了该方法的有效性。     

缺省模态逻辑

本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。