文献类型：期刊文章

作　　者：张胜礼[1,2]

机构地区：[1]陕西师范大学计算机科学学院西安710119 [2]兴义民族师范学院信息技术学院,贵州兴义562400

出　　处：《计算机科学与探索》

基　　金：贵州省科学技术基金项目Grant No.2324[2012]Contract J~~

年　　份：2014

卷　　号：8

期　　号：4

起止页码：494-505

语　　种：中文

收录情况：AJ、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、IC、JST、ZGKJHX、普通刊

摘　　要：对于模糊知识及其否定关系,潘正华指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的模糊集FScom(fuzzy sets with contradictory negation,opposite negation and medium negation),随后建立了一种改进的模糊集IFScom(improved FScom)。为给模糊集FScom及其改进IFScom提供一种逻辑工具,提出了一种带有矛盾否定、对立否定和中介否定的模糊命题逻辑演算系统FPcom,并在给定无穷值语义赋值模型以及可满足性定义下,证明了FPcom具有可靠性和完备性。FPcom在一定意义上可视为对中介命题演算系统的改进。

关 键 词：模糊逻辑 矛盾否定  对立否定  中介否定  中介模糊公式  

分 类 号：TP18]