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

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

作　　者：左卫兵[1] 

机构地区：[1]华北水利水电学院数学与信息科学学院,河南郑州450046

出　　处：《云南大学学报（自然科学版）》2012年第2期134-141,共8页Journal of Yunnan University(Natural Sciences Edition)

基　　金：河南省自然科学基金资助项目(112300410040);河南省教育厅自然科学基金资助项目(2011A110012);河南省高等学校青年骨干教师资助计划项目(2011GGJS-097)

摘　　要：通过引入随机化映射和真度权函数等概念,在四值非全序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.

关 键 词：非全序 命题逻辑 真度权函数 可变随机真度 随机伪度量 

分 类 号：O141[理学—数学]