首页 | 本学科首页   官方微博 | 高级检索  
     检索      

逻辑度量空间
引用本文:王国俊,王伟.逻辑度量空间[J].数学学报,2001,44(1):159-168.
作者姓名:王国俊  王伟
作者单位:1. 陕西师范大学数学研究所
2. 陕西经贸学院计算机中心
基金项目:国家自然科学基金资助项目(19831040)
摘    要:取赋值格为[0,1],用积分工具引入了公式的真度和相似度的概念,并从而在公式集F上建立了伪距离,为近似推理提供了一种可能的框架.

关 键 词:真度  a-重言式  相似度  逻辑度量空间  准近似推理
文章编号:0583-1431(2001)01-0159-10
修稿时间:1998年11月2日

Logical Metric Spaces
WANG Guo Jun,WANG Wei.Logical Metric Spaces[J].Acta Mathematica Sinica,2001,44(1):159-168.
Authors:WANG Guo Jun  WANG Wei
Institution: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?
本文献已被 维普 万方数据 等数据库收录!
点击此处可从《数学学报》浏览原始摘要信息
点击此处可从《数学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号