Journal of Frontiers of Computer Science and Technology ›› 2009, Vol. 3 ›› Issue (2): 210-217.DOI: 10.3778/j.issn.1673-9418.2009.02.009

• 学术研究 • Previous Articles     Next Articles

Stochastic Study in £ukasiewicz’s Ternary Logic System

WANG Qingping, ZHANG Xingfang   

  1. School of Mathematics Science, Liaocheng University, Liaocheng, Shandong 252059, China
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-03-15 Published:2009-03-15
  • Contact: WANG Qingping



  1. 聊城大学 数学科学学院,山东 聊城 252059
  • 通讯作者: 王庆平

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

摘要: 利用赋值集的随机化方法,在三值逻辑L3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DL3-相似度与伪距离的概念,并建立了DL3-逻辑度量空间,证明了此空间没有孤立点。

关键词: 随机真度, 相似度, 逻辑度量空间