有限扰动模糊命题逻辑系统的Σ-广义矛盾式

发布时间：2019-05-10 04:40

【摘要】：为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.
[Abstract]:In order to overcome the inadaptability of classical one-dimensional fuzzy logic systems, the concept of perturbed fuzzy propositional logic is proposed. The finite subset I2Rn of the maximum subalgebra I2R of two-dimensional perturbed fuzzy propositional logic is used to replace I2R, and the 危-generalized contradiction theory is introduced in it. The results show that any formula can be reduced to contradiction after at most 2 n-渭 未 times. In this paper, the representation theorem of contradiction is proved, and it is shown that the generalized contradiction for a finite-valued perturbed fuzzy propositional logic system must be reduced to the contradiction for another finite-valued perturbed fuzzy propositional logic system. It provides a new theoretical basis for the method and application of fuzzy information processing.
【作者单位】： 东南大学系统工程研究所 东南大学系统工程研究所
【分类号】：O141.1;

【参考文献】

相关期刊论文 前4条

1 孟广武;;区间值Fuzzy集的基本理论[J];应用数学;1993年02期

2 陈图云,韩莹,廖士中;扰动模糊逻辑I~2的最大子代数及其广义重言式[J];工程数学学报;2003年02期

3 韩莹,陈森发;扰动模糊命题逻辑的代数结构及其广义重言式性质[J];高校应用数学学报A辑(中文版);2005年04期

4 陈图云,韩莹;有限扰动模糊逻辑代数及其广义重言式[J];辽宁师范大学学报(自然科学版);2002年04期

【共引文献】

相关期刊论文 前10条

1 吴洪博,文秋梅;赋值格中一种混合运算的性质和应用[J];西南交通大学学报;2002年01期

2 李晓萍,王贵君;连续区间值模糊数的相关性[J];系统工程理论与实践;2001年07期

3 张兴芳,管恩瑞,孟广武;区间值模糊综合评判及其应用[J];系统工程理论与实践;2001年12期

4 袁和军,李骏;模糊推理的摄动性[J];模糊系统与数学;2001年04期

5 张晓平;Vague集的映射定理及其证明[J];山东建筑工程学院学报;2004年01期

6 汪保明,李孝忠;区间值模糊线性规划问题及其求解方法[J];烟台师范学院学报(自然科学版);2001年02期

7 谢圣献;学习成绩的模糊排序[J];烟台师范学院学报(自然科学版);1999年01期

8 刘用麟,刘三阳;R_0-代数的正规MP-理想[J];西安电子科技大学学报;2005年01期

9 程国胜;R_0代数中的滤子与理想[J];模糊系统与数学;2001年01期

10 裴道武;FMT问题的两种三I算法及其还原性[J];模糊系统与数学;2001年04期

相关博士学位论文 前10条

1 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

2 刘新;三维空间关系的描述及其定性推理[D];山东科技大学;2007年

3 吴恒洋;概率计算与可能性计算的Domain语义[D];上海师范大学;2007年

4 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

5 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

6 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

7 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

8 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

9 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

10 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

相关硕士学位论文 前10条

1 何义平;基于SS-三角模的模糊逻辑系统UL~*的若干问题研究[D];南昌大学;2007年

2 韩红娟;模糊关系传递闭包与内部的进一步研究[D];太原理工大学;2007年

3 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年

4 胡凯;关于模糊紧性与粗集拓扑的研究[D];聊城大学;2007年

5 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

6 吴苏朋;MTL-代数中几类特殊的滤子和Fuzzy滤子[D];陕西师范大学;2007年

7 韩召伟;格值自动机的代数性质与极小化算法[D];陕西师范大学;2007年

8 梁常建;格值正则语言及其截集性质研究[D];陕西师范大学;2007年

9 于鹏;F（S）中的近似推理与三I算法的连续性[D];陕西师范大学;2007年

10 许格妮;偏序集上的S代数及其与若干代数的关系[D];陕西师范大学;2007年

【二级参考文献】

相关期刊论文 前5条

1 王戈平;不分明集的一个分解定理及其在不分明拓扑中的应用[J];科学通报;1981年05期

2 陈图云,韩莹;有限扰动模糊逻辑代数及其广义重言式[J];辽宁师范大学学报(自然科学版);2002年04期

3 陈图云,韩莹,廖士中;扰动模糊逻辑I~2的最大子代数及其广义重言式[J];工程数学学报;2003年02期

4 杨晓斌,张文修;Lukasiewicz多值逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年01期

5 吴洪博;G銉del逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年04期

【相似文献】

相关期刊论文 前4条

1 韩莹,陈森发;扰动模糊命题逻辑的代数结构及其广义重言式性质[J];高校应用数学学报A辑(中文版);2005年04期

2 韩莹,陈森发;有限扰动模糊命题逻辑系统的Σ-广义矛盾式[J];东南大学学报(自然科学版);2005年05期

3 韩莹,陈森发;扰动模糊命题逻辑的代数结构及其广义重言式性质[J];高校应用数学学报A辑(中文版);2005年04期

4 韩莹,陈森发;有限扰动模糊命题逻辑系统的Σ-广义矛盾式[J];东南大学学报(自然科学版);2005年05期

，

本文编号：2473350