欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：