国内刊号：37-1389/N
国际刊号：1671-9352
发布日期:
作者：袁一丹,惠小静Symbolj@@,王前
单位：延安大学数学与计算机科学学院, 陕西 延安 716000
关键词：一阶逻辑,公理化真度,近似推理,强近似推理,
基金：国家自然科学基金资助项目(12261090)
利用伪距离定义一阶逻辑度量空间中3种不同近似推理模式,证明不同近似推理模式之间的等价性,给出一种基于相似度的近似推理模式Γδα,研究该推理模式与3种不同近似推理模式之间的关系,最后提出强近似推理模式。
来源：2025年第5期
《山东大学学报(理学版)》期刊编辑部