Lukasiewicz模糊命题逻辑系统的计量化与近似推理

摘要

为了在随机逻辑度量空间中展开近似推理理论研究,利用随机化方法,在Lukasiewicz模糊命题逻辑系统中,首先引入了命题公式的随机真度概念,进而引入了命题公式间的随机相似度以及随机伪距离的概念,从而建立了随机逻辑度量空间。在随机逻辑度量空间中,提出3种不同类型的近似推理模式,并论证了这3种近似推理模式的等价性。结果表明：3种近似推理模式在随机逻辑度量空间中是等价的。