一种五元格值逻辑上命题真度的分布  

Distribution of propositional truth degree in five lattice-valued logic system

作　　者：左卫兵[1] 张嘎[1] 

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

出　　处：《计算机工程与应用》2011年第22期35-36,47,共3页Computer Engineering and Applications

基　　金：河南省自然科学基金(No.112300410040);河南省教育厅自然科学基金(No.2011A110012)

摘　　要：利用势为5的均匀概率空间的无穷乘积在一种五元格值逻辑系统中引入了公式的真度概念,给出了真度的一些推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,给出了全体公式真度的表达通式,为在五元格值逻辑系统中建立近似推理理论提供了一种可能的框架。Based on the infinite product of evenly distributed probability space with number of 5,the theory of truth degree in a five lattice-valued logic system is introduced.Some inference rules are given.It is proved that the set of truth degree of formulae is dense in [0,1],and the expressions of truth degree are obtained.Therefore a possible framework for establishing approximate theory of five lattice-valued logic system is proposed.

关 键 词：格值逻辑 真度 推理规则 稠密性 

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