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

来源：软件学报杂志2018年第10期北京时间：

作者：于鹏,赵彬

单位：于鹏，陕西师范大学 数学与信息科学学院, 陕西 西安 710119;陕西科技大学 文理学院, 陕西 西安 71002111,赵彬，陕西师范大学 数学与信息科学学院, 陕西 西安 71011902

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

关键词：Hamming距离;近似推理;计量逻辑学;相容理论;三-I真度解

基金资助：国家自然科学基金（11531009）；中央高校基本科研业务费专项资金（GK201501001）