%0 Journal Article %T 三种基于不同模糊否定的模糊拒取式推理及其算法* %A 潘正华 %A 赵洁心 %A 王姗姗 %J 模式识别与人工智能 %P 97-104 %D 2015 %R 10.16451/j.cnki.issn1003-6059.201502001 %X 模糊拒取式推理(FMT)是模糊推理中最基本的推理形式之一,FMT的一个前提——模糊否定在推理中较重要.文中基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统(FLCOM),证明矛盾否定、对立否定和中介否定是3种不同的模糊否定,提出与FMT不同的,分别基于矛盾否定、对立否定和中介否定的3种模糊拒取式推理FMT1、FMT2和FMT3.此外,基于R-蕴涵算子IR定义一种与IR关联的NR-蕴涵算子INR,并依据FMT的算法给出FMT1、FMT2和FMT3的算法,证明FMT1、FMT2和FMT3的算法在I≤INR条件下是还原算法. %K 模糊拒取式推理(FMT) %K 矛盾否定 %K 对立否定 %K 中介否定 %K 模糊拒取式推理算法 %U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract10277.shtml