10.3969/j.issn.1000-4424.2010.04.017
逻辑系统L3中公式的随机真度及近似推理
利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.
随机真度、随机相似度、随机逻辑度量空间、近似推理
25
O141.1(数理逻辑、数学基础)
江苏省高校自然科学基础研究项目08KJD110008
2011-03-14(万方平台首次上网日期,不代表论文的发表时间)
共7页
496-502