文献类型：期刊文章

作　　者：惠小静[1] 王国俊[1]

机构地区：[1]陕西师范大学数学研究所

出　　处：《中国科学（E辑）》

基　　金：国家自然科学基金重点资助项目(批准号:10331010)

年　　份：2007

卷　　号：37

期　　号：6

起止页码：801-812

语　　种：中文

收录情况：BDHX、BDHX2004、CSCD、CSCD2011_2012、JST、ZGKJHX、核心刊

摘　　要：利用赋值集的随机化方法,在二值逻辑中提出了公式的D-随机真度概念,证明了全体公式的D-随机真度之集在[0,1]中没有孤立点;提出了D-逻辑伪距离和D-逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为1/2时,D-随机真度就转化为计量逻辑学中的真度,同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;通过概率逻辑学基本定理,证明了D-逻辑度量空间中逻辑运算的连续性,从而实现了概率逻辑学与计量逻辑学的融合;在D-逻辑度量空间中提出了3种不同类型的近似推理模式.

关 键 词：D-随机化映射  D-随机真度  D-相似度  D-逻辑度量空间  近似推理  

分 类 号：O141[数学类]