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

• 作者: 于鹏 赵彬
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Hamming距离 近似推理 计量逻辑学 相容理论 三-Ⅰ真度解
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 3091-3110
• 页数: 20页
• 分类号: TP181
• 字数: 14236字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005385

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于鹏	陕西师范大学数学与信息科学学院	20	50	4.0	6.0
3	赵彬	陕西师范大学数学与信息科学学院	107	414	12.0	15.0