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

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