期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
公式真度的Hamming距离表示形式与分解定理 被引量:6
1
作者 于鹏 赵彬 《软件学报》 EI CSCD 北大核心 2018年第10期3091-3110,共20页
首先应用模糊集截集的方法,给出了多值逻辑系统L_n中广义重言式的一个等价刻画,并利用模糊集间的标准Hammin距离,定义了公式间的Hamming距离、Hamming相似度与Hamming真度,给出了计量逻辑学基本概念的Hamming距离表示方法.然后给出了计... 首先应用模糊集截集的方法,给出了多值逻辑系统L_n中广义重言式的一个等价刻画,并利用模糊集间的标准Hammin距离,定义了公式间的Hamming距离、Hamming相似度与Hamming真度,给出了计量逻辑学基本概念的Hamming距离表示方法.然后给出了计量逻辑学中公式真度的一个分解定理,这个定理指出在计量逻辑学中,任意一个公式的真度等于一些互不相容的公式的真度之和,而公式φ本身则逻辑等价于这些公式的并.最后应用所提方法定义了广义MP问题的三-Ⅰ真度解,并讨论了三-Ⅰ真度解的存在性问题. 展开更多
关键词 HAMMING距离 近似推理 计量逻辑学 相容理论 三-i真度解
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部