摘要
利用伪距离定义一阶逻辑度量空间中3种不同近似推理模式,证明不同近似推理模式之间的等价性,给出一种基于相似度的近似推理模式Γ■^(δ)α,研究该推理模式与3种不同近似推理模式之间的关系,最后提出强近似推理模式。
In the first-order logical metric space,three different types of approximate reasoning patterns are defined based on pseudo distance,and the equivalence relationship between the three approximate reasoning patterns is proved.In addition,a new approximate reasoning modeΓ■^(δ)αis proposed based on similarity,and the relationship between this reasoning mode and three reasoning modes is studied.Finally,a strong approximate reasoning mode is proposed.
作者
袁一丹
惠小静
王前
YUAN Yidan;HUI Xiaojing;WANG Qian(School of Mathematics and Computer Science,Yan'an University,Yan'an 716000,Shaanxi,China)
出处
《山东大学学报(理学版)》
北大核心
2025年第5期67-73,共7页
Journal of Shandong University(Natural Science)
基金
国家自然科学基金资助项目(12261090)。
关键词
一阶逻辑
公理化真度
近似推理
强近似推理
first-order logic
axiomatic truth degree
approximate reasoning
strong approximate reasoning
