计算机科学与探索 ›› 2009, Vol. 3 ›› Issue (2): 210-217.DOI: 10.3778/j.issn.1673-9418.2009.02.009
• 学术研究 • 上一篇 下一篇
王庆平,张兴芳
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
WANG Qingping, ZHANG Xingfang
Received:
Revised:
Online:
Published:
Contact:
摘要： 利用赋值集的随机化方法，在三值逻辑L3中提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的DL3-相似度与伪距离的概念，并建立了DL3-逻辑度量空间，证明了此空间没有孤立点。
关键词: 随机真度, 相似度, 逻辑度量空间
Abstract: DL3-stochastic truth degree of formulas in ternary logic L3 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 DL3-similarity degree and pseudo-metric on two formulas are given. DL3-logic metric space is built. And it is proved that this space has no isolated point.
Key words: stochastic truth degree, similarity degree, logic metric space
王庆平,张兴芳. £ukasiewicz三值逻辑系统中的随机化研究[J]. 计算机科学与探索, 2009, 3(2): 210-217.
WANG Qingping, ZHANG Xingfang. Stochastic Study in £ukasiewicz’s Ternary Logic System[J]. Journal of Frontiers of Computer Science and Technology, 2009, 3(2): 210-217.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://fcst.ceaj.org/CN/10.3778/j.issn.1673-9418.2009.02.009
http://fcst.ceaj.org/CN/Y2009/V3/I2/210
