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

Clc Number:

Fund Project:

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

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:December 12,2016
  • Revised:June 19,2017
  • Adopted:
  • Online: June 08,2018
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063