一阶逻辑中的近似推理与强近似推理

摘要

利用伪距离定义一阶逻辑度量空间中3种不同近似推理模式，证明不同近似推理模式之间的等价性，给出一种基于相似度的近似推理模式■，研究该推理模式与3种不同近似推理模式之间的关系，最后提出强近似推理模式。

关键词

一阶逻辑 / 公理化真度 / 近似推理 / 强近似推理