有效推理的真度关系与度量空间的近似推理∗

摘要

在模糊命题逻辑系统中，运用命题公式的随机真度概念，给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理，给出了命题公式间距离的定义，从而构建了随机逻辑度量空间，在该空间中提出了三种近似推理模式，讨论了这三种近似推理模式的关系，从而实现了模糊命题逻辑系统的计量化。