计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (30): 16-19.DOI: 10.3778/j.issn.1002-8331.2010.30.005
• 博士论坛 • 上一篇 下一篇
王庆平
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
WANG Qing-ping
Received:
Revised:
Online:
Published:
Contact:
摘要: 利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGRn-逻辑度量空间,证明了此空间没有孤立点。
关键词: DGRn-随机真度, DGRn-相似度, DGRn-逻辑度量空间
Abstract: In this paper,DGRnstochastic 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 DGRnsimilarity degree and pseudo-metric on two formulas are given.DGRnlogic metric space is built.And it is proved that this space has no isolated point.
Key words: DGRn-stochastic truth degree, DGRn-similarity degree, DGRn-logic metric space
中图分类号:
O14.1
王庆平. n值标准逻辑系统中的随机化研究[J]. 计算机工程与应用, 2010, 46(30): 16-19.
WANG Qing-ping. Stochastic study in n-valued standard logic system[J]. Computer Engineering and Applications, 2010, 46(30): 16-19.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.2010.30.005
http://cea.ceaj.org/CN/Y2010/V46/I30/16
£ukasiewicz逻辑系统中的随机化研究