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

作者：左卫兵

来源：云南大学学报(自然科学版), 2012, (02): 134-141.

• 非全序
• 命题逻辑
• 真度权函数
• 可变随机真度
• 随机伪度量 non-totally ordered
• propositional logic
• truth degree weight function
• variable randomized truth degree
• randomized pseudo-metric

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

• 出版日期2012
• 单位华北水利水电大学