摘要
在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.
出处
《计算机工程与应用》
CSCD
北大核心
2010年第36期37-39,共3页
Computer Engineering and Applications
基金
国家自然科学基金(No.10771129)~~
关键词
真度函数
相似度
伪距离
逻辑度量空间
truth degree functions
imilarity degree
pseudo-metricl
ogic metric space
