| £ukasiewicz三值命题逻辑系统中公式的概率真度理论 |
| |
| 引用本文： | 关晓红,刘晓. £ukasiewicz三值命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(6): 37-41. DOI: 10.3778/j.issn.1002-8331.2010.06.011 |
| |
| 作者姓名： | 关晓红 刘晓 |
| |
| 作者单位： | 河南师范大学,数学与信息科学学院,河南,新乡,453007 |
| |
| 摘 要： | 利用势为3的非均匀概率空间的无穷乘积，在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念，证明了全体公式的概率真度值之集在[0，1]中没有孤立点；利用概率真度定义了概率相似度和伪距离，进而建立了概率逻辑度量空间，证明了该空间中没有孤立点，为三值命题的近似推理理论提供了一种可能的框架。
|
| 关 键 词： | 概率测度 概率真度 相似度 伪距离 孤立点 |
| 收稿时间： | 2008-09-19 |
| 修稿时间： | 2008-12-12 |
Theory of probability truth degree in (L)ukasiewicz 3-valued logic system |
| |
| GUAN Xiao-hong,LIU Xiao. Theory of probability truth degree in (L)ukasiewicz 3-valued logic system[J]. Computer Engineering and Applications, 2010, 46(6): 37-41. DOI: 10.3778/j.issn.1002-8331.2010.06.011 |
| |
| Authors: | GUAN Xiao-hong LIU Xiao |
| |
| Affiliation: | GUAN Xiao-hong,LIU Xiao Department of Mathematics , Information Science,Henan Normal University,Xinxiang,Henan 453007,China |
| |
| Abstract: | Using the infinite product of unevenly distributed probability space ,this paper introduces the theory of probability truth degree in Lukasiewicz 3-valued propositional logic.It is proved that the set of probability truth degree of all formulas has no isolated point in [0,1].The conceptions of probability similarity degree and pseudo-metric on two formulas are defined by means of the concept of probability truth degree of propositions.Moreover,the probability logic metric space is built.It is proved that th... |
| |
| Keywords: | probability measure probability truth degree similarity degree pseudo-metric isolated point |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
