摘要
基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的α-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能。
By means of the infinite product of evenly distributed probability space,this paper introduces the theory of α-truth degrees in n-valued propositional logical system MTLn,also,general reference rules 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 proposition logic system MTLn.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第21期4-7,共4页
Computer Engineering and Applications
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.10331010)
陕西师范大学研究生培养创新基金
兰州理工大学优秀青年基金资助项目。
关键词
α-真度
真度
相似度
伪距离
近似推理
α-troth degree
truth degree
similarity degree
Pseudo-metric
approximate reasoning
