命题逻辑系统L_n中公式集上的真度函数  

Truth degree function on set of formulas in propositional logic system L_n

作　　者：马丽娜[1] 刘烁[2] 王国俊[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,西安710062 [2]第四军医大学生物医学工程系,西安710032

出　　处：《计算机工程与应用》2010年第36期37-39,共3页Computer Engineering and Applications

基　　金：国家自然科学基金(No.10771129)~~

摘　　要：在n值Lukasiewicz命题逻辑系统中引入了公式集F(S)上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义了相似度和伪距离,建立了逻辑度量空间,为从语构的角度展开近似推理提供了一种可能的框架。The purpose of this paper is to give an axiomatic definition of truth degree function on the set of formulas in n-valued Lukasiewicz propositional logic system and some properties of truth degree function are proved.The conceptions of similarity de-gree among formulas and a pseudo-metric on the set of formulas are defined by means of the concept of truth degree function.The logic metric space is built and a possible framework for approximate reasoning from the syntactical view is proposed.

关 键 词：真度函数 相似度 伪距离 逻辑度量空间 

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