逻辑系统L3中公式的随机真度及近似推理

摘要：

利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.

关键词：随机真度、随机相似度、随机逻辑度量空间、近似推理

所属期刊栏目：25

分类号：O141.1(数理逻辑、数学基础)

资助基金：江苏省高校自然科学基础研究项目08KJD110008

在线出版日期：2011-03-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：496-502