摘要
基于均匀概率空间的无穷乘积,在n值Lukasiewicz逻辑系统中引入命题的α-真度理论,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统中展开近似推理成为可能。
By means of the infinite product of evenly distributed probability spaces,this paper introduces me meory of α-truth degrees in n-valued Lukasiewicz logical system,also,general reference rules endowed with -truth degrees are obtained.Moreover,a pseudo-metric on the set of propositions is defined by means of the concept of truth degrees of propositions and this make it possible to develop approximate reasoning in n-valued propositional logic.
出处
《计算机工程与应用》
CSCD
北大核心
2006年第31期16-18,232,共4页
Computer Engineering and Applications
基金
国家自然科学基金资助项目(10331010)
陕西师范大学研究生培养创新基金资助项目
兰州理工大学优秀青年基金资助项目
关键词
α-真度
真度
相似度
伪距离
α-truth degree
truth degree
similarity degree
pseudo-metric
作者简介
李骏(1972-),男,博士研究生,研究方向为不确定性推理,非经典数理逻辑;E—mail:lijun@stu.snnu.edu.cn王国俊(1935-),男,教授,博士生导师,研究方向为不确定性推理,非经典数理逻辑。