本文从语构角度出发,给出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*.