计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (24): 45-48.

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

修正的[n]值G?del逻辑系统的随机化

李修清1,魏海新1,林  亮2   

  1. 1.桂林航天工业高等专科学校 计算机系,广西 桂林 541004
    2.桂林理工大学 数理系,广西 桂林 541004
  • 出版日期:2012-08-21 发布日期:2012-08-21

Randomization of revised G?del [n]-valued logical system

LI Xiuqing1, WEI Haixin1, LIN Liang2   

  1. 1.Department of Computer, Guilin College of Aerospace Technology, Guilin, Guangxi 541004, China
    2.Department of Maths and Physics, Guilin Polytechnic University, Guilin, Guangxi 541004, China
  • Online:2012-08-21 Published:2012-08-21

摘要: 利用赋值集的随机化方法,在修正的[n]值G?del逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,建立了更一般的随机逻辑度量空间。

关键词: 随机概率分布矩阵, 随机真度, 随机逻辑度量空间

Abstract: By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulae in G?del [n]-valued logical system are introduced. The concept of randomized logic metric space is also introduced and it is proved that the new built randomized concepts are extensions of the corresponding concepts in quantified logic.

Key words: randomized probabilistic distribution matrix, randomized truth degree, randomized logic metric space