| 命题逻辑中的程度化方法 |
| |
| 引用本文： | 王国俊,宋建社.命题逻辑中的程度化方法[J].电子学报,2006,34(2):252-257. |
| |
| 作者姓名： | 王国俊 宋建社 |
| |
| 作者单位： | 1. 陕西师范大学数学研究所,陕西西安710062;2. 西安交通大学基础科学 研究中心,陕西西安 710049;3. 西安高技术研究所,陕西西安 710025 |
| |
| 摘 要： | 在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.
|
| 关 键 词： | 命题逻辑 诱导函数 真度 近似推理 相容度 |
| 文章编号： | 0372-2112（2006）02-0252-06 |
| 收稿时间： | 2005-06-01 |
| 修稿时间： | 2005-06-012005-10-10 |
Graded Method in Propositional Logic |
| |
| WANG Guo-jun,SONG Jian-she.Graded Method in Propositional Logic[J].Acta Electronica Sinica,2006,34(2):252-257. |
| |
| Authors: | WANG Guo-jun SONG Jian-she |
| |
| Affiliation: | 1. Institute of Mathematics,Shaanxi Normal University,Xi'an,Shaanxi 710062,China;2. Research Center for Science,Xi'an Jiaotong University,Xi'an,Shaanxi 710049,China;3. Xi'an HiTech Institute,Xi'an,Shaanxi 710025,China |
| |
| Abstract: | The concept of proposition induced functions is proposed in the present paper, then the concept of truth degrees is introduced by means of infinite propduct of evenly distributed probability spaces and integrated semantics respectively w. r. t. discrete and continuous situations. Next, a graded approximate reasoning theory is established. Finally, theory of consistency degrees of finite theories is also proposed. |
| |
| Keywords: | propositional logic induced function truth degree approximate reasoning consistency degree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
|
