摘要
取赋值格为［０，１］，用积分工具引入了公式的真度和相似度的概念，并从而在公式集Ｆ上建立了伪距离，为近似推理提供了一种可能的框架．
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.
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
2001年第1期159-168,共10页
Acta Mathematica Sinica：Chinese Series
基金
国家自然科学基金资助项目(19831040)
关键词
真度
a-重言式
相似度
逻辑度量空间
准近似推理
Truth degree
a-tautology
Similarity degree
Logical metric space,Quasiapproximate reasoning
