摘要
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。
In this paper,Dπ3-stochastic truth degree of formulas in ternary logic π3 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 Dπ3-similarity degree and pseudo-metric on two formulas are given.Dπ3-logic metric space is built.And it is proved that this space has no isolated point.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第14期34-38,52,共6页
Computer Engineering and Applications
基金
国家自然科学基金No.60875034~~
