摘要
利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGRn-逻辑度量空间,证明了此空间没有孤立点。
In this paper,DGRn-stochastic truth degree of formulas in n-valued standard logic is presented by using stochastic method on evaluation sets.It is proved that the set of stochastic truth degree of all formulas has no isolated point.The conceptions of DGRn-similarity degree and pseudo-metric on two formulas are given.DGRn-logic metric space is built.And it is proved that this space has no isolated point.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第30期16-19,60,共5页
Computer Engineering and Applications
基金
国家自然科学基金No.10771129~~
