| 标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布 |
| |
| 引用本文： | 李骏,兰倩,夏亚峰.标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布[J].兰州理工大学学报,2003,29(4):132-136. |
| |
| 作者姓名： | 李骏 兰倩 夏亚峰 |
| |
| 作者单位： | 1. 兰州理工大学,理学院,甘肃,兰州,730050
2. 兰州理工大学,土木工程学院,甘肃,兰州,730050 |
| |
| 摘 要： | 利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.
|
| 关 键 词： | 真度 真度推理规则 稠密 |
| 文章编号： | 1000-5889(2003)04-0132-05 |
| 修稿时间： | 2003年1月13日 |
Distribution of propositional truth value set in [0, 1] in standard serial logic system S3 |
| |
| LI Jun,LAN Qian,XIA Ya-feng.Distribution of propositional truth value set in [0, 1] in standard serial logic system S3[J].Journal of Lanzhou University of Technology,2003,29(4):132-136. |
| |
| Authors: | LI Jun LAN Qian XIA Ya-feng |
| |
| Institution: | LI Jun~1,LAN Qian~2,XIA Ya-feng~1 |
| |
| Abstract: | Using the infinite product of homogeneous probability space with potential of 3, a conception of formula truth degree is introduced into 3-valued standard serial logic system and a inferential rule of truth degree is also given. It is proved further that the set of complete formula truth degree in is dense one; and a general expression for formula truth degree is given also, providing a basis for further establishing approximate reasoning theory of 3-valued propositional logic. |
| |
| Keywords: | truth degree truth degree inferential rule dense |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
