| (3n+1)值逻辑系统Ro(L)中公式的真度性质 |
| |
| 引用本文： | 吴洪博,周建仁,张琼. (3n+1)值逻辑系统Ro(L)中公式的真度性质[J]. 电子学报, 2011, 39(10): 2230-2234 |
| |
| 作者姓名： | 吴洪博 周建仁 张琼 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西西安 710062 |
| |
| 基金项目： | 国家自然科学基金资助项目(No.10871121) |
| |
| 摘 要： | 基于计量逻辑学的思想,在(3n+1)值模糊命题逻辑系统R0(L)中引入了公式真度的概念,研究了其主要性质;给出了公式真度的积分表示,并证明了(3n+1)值逻辑系统Ro(L)中的真度MP规则及真度HS规则;利用真度定义了公式间的相似度与伪距离,从而为在(3n+1)值逻辑系统R0(L)中建立近似推理理论提供了一种可能的框架...
|
| 关 键 词： | 计量逻辑学 R0(L)系统 真度 相似度 伪距离 |
| 收稿时间： | 2010-06-30 |
The Properties of Truth Degrees of Formulas in (3n+1)-Valued Logic System R_0L |
| |
| WU Hong-bo,ZHOU Jian-ren,ZHANG Qiong. The Properties of Truth Degrees of Formulas in (3n+1)-Valued Logic System R_0L[J]. Acta Electronica Sinica, 2011, 39(10): 2230-2234 |
| |
| Authors: | WU Hong-bo ZHOU Jian-ren ZHANG Qiong |
| |
| Affiliation: | College of Mathematics and Information Science,Shanxi Normal University,Xi'an,Shaaxi 710062,China |
| |
| Abstract: | Based on the idea of quantitative logic,the definition of the truth degrees of formulas is proposed in(3n+1)-valued propositional logic system R0L,and its main properties are discussed.The integral representation of the truth degrees of formulas is given,the truth degree modus ponens and truth degree hypothetical syllogism are proved.The concepts of similarity degree and pseudo-metric among formulas are introduced by means of the truth degree.The work of this paper is the base for establishing the framework... |
| |
| Keywords: | quantitative logic R0Lsystem truth degree similarity degree pseudo-metric |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
