论文部分内容阅读
模糊拒取式推理(FMT)是模糊推理中最基本的推理形式之一,FMT的一个前提———模糊否定在推理中较重要.文中基于区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统(FLCOM),证明矛盾否定、对立否定和中介否定是3种不同的模糊否定,提出与FMT不同的,分别基于矛盾否定、对立否定和中介否定的3种模糊拒取式推理FMT1、FMT2和FMT3.此外,基于R-蕴涵算子IR 定义一种与IR 关联的NR-蕴涵算子INR,并依据FMT的算法给出FMT1、FMT2和FMT3的算法,证明FMT1、FMT2和FMT3的算法