L~＊系统中公式的语构程度化方法  

Syntactic Graded Method of Formulas in the System L~＊

作　　者：罗敏霞[1] 姚宁[1] 

机构地区：[1]中国计量学院应用数学系,浙江杭州310018

出　　处：《电子学报》2011年第2期424-428,共5页Acta Electronica Sinica

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

摘　　要：本文从语构角度出发,给出L*系统中公式的语构真度的概念,讨论其相关的一系列性质,并进一步研究L*系统中由语构真度诱导的公式间的相似度及伪度量,证明由语构真度诱导的伪度量空间中运算的连续性,从而为在L*系统中基于语构理论展开近似推理提供可能的框架.In terms of syntax,the concept of the syntactical truth degree of formulas in the system L＊ is given in this paper.Then a series of the corresponding properties of the syntactical truth degree of formulas are discussed.Moreover,the similarity degree and pseudo-metric between formulas induced by syntactical truth degree are investigated.In addition,the continuity of the operations in the pseudo-metric space is proved.So then we can provide a possible framework for developing approximate reasoning based on the theory of syntax in the system L＊.

关 键 词：L＊系统 语构真度 相似度 伪度量 伪度量空间 

分 类 号：O141.1[理学—数学]