| 公式真度的Hamming距离表示形式与分解定理 |
| |
| 引用本文： | 于鹏,赵彬.公式真度的Hamming距离表示形式与分解定理[J].软件学报,2018,29(10):3091-3110. |
| |
| 作者姓名： | 于鹏 赵彬 |
| |
| 作者单位： | 陕西师范大学 数学与信息科学学院, 陕西 西安 710119;陕西科技大学 文理学院, 陕西 西安 710021,陕西师范大学 数学与信息科学学院, 陕西 西安 710119 |
| |
| 基金项目： | 国家自然科学基金（11531009）；中央高校基本科研业务费专项资金（GK201501001） |
| |
| 摘 要： | 首先应用模糊集截集的方法，给出了多值逻辑系统Łn中广义重言式的一个等价刻画，并利用模糊集间的标准Hammin距离，定义了公式间的Hamming距离、Hamming相似度与Hamming真度，给出了计量逻辑学基本概念的Hamming距离表示方法.然后给出了计量逻辑学中公式真度的一个分解定理，这个定理指出在计量逻辑学中，任意一个公式的真度等于一些互不相容的公式的真度之和，而公式φ本身则逻辑等价于这些公式的并.最后应用所提方法定义了广义MP问题的三-I真度解，并讨论了三-I真度解的存在性问题.
|
| 关 键 词： | Hamming距离 近似推理 计量逻辑学 相容理论 三-I真度解 |
| 收稿时间： | 2016/12/12 0:00:00 |
| 修稿时间： | 2017/6/19 0:00:00 |
The Hamming Distance Representation and Decomposition Theorem of Formula's Truth Degree |
| |
| YU Peng and ZHAO Bin.The Hamming Distance Representation and Decomposition Theorem of Formula's Truth Degree[J].Journal of Software,2018,29(10):3091-3110. |
| |
| Authors: | YU Peng and ZHAO Bin |
| |
| Affiliation: | School of Mathematics and Information Science, Shaanxi Normal University, Xi''an 710119, China;School of Arts and Sciences, Shaanxi University of Science and Technology, Xi''an 710021, China and School of Mathematics and Information Science, Shaanxi Normal University, Xi''an 710119, China |
| |
| Abstract: | |
| |
| Keywords: | Hamming distance approximate reasoning quantitative logic consistency theory triple I truth degree solution |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
