计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (23): 55-58.DOI: 10.3778/j.issn.1002-8331.2009.23.016

• 研究、探讨 • 上一篇    下一篇

£ukasiewicz逻辑系统中的随机化研究

王庆平1,张兴芳1,于会增2,庄光明1   

  1. 1.聊城大学 数学科学学院,山东 聊城 252059
    2.聊城第二中学,山东 聊城 252000
  • 收稿日期:2008-04-09 修回日期:2008-07-10 出版日期:2009-08-11 发布日期:2009-08-11
  • 通讯作者: 王庆平

Stochastic study in £ukasiewicz’s logic system

WANG Qing-ping1,ZHANG Xing-fang1,YU Hui-zeng2,ZHUANG Guang-ming1   

  1. 1.School of Mathematics Science,Liaocheng University,Liaocheng,Shandong 252059,China
    2.No.2 Middle School of Liaocheng,Liaocheng,Shandong 252000,China
  • Received:2008-04-09 Revised:2008-07-10 Online:2009-08-11 Published:2009-08-11
  • Contact: WANG Qing-ping1

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

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

Abstract: In this paper,DL-stochastic truth degree of formulas in £ukasiewicz’s 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 on [0,1].The conceptions of DL-similarity degree and pseudo-metric on two formulas are given.DL-logic metric space is built.And it is proved that this space has no isolated point.

Key words: DL-stochastic truth degree, DL-similarity degree, DL-logic metric space

中图分类号: