计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (23): 38-41.

• 理论研究、研发设计 • 上一篇    下一篇

多值逻辑公式间的伪距离的Boole函数表示

马巧云1,吴洪博2   

  1. 1.西安文理学院 数学与计算机工程学院,西安 710065
    2.陕西师范大学 数学与信息科学学院,西安 710062
  • 出版日期:2015-12-01 发布日期:2015-12-14

Boole function representation of pseudo-metric among many-valued formula

MA Qiaoyun1, WU Hongbo2   

  1. 1.College of Mathematics and Computer Engineering, Xi’an Arts and Science University, Xi’an 710065, China
    2.College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China
  • Online:2015-12-01 Published:2015-12-14

摘要: 利用逻辑公式的Boole函数表示,给出了[m]元[n]值逻辑公式的真度和公式间伪距离的等价定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质。

关键词: 逻辑系统, Boole函数, 真度, 伪距离

Abstract: The Boole function of formula is given in logic system, the truth degree of n-ary and m-valued formula and pseudo-metric among n-ary and m-valued formulas are defined, It is explained that the definitions of truth degree and pseudo-metric are equivalent to the original probability definition. Some simple properties of pseudo-metric among formulas are obtained.

Key words: logic system, Boole functions, truth degree, pseudo-metric