|
|||||
|
|
| 有限扰动模糊命题逻辑系统的∑-广义矛盾式 | |
| 引用本文： | 韩莹,陈森发.有限扰动模糊命题逻辑系统的∑-广义矛盾式[J].东南大学学报(自然科学版),2005,35(5):824-828. |
| 作者姓名： | 韩莹 陈森发 |
| 作者单位： | 东南大学系统工程研究所,南京210096 |
| 摘 要： | 为了克服经典一维模糊逻辑系统的不适应性，提出了扰动模糊命题逻辑的概念．用二维扰动模糊命题逻辑最大子代数I^2R的有限子集I^2Rn取代最I^2R，并在其中引入∑-广义矛盾式理论．结果表明：任意公式至多经过2n-μ＋δ次就可降级为矛昏式；证明了矛盾式表示定理，表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式．为模糊信息处理的方法和应用提供了新的理论基础． |
| 关 键 词： | 扰动模糊命题逻辑 ∑-广义矛盾式 降级算法 |
| 文章编号： | 1001-0505（2005）05-0824-05 |
| 收稿时间： | 09 16 2004 12:00AM |
| 修稿时间： | 2004-09-16 |
| 本文献已被 维普 等数据库收录！ | |