四值非全序R_0命题逻辑上的随机伪度量

Randomized pseudo-metric of R_0-type 4-valued non-totally ordered propositional logic

通过引入随机化映射和真度权函数等概念,在四值非全序R0命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R0命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.

By introducing random mapping and truth degree weight function, we define the varialble randomized truth degree of formula in R0 - type 4 - valued non - totally ordered propositional logic system. The basic properties of variable randomized truth degree are obtained in this paper. The concept of randomized similarity and randomized pseudo - metri.c is introduced and randomized logic metric space in R0 - type 4 - valued non - totally ordered propositional logic system is also established, which provides possible framework for approximate reasoning in the logic system of 4 -valued non -totally ordered propositional logic system.