公式真度的Hamming距离表示形式与分解定理

作     者：于鹏 赵彬 YU Peng;ZHAO Bin

作者机构：陕西师范大学数学与信息科学学院陕西西安710119 陕西科技大学文理学院陕西西安710021 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2018年第29卷第10期

页      面：3091-3110页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(11531009) 中央高校基本科研业务费专项资金(GK201501001)~~ 

主　　题：Hamming距离 近似推理 计量逻辑学 相容理论 三-I真度解 

摘      要：首先应用模糊集截集的方法,给出了多值逻辑系统L_n中广义重言式的一个等价刻画,并利用模糊集间的标准Hammin距离,定义了公式间的Hamming距离、Hamming相似度与Hamming真度,给出了计量逻辑学基本概念的Hamming距离表示方法.然后给出了计量逻辑学中公式真度的一个分解定理,这个定理指出在计量逻辑学中,任意一个公式的真度等于一些互不相容的公式的真度之和,而公式φ本身则逻辑等价于这些公式的并.最后应用所提方法定义了广义MP问题的三-Ⅰ真度解,并讨论了三-Ⅰ真度解的存在性问题.