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

摘要：

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

关键词：扰动模糊命题逻辑、Σ-广义矛盾式、降级算法

所属期刊栏目：35

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2005-11-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：824-828