经典命题逻辑中公式的D-条件真度及近似推理

摘要：

基于条件概率的思想,利用赋值集的随机化方法,在经典命题逻辑系统中引入命题的D-条件真度和D-条件相似度及伪距离,建立了D-r逻辑度量空间;推出了D-条件真度的若干性质,证明了D-r逻辑度量空间中逻辑运算的连续性;并在D-r逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性.

关键词：D-条件真度、D-条件相似度、D-r逻辑度量空间、近似推理

所属期刊栏目：24

分类号：O141;O159(数理逻辑、数学基础)

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

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

页数：共8页

页码：34-41