区分3种否定的模糊命题逻辑系统及其应用*

摘要：

在模糊知识表示与推理中，否定信息扮演了一个重要角色.从概念层面上区分了模糊知识中存在的3种否定关系，即矛盾否定关系、对立否定关系和中介否定关系.为了建立能够完全描述这些不同否定关系的逻辑基础，提出一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统 FLCOM.讨论了 FLCOM 特有的性质与意义，给出了 FLCOM 的一种语义解释，并证明了可靠性定理.为了表明 FLCOM 处理实际问题的适用性，进一步研究了FLCOM在一个模糊决策实例中的应用.具体地，基于FLCOM讨论了决策规则中的模糊命题及其不同否定的区分与形式表示，给出一种确定模糊命题及其不同否定的真值及其真值范围阈值的方法，并采用模糊产生式规则讨论了实例中的模糊推理与决策.从而表明，运用FLCOM处理具有模糊性并且存在不同否定的实际问题是有效的.

关键词：模糊知识、矛盾否定、对立否定、中介否定、模糊命题逻辑

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金61375004,60973156;中央高校基本科研业务费专项资金JUSRP51317B

在线出版日期：2014-08-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：1255-1272