| | | | | 有限扰动模糊命题逻辑系统的Σ-广义矛盾式 | | | 韩莹,陈森发 | | | 为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.
【作者单位】：东南大学系统工程研究所 南京210096
(韩莹);东南大学系统工程研究所 南京210096(陈森发)
【关键词】：扰动模糊命题逻辑;Σ-广义矛盾式;降级算法
【分类号】：O141.1;
【DOI】：cnki:ISSN:1001-0505.0.2005-05-035
【正文快照】：
自从Zadeh于1965年提出了模糊集的概念,模糊推理就广泛应用于工业控制与家电产品的制造中,并取得了很大的成功.而今模糊推理又渗透于人工智能和专家系统中.但是众所周知,模糊推理虽然在应用上是成功的,但是在理论基础上却并非无懈可击,并没有归于严密的逻辑系统之中.在狭义模糊命题逻辑中,用[0,1]内一个数表示模糊命题的真值.但是由于决策评价过程中信息的波动性,如决策属性采取单个数值来表示则很难把握事物发展的本质.因此,Gorzalezany[1]和Turken[2]提出区间值和A tanassov[3]提出直觉模糊逻辑后,人们对其研究兴趣与日俱增,文献[4~6]都… | | |  推荐 CAJ下载  PDF下载 | | | CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式 | | | | Σ-generalized contradiction in the limited value disturbing fuzzy propositional logic | | | Han Ying Chen Senfa(Institute of Systems Engineering;Southeast University;Nanjing 210096;China) | | | To overcome the inadaptability of the classical one-dimensional fuzzy logic system,the concept of disturbing-valued fuzzy propositional logic is put forwards.This article substitutes the largest sub-algebra I~2_R in two-dimensional disturbing fuzzy propositional logic with its limited subset I~2_(Rn) and introduces Σ-generalized contradiction theory.The main results are contradiction can be gained by employing downgrade algorithm to an arbitrary formula at most 2n-μ+δ times.Indication theorem of generalized contradiction is proved,which indicates that generalized contradiction of one limited disturbing fuzzy propositional logic certainly can be downgraded to contradiction of another limited disturbing fuzzy propositional logic.This gives us a new theoretical basis for fuzzy information process.
【Keyword】：disturbing fuzzy propositional logic;Σ-generalized contradiction;downgrade algorithm |
| | | | | | 1 | 王贵君
,王忠海; Fuzzy区间分布数与广义拟概率度量 [J];大连教育学院学报; 1996年03期 | | 2 | 张广济,于明业,周丽馥; BCI-代数中的(s,t]-模糊理想和R-模糊理想 [J];大连大学学报; 2004年06期 | | 3 | 闵祥参; 基于模糊逻辑的击键特征用户认证系统 [J];电脑开发与应用; 2006年03期 | | 4 | 陈图云,孟艳平; 扰动模糊集相似度限定推理方法 [J];辽宁工程技术大学学报; 2004年04期 | | 5 | 王会勇,赵海良,杨晓伟; 基于拓扑变换的一种不确定性推理方法 [J];重庆交通学院学报; 2004年01期 | | 6 | 陈图云,韩莹,廖士中; 扰动模糊逻辑I~2的最大子代数及其广义重言式 [J];工程数学学报; 2003年02期 | | 7 | 刘用麟,张小红; 伪NM代数及其性质 [J];工程数学学报; 2006年04期 | | 8 | 陈图云,孟艳平; 模糊集相似度限定推理方法 [J];工程数学学报; 2005年02期 | | 9 | 裴道武,姜慧; 一个新的模糊谓词演算形式系统 [J];东北师大学报(自然科学版); 2003年01期 | | 10 | 张家录; 形式演绎系统L~*的运算与弱演绎定理 [J];湘南学院学报; 2004年02期 |
|
|
|
