度量Boole代数的性质及其在F（S）的近似推理中的应用

进一步讨论了度量Boole代数的性质.给出了度量Boole代数中一个元素到一个滤子的距离刻画,以及不同滤子之间距离的刻画.作为应用,给出了逻辑度量空间(F(S),ρ)中一个公式到一个г推论之集以及不同T推论之集问的距离描述.     

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

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

逻辑系统Ln中的真度、发散度与相容度的分布

研究了n值(L)ukasiewicz命题逻辑系统(L)n中公式的真度、理论的发散度与相容度的分布问题.令H={k/nm|k=0,…,nm;m=1,2,…}, 利用McNaughton函数证明了对任意k/nm∈H, 都有公式A,使得A的真度为k/nm, 从而全体公式的真度值之集在[0,1]中稠密. 又由真度值之集的稠密性和系统(L)n的广义演绎定理证明了理论的发散度取值之集为单位区间[0,1]. 最后由理论的相容度与发散度的关系得到了理论的相容度取值之集为{0}∪[1/2,1].     

UML状态图测试充分性准则的公理化评估

描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.     

三值命题逻辑随机化的注记

通过引入随机化映射和真度权函数等概念,提出了三值命题逻辑系统中公式的随机真度的等价定义,给出了随机真度的推理规则,研究了随机度量空间上逻辑运算的连续性等问题,为在三值命题逻辑系统中进行近似推理提供了另外的方法.     

三值标准序列逻辑中的α-真度理论

基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础.     

区间直觉模糊粗糙集的公理化

基于单个以及两个论域之间的区间直觉模糊关系,用构造性方法建立两种区间直觉模糊粗糙集模型,并讨论一些相关性质.在此基础上,用公理化方法给出区间直觉模糊粗糙近似算子的公理化描述.     

因素空间理论与知识表示的数学框架（I）：因素空间的公理化定 …

系统地研究因素空间理论及其知识表示中的应用，介绍因素空间理论的基本思想，修改了原有因素空间的公理化定义，提出了表达概念的基本工具－描述架，为建立知识表示的数学框架奠定了基础。