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