逻辑系统L*中基于Г-演绎真度的近似推理

摘要：

在逻辑系统L*中引入了公式Γ-演绎真度的概念，在Γ-演绎真度的基础上，定义了Γ-演绎相似度与伪距离，并讨论了它的一些基本性质。接着在逻辑系统L*中定义了3种不同类型的近似推理模式，对Γ-演绎真度的3种不同类型的近似推理模式之间的关系进行了详细的研究，结果表明这3种不同类型近似推理模式是等价的。通过对这些理论的研究，为进一步研究基于Γ-演绎真度的发散度、相容度和近似推理奠定了良好的基础。

关键词：Γ-演绎真度、Γ-演绎相似度、近似推理、等价

分类号：O141(数理逻辑、数学基础)

资助基金：The National Natural Science Foundation of China under Grant No.11471007;the Natural Science Foundation of Shaanxi Province of China under Grant No.2014JM1020;the Special Fund of Higher Level University of Shaanxi Province under Grant No.2012SXTS07;the Doctoral Foundation of Yan’an University under Grant No. YDBK2013-12;the Special Fund of Yan’an under Grant No.2013-KG16;the Graduate Innovation Fund of Yan’an University

在线出版日期：2015-04-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：507-512