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

摘要：

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

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

所属期刊栏目：29

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

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

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

页数：共20页

页码：3091-3110