三种基于不同模糊否定的模糊拒取式推理及其算法.pdfVIP

第28 卷　 第2 期　 　 　 　 　 　 　 　 　 　 　 　 　 模式识别与人工智能　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 Vol.28　 No.2 　 2015年2月　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 PR AI　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 Feb.　 2015 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 　 三种基于不同模糊否定的模糊拒取式推理 及其算法∗ 潘正华　 　 赵洁心　 　 王姗姗 (江南大学 理学院数理研究所　 无锡214122) 摘　 要　 模糊拒取式推理(FMT)是模糊推理中最基本的推理形式之一,FMT 的一个前提———模糊否定在推理中较 重要.文中基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统(FLCOM),证明矛盾否定、对立否 定和中介否定是3种不同的模糊否定,提出与FMT不同的,分别基于矛盾否定、对立否定和中介否 定的3种模糊拒取式推理FMT 、FMT 和FMT .此外,基于R-蕴涵算子I 定义一种与I 关联的 1 2 3 R R NR-蕴涵算子I ,并依据FMT 的算法给出FMT 、FMT 和FMT 的算法,证明FMT 、FMT 和FMT NR 1 2 3 1 2 3 的算法在I ≤I 条件下是还原算法. NR 关键词　 模糊拒取式推理(FMT),矛盾否定,对立否定,中介否定,模糊拒取式推理算法 中图法分类号　 TP 181 DOI　 10.16451/ j.cnki.issn1003-6059.201502001 Three Kinds of Fuzzy Modus Tollens and Algorithms Based on Different Fuzzy Negations PAN Zheng-Hua,ZHAOJie-Xin,WANG Shan-Shan (Institute of Mathematics and Physics,School of Science,Jiangnan University,Wuxi214122) ABSTRACT Fuzzy modus tollens (FMT) is one of the most basic inference forms in fuzzy reasoning. As a premise of FMT, fuzzy negation plays a major role in inference. In this paper, based on the fuzzy propositional logic with contradictory negation, opposite negation and medium negation (FL ), COM contradictory negation,oppositenegationandmediumnegationareprovedtobediffe