| 命题逻辑系统Ln中公式集上的真度函数 |
| |
| 引用本文： | 马丽娜,刘烁,王国俊.命题逻辑系统Ln中公式集上的真度函数[J].计算机工程与应用,2010,46(36):37-39. |
| |
| 作者姓名： | 马丽娜 刘烁 王国俊 |
| |
| 作者单位： | 1. 陕西师范大学,数学与信息科学学院,西安,710062
2. 第四军医大学,生物医学工程系,西安,710032 |
| |
| 摘 要： | 在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义，给出了真度函数的若干重要性质，利用真度函数从形式上定义了相似度和伪距离，建立了逻辑度量空间，为从语构的角度展开近似推理提供了一种可能的框架。
|
| 关 键 词： | 真度函数 相似度 伪距离 逻辑度量空间 |
| 收稿时间： | 2010-7-20 |
| 修稿时间： | 2010-10-19
|
Truth degree function on set of formulas in propositional logic system Ln |
| |
| MA Li-na,LIU Shuo,WANG Guo-jun.Truth degree function on set of formulas in propositional logic system Ln[J].Computer Engineering and Applications,2010,46(36):37-39. |
| |
| Authors: | MA Li-na LIU Shuo WANG Guo-jun |
| |
| Affiliation: | 1.College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China;2.Faculty of Biomedical Engineering,The Fourth Military Medical University,Xi’an 710032,China ) |
| |
| Abstract: | The purpose of this paper is to give an axiomatic definition of truth degree function on the set of formulas in n-valued Lukasiewicz propositional logic system and some properties of truth degree function are proved.The conceptions of similarity degree among formulas and a pseudo-metric on the set of formulas are defined by means of the concept of truth degree function.The logic metric space is built and a possible framework for approximate reasoning from the syntactical view is proposed. |
| |
| Keywords: | truth degree function similarity degree pseudo-metric logic metric space |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
