计算机工程与应用 ›› 2018, Vol. 54 ›› Issue (3): 46-49.DOI: 10.3778/j.issn.1002-8331.1609-0157

• 理论与研发 • 上一篇    下一篇

逻辑理论的随机相容度

李修清,张超权   

  1. 桂林航天工业学院 理学部,广西 桂林 541004
  • 出版日期:2018-02-01 发布日期:2018-02-07

Randomized consistency degree in logic theory

LI Xiuqing, ZHANG Chaoquan   

  1. Faculty of Science, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China
  • Online:2018-02-01 Published:2018-02-07

摘要: 在[n]值Lukasiewicz命题逻辑系统中,提出理论的随机相容度的概念,并指出理论的随机相容度是和概率分布列的选取相关的。最后证明了理论的随机相容度在[n]值随机逻辑度量空间中,同样保持经典逻辑度量空间中的基本性质。

关键词: 随机真度, 随机伪距离, 随机逻辑度量空间, 随机相容度

Abstract: Randomized consistency degree is introduced in n-valued Lukasiewicz proposition logic system. It is indicated that the randomized consistency degree of a theory is related with the selection of probability distribution. Then it proves that the randomized consistency degree of a theory can maintain the basic properties in n-valued randomized logic metric space as in classical logic metric space.

Key words: randomized truth degree, randomized pseudo-metric, randomized logic metric space, randomized consistency degree