逻辑理论的随机相容度

Randomized consistency degree in logic theory

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

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.