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

• 作者: 陈森发 韩莹
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 数学
• 关键词: 扰动模糊命题逻辑 Σ-广义矛盾式 降级算法
• 年，卷（期）: 2005,（5）
• 页码范围: 824-828
• 页数: 5页
• 分类号: O141.1
• 字数: 5108字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0505.2005.05.036

摘要

为了克服经典一维模糊逻辑系统的不适应性, 提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R 的有限子集I2Rn 取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式. 为模糊信息处理的方法和应用提供了新的理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈森发	东南大学系统工程研究所	192	3070	32.0	45.0
2	韩莹	东南大学系统工程研究所	6	22	3.0	4.0