计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (21): 4-7.

• 博士论坛 • 上一篇    下一篇

n值逻辑系统MTLn中命题的程度化方法

李 骏1,2,王国俊2,周 艳3   

  1. 1.兰州理工大学 理学院,兰州 730050
    2.陕西师范大学 数学研究所,西安 710062
    3.西安陆军学院 军事运筹教研室,西安 710108
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-07-21 发布日期:2007-07-21
  • 通讯作者: 李 骏

Graded method of propositions in n-valued logical system MTLn

LI Jun1,2,WANG Guo-jun2,ZHOU Yan3   

  1. 1.School of Science,Lanzhou University of Technology,Lanzhou 730050,China
    2.Institute of Mathematics,Shaanxi Normal University,Xi’an 710062,China
    3.Military Operational Reasearch and Teaching Section,Xi’an Military Academy,Xi’an 710108,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-07-21 Published:2007-07-21
  • Contact: LI Jun

摘要: 基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的?琢-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能。

关键词: α-真度, 真度, 相似度, 伪距离, 近似推理

Abstract: 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.

Key words: α-truth degree, truth degree, similarity degree, Pseudo-metric, approximate reasoning