欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
利用势为三的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑系统L3中引入命题的真度概念,给出了真度推理规则,证明了在三值逻辑[a/5,b/5,c/5]测度下全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑系统的近似推理奠定了基础。
英文摘要：
Based on the infinite product of unevenly distributed probability space,the theory of truth degrees in Lukasiewicz three-valued propositional logic is introduced and inference rules with truth degrees are given.Moreover,it is proved that the set of truth degrees of propositions in the three-valued [a/5,b/5,c/5] logic measure is dense in [0,1],and expressions of truth degrees are obtained.This paves the way for further study on approximate reasoning.
同期刊论文项目
同项目期刊论文
期刊信息
位置：