Lukasiewicz区间值命题逻辑的广义重言式

给出一个新区间值的定义,在此基础上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义.同时由一类特殊的公式序列Ak,k=1,2,…,证明了可达-a-重言式类类不空和类类互异定理在Lukasiewicz区间值命题逻辑中也成立.

Gdel区间值逻辑系统的广义拟重言式

吴洪博博士将王国俊教授在R0逻辑系统中的广义重言式理论推广到Gdel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划。将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划。

Lukasiewicz区间值命题逻辑的ā-真度理论

首先给出了区间值命题逻辑的基本概念,把概率测度和概率空间的概念拓展到区间值上,在此基础上定义了有限值区间逻辑测度,给出基于区间值概率空间的无穷乘积概念。在Lukasiewicz区间值命题逻辑中,引入命题的ā-真度概念,证明了区间值真度推理规则,讨论了其性质。

广义区间值模糊粗糙近似算子的构造研究

构造了一组新的广义模糊粗糙近似算子,将其拓展到区间上。在由任意的二元区间值模糊关系构成的广义近似空间中,证明了该组近似算子与区间化的广义Dubois模糊粗糙近似算子是等价的,最后在一般二元区间值模糊关系下对该组近似算子的性质进行了讨论。

一种基于用户需求的加权模糊聚类分析算法

从用户的实际需求出发,分析了聚类系统的使用者可能对系统提出的功能要求,提出了一种基于加权Euclid距离的模糊C聚类分析算法。在该算法中,权值是由用户或领域的专家直接指定的,加在不同特征指标上的权值体现了用户对各个特征指标重视程度的差别。与传统的模糊C聚类分析相比,该算法增加了聚类的灵活性,能够产生令用户更加满意的聚类结果。

区间值Fuzzy集分解定理上的近似算子研究

将广义粗糙模糊下、上近似算子拓展到区间上,并利用区间值模糊集分解定理给出一组新的广义区间值粗糙模糊下、上近似算子,证明二者在由任意二元经典关系构成的广义近似空间中是等价的,最后讨论了在一般二元关系下,两组近似算子的性质。