| Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布 |
| |
| 引用本文： | 马丽娜,王国俊.Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布[J].山东大学学报(理学版),2009,44(10):54-59. |
| |
| 作者姓名： | 马丽娜 王国俊 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院, 陕西 西安 710062; 陕西师范大学数学研究所, 陕西 西安 710062) |
| |
| 基金项目： | 国家自然科学基金资助项目(10771129) |
| |
| 摘 要： | 利用势为三的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑系统L-3中引入命题的真度概念,给出了真度推理规则,证明了在三值逻辑(a/5,b/5,c/5)测度下全体公式的真度值之集在［0,1］上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑系统的近似推理奠定了基础。
|
| 关 键 词： | 非均匀概率空间 真度 稠密 |
| 收稿时间： | 2009-01-17 |
Theory of truth degrees in Lukasiewicz three valued propositional logic |
| |
| Institution: | College of Mathematics and Information Science, Shaanxi Normal University, Xi'an 710062, Shaanxi,China; Institute of Mathematics, Shaanxi Normal University, Xi'an 710062, Shaanxi,China |
| |
| Abstract: | Based on the infinite product of unevenly distributed probability space, the theory of truth degrees in Lukasiewicz three valued propositional logicis introduced and inference rules with truth degrees are given. Moreover, it is proved that the set of truth degrees of propositions in the three valued (a/5,b/5,c/5)logic measure isdense in ［0,1］,and expressions of truth degrees are obtained. This paves the way for further study on approximate reasoning. |
| |
| Keywords: | uneven probability space truth degree dense |
|
| 点击此处可从《山东大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《山东大学学报(理学版)》下载免费的PDF全文 |
|
