| 逻辑度量空间 |
| |
| 引用本文： | 王国俊,王伟. 逻辑度量空间[J]. 数学学报, 2001, 44(1): 159-168. DOI: cnki:ISSN:0583-1431.0.2001-01-020 |
| |
| 作者姓名： | 王国俊 王伟 |
| |
| 作者单位： | 1. 陕西师范大学数学研究所
2. 陕西经贸学院计算机中心 |
| |
| 基金项目： | 国家自然科学基金资助项目(19831040) |
| |
| 摘 要： | 取赋值格为［０，１］，用积分工具引入了公式的真度和相似度的概念，并从而在公式集Ｆ上建立了伪距离，为近似推理提供了一种可能的框架．
|
| 关 键 词： | 真度 a-重言式 相似度 逻辑度量空间 准近似推理 |
| 文章编号： | 0583-1431(2001)01-0159-10 |
| 修稿时间： | 1998-11-02 |
Logical Metric Spaces |
| |
| WANG Guo Jun,WANG Wei. Logical Metric Spaces[J]. Acta Mathematica Sinica, 2001, 44(1): 159-168. DOI: cnki:ISSN:0583-1431.0.2001-01-020 |
| |
| Authors: | WANG Guo Jun WANG Wei |
| |
| Affiliation: | WANG Guo Jun (Institute of Mathematics, Shaanxi Normal University, Xi'an 710062, P. R. China) WANG Wei (Center of Computers, Shaanxi Economics and Trade Institute, Xi'an 710061, P. R. China) |
| |
| Abstract: | Taking the valuation lattice to be the unit interval [0, 1] this paper introduced the concepts of truth degree and similarity degree for formulas by means of integrals, and then introduced on the set F consisting of all formulas a kind of pseudo-metric so as to offer a possible framework for approximate reasoning. |
| |
| Keywords: | Truth degree a-tautology Similarity degree Logical metric space, Quasiapproximate reasoni? |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《数学学报》浏览原始摘要信息 |
|
点击此处可从《数学学报》下载全文 |
