公式真度的Hamming距离表示形式与分解定理
作者:
作者单位:

作者简介:

于鹏(1981-),男,宁夏永宁人,博士生,讲师,主要研究领域为非经典数理逻辑,计量逻辑;赵彬(1965-),男,博士,教授,博士生导师,主要研究领域为格上拓扑,非经典数理逻辑

通讯作者:

赵彬,E-mail:zhaobin@snnu.edu.cn

中图分类号:

基金项目:

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


The Hamming Distance Representation and Decomposition Theorem of Formula's Truth Degree
Author:
Affiliation:

Fund Project:

National Natural Sciences Foundation of China (11531009); Fundamental Research Funds for the Central Universities (GK201501001)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    First in this paper, an equivalent characterization of generalized tautologies in Łn is introduced by using the method of cut of fuzzy set, the Hamming distance, Hamming similarity degree and Hamming truth degree between formulas are defined by means of standard Hamming distance between fuzzy sets, and Hamming distance representation of the basic concepts of quantitative logic is described. Then, the truth degree decomposition theorem of formula in quantitative logic is presented. This theorem points out that in quantitative logic, the truth degree of any formula φ is equal to the sum of the truth degrees of some incompatible formulas, and the formula φ itself is logically equivalent to the join of these formulas. Finally, the problem of triple-I truth degree solution of the generalized MP problem is proposed, and the existence of the triple-I truth degree solution is discussed.

    参考文献
    相似文献
    引证文献
引用本文

于鹏,赵彬.公式真度的Hamming距离表示形式与分解定理.软件学报,2018,29(10):3091-3110

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2016-12-12
  • 最后修改日期:2017-06-19
  • 录用日期:
  • 在线发布日期: 2018-06-08
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号