| 多值逻辑公式间的伪距离的Boole函数表示 |
| |
| 引用本文： | 马巧云,吴洪博.多值逻辑公式间的伪距离的Boole函数表示[J].计算机工程与应用,2015,51(23):38-41. |
| |
| 作者姓名： | 马巧云 吴洪博 |
| |
| 作者单位： | 1.西安文理学院 数学与计算机工程学院，西安 710065
2.陕西师范大学 数学与信息科学学院，西安 710062 |
| |
| 摘 要： | 利用逻辑公式的Boole函数表示，给出了m]元n]值逻辑公式的真度和公式间伪距离的等价定义，说明了这种定义与原有的概率形式的定义等价，得到了公式间的伪距离的一些简单性质。
|
| 关 键 词： | 逻辑系统 Boole函数 真度 伪距离 |
Boole function representation of pseudo-metric among many-valued formula |
| |
| MA Qiaoyun,WU Hongbo.Boole function representation of pseudo-metric among many-valued formula[J].Computer Engineering and Applications,2015,51(23):38-41. |
| |
| Authors: | MA Qiaoyun WU Hongbo |
| |
| Affiliation: | 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 |
| |
| 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. |
| |
| Keywords: | logic system Boole functions truth degree pseudo-metric |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
